Compatibility models

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2006, Pages 5-11

  Bechter, M ^a   Blum, M ^a   Dettmering, H ^a   Stutzel B ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

automotive software; compatibility; specification

Indexed keywords

AUTOMOTIVE SOFTWARE; FUNCTIONAL FEATURES; HARDWARE COMPONENTS; MODEL BASED DEVELOPMENT; PRECISE DEFINITION; SOFTWARE FUNCTIONS;

AUTOMOTIVE INDUSTRY; SPECIFICATIONS;

COMPUTER SOFTWARE;

EID: 77953501952     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138474.1138478     Document Type: Conference Paper

References (4)

1. Object Management Group (OMG), UML 2.0 Specification, OMG Document formal/05-07-04, Version 2.0, August 2005
2. J. E. Hopcroft, R. Motwani, and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Number ISBN 0-201-44124-1. Addison Wesley, 2001.
3. L. de Alfaro and T.A. Henzinger, Interface Automata, Proc. Symp. of Software Engineering , ACM, 2001
4. Presse- und Öffentlichkeitsarbeit, BMW Werk Dingolfing, Faszination Produktion ,p 15, February 2005