• How to make your Software Inspections Profitable - An Approach Based on Sampling and Return on Investment Calculation 

  Schwinn, Thilo (2001)

  Beitrag zu einer Konferenz
  
  

• Softwarebasierte Produktlinien: Szenarien für Automobilhersteller und Zulieferer 

  Buhr, K.; Tavakoli Kolagari, Ramin (2004)

  Wissenschaftlicher Artikel
  
  

• Hardware-unabhängige Spezifikation von Steuergeräte-Software 

  Ballhause, C.; Tavakoli Kolagari, Ramin (2004)

  Wissenschaftlicher Artikel
  
  

• Putting Scenarios into Practice 

  Alexander, Ian et al. (2004)

  Teil eines Buches
  
  

• Delta Analysis with Workflow Logs: Aligning Business Process Prescriptions and their Reality 

  Kleiner, Niko (2005)

  Wissenschaftlicher Artikel
  
  

• Developing Dependable Automotive Embedded Systems using the EAST-ADL; representing continuous time systems in SysML 

  Sjöstedt, C.-J. et al. (2007)

  Beitrag zu einer Konferenz
  
  

• Unifying Recursion in Partial, Total and General Correctness 

  Guttmann, Walter; Qin, S. (2010)

  Beitrag zu einer Konferenz
  
  

• Extended Designs Algebraically 

  Guttmann, Walter (2012)

  Wissenschaftlicher Artikel
  
  

• Towards a Typed Omega Algebra 

  Guttmann, Walter; Swart, H. de (2011)

  Beitrag zu einer Konferenz
  
  

• Fixpoints for General Correctness 

  Guttmann, Walter (2011)

  Wissenschaftlicher Artikel
  
  

View more