Berichte aus den Fachgruppen und Arbeitskreisen

• Bericht und Beiträge vom 4. Workshop Entwicklung zuverälssiger Software-Systeme 2011 vom 30. Juni 2011 in Stuttgart   PDF
• R. Hilbrich, J. R. van Kampenhout: Partitioning and Task Transfer on NoC-based Many-Core Processors in the Avionics Domain   PDF
• M. Bohn, J. Schneider, C. Eltges, R. Rößger: Migration von AUTOSAR-basierten Echtzeitanwendungen auf Multicore-Systeme   PDF
• P. Iyenghar, E. Pulvermueller, C. Westerkamp, M. Uelschen, J. Wuebbelmann: Model-Based Debugging of Embedded Software Systems   PDF
• M. Gebhardt, A. Kaske: Tools and Methods for Validation and Verification as requested by ISO26262   PDF
• M. Conrad, I. Fey: ISO 26262 - Exemplary Tool Classification of Model-Based Design Tools   PDF
• J. Kanig, J. Guitton, Y. Moy: Hi-Lite - Verification by Contract   PDF
• C. Ammann: Verifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers   PDF
• M. Meitner, F. Saglietti: Softwarezuverlässigkeitsbewertung auf Basis von Betriebsprofiltreue und Schnittstellenüberdeckung   PDF
• W. Herzner, R. Schlick, H. Brandl, J. Wiessalla: Towards Fault-based Generation of Test Cases for Dependable Embedded Software   PDF
• D. Herrmann, J. Liebehenschel: An Approach for Requirements Engineering for Software Library-Components and Patterns to be Reused in and across Product Lines   PDF

Technische Beiträge

• P. Heckeler, J. Behrend, J. Ruf, T. Kropf, W. Rosenstiel, R. Weiss: DWARF-driven Equivalence Checking of UML Statecharts and Software Components   PDF

Dissertationen

Konferenzankündigungen

• 03. - 04. November 2011   Nara, Japan
  The Joint Conference of the 21th International Workshop on Software Measurement (IWSM 2011)and the 6th International Conference on Software Process and Product Measurement (MENSURA 2011)   PDF
• 16. - 18. November 2011   Kaiserslautern
  MetriKon 2011   PDF

Band 31 Heft 3
ISSN 0720-8928