Automotive software and systems engineering

Proceedings - Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'05

Volumn 2005, Issue , 2005, Pages 143-149

  Broy, Manfred ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE ENGINEERING; AUTOMOTIVE INDUSTRY; COMPUTER HARDWARE; EMBEDDED SYSTEMS; FEATURE EXTRACTION; INFORMATION TECHNOLOGY; PROBLEM SOLVING; SYSTEMS ANALYSIS;

DIGITAL HARDWARE; EMBEDDED HARDWARE;

SOFTWARE ENGINEERING;

EID: 33745169383     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MEMCOD.2005.1487905     Document Type: Conference Paper

References (20)

1. AUTOSAR - Automotive Open System Architecture, http://www.autosar.org
2. J. Bortolazzi: Prozesse und Methoden für die Entwicklung von Kfz-Software bei der DaimlerChrysler AG. In Informatik 2004 - Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V., 2004
3. M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner (Hrsg.): Model-Based Testing - a tutorial volume. Springer LNCS 3472, 2005
4. M. Broy, A. Rausch: Das neue V-Modell XT - Ein anpassbares Vorgehensmodell für Software und System Engineering. Informatik Spectrum, Juni 2005
5. P. Clements, L.M. Northrop: Software Product Lines - Practices and Patterns, Addison-Wesley, 2001
6. R. Kneuper: CMMI - Verbesserung von Softwareprozessen mit Capability Maturity Model Integration, dpunkt.verlag, November 2002
7. Frischkorn, H.-G.: Offene Systeme als Basis der Systemintegration der Zukunft. 8. Internationaler Fachkonkress Automobil-Elektronik, Ludwigsburg, 2004
8. H. Gentner, M. Ehrmann, C. Salzmann: Model Based Development of Automotive Human Machine Interfaces. Convergence, SAE, Detroit, Michigan, October 2004
9. B. Hindel, K. Hörmann, M. Müller, J. Schmied: Basiswissen Software-Projektmanagement - Aus- und Weiterbildung zum Certified Project Manager nach dem iSQI-Standard. iSQI-Reihe, dpunkt.verlag
10. M. A. Jackson: Software Requirements & Specifications - a lexicon of practice, principles and prejudices, Addison-Wesley Press, 1995
11. P. Liggesmeyer "Software-Qualität", Spektrum Verlag 2002
12. N. G. Leveson: Safeware - System Safety and Computers, Addison-Wesley, 1995
13. D. A. Peled: Software Reliability. Springer, 2001
14. A. Pretschner et al.: One Evaluation of Model-Based Testing and its Automation. Proc. ICSE 2005
15. Th. Scharnhorst: Systementwurf für Elektronikarchitekturen im Fahrzeug. 4. Braunschweiger Symposium Automatisierungs- und Assistenzsysteme für Transportmittel. VDI Reihe 12, 525, 2003
16. Schäuffele, J.; Zurawka, T.: Automotive Software Engineering - Grundlagen, Prozesse, Methoden und Werkzeuge. Vieweg Verlag, 1. Auflage, 2003
17. I. Sommerville, Software Engineering, Addison-Wesley, 2001
18. A. Spillner, T. Linz Basiswissen Softwaretest: Aus- und Weiterbildung zum Certified-Tester, dpunkt-Verlag, 2003
19. ISO 9126: Information technology - Software product evaluation - Quality characteristics and guidelines for their use, Genève, ISO/TEC, 1991.
20. Motor Industry Software Reliability Association: Report 5 - Software Metrics, Motor Industry Research Association, Februar 1995.