MBEES 2010: Dagstuhl, Germany

• Jan Scheible:
  Ein Framework zur automatisierten Ermittlung der Modellqualität bei eingebetteten Systemen. 1-6
  
• Frank Ortmeier, Matthias Güdemann:
  ProMoSA - Probabilistic Models for Safety Analysis. 7-12
  
• Arne Haber, Jan Oliver Ringert, Bernhard Rumpe:
  Towards Architectural Programming of Embedded Systems. 13-22
  
• Christian Buckl, Gerd Kainz, Stephan Sommer, Alois Knoll:
  Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten Systemen. 23-32
  
• Gustavo Quiros, Ulrich Epple:
  Model-based Decentralised Management of Product Flow Paths. 33-44
  
• Oliver Niggemann, Alexander Maier, Jürgen Jasperneite:
  Model-based Development of Automation Systems. 45-54
  
• Stephan Weißleder:
  Static and Dynamic Boundary Value Analysis. 55-64
  
• Bernhard Schätz, Christian Pfaller:
  Test Case Integration: From Components to Systems. 65-76
  
• Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Ulrich Nickel:
  Reverse Engineering vernetzter automotiver Softwaresysteme. 77-86
  
• Goetz Botterweck, Andreas Polzer, Stefan Kowalewski:
  Variability and Evolution in Model-based Engineering of Embedded Systems. 87-96
  
• Michaela Huhn, Dirk Scharff:
  Some Observations on SCADE Model Clones. 97-106
  
• Birgit Vogel-Heuser:
  Usability-Evaluation von modellbasiertem Engineering in der Automatisierungstechnik - Ergebnisse und Kriterien. 107-116
  
• Mirko Conrad, Patrick Munier, Frank Rauch:
  Qualifying Software Tools According to ISO 26262. 117-128
  
• David Hoadley:
  Using Model-Based Design in an IEC 62304-Compliant Software Development Process. 129-131
  
• Gert Döhmen, Dietmar Sander, Andreas Lehmann:
  Complete and Virtual System Models for System Development. 132-141
  

Last update Fri May 25 08:26:03 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page