Executable specifications for model-based development of automotive software.
Christoph BodensteinFrank LohseArmin ZimmermannPublished in: SMC (2010)
Keyphrases
- control flow
- development process
- software design
- formal specification
- software developers
- safety critical
- development cycle
- automotive industry
- product line
- software systems
- case study
- hardware platforms
- knowledge based systems
- software development
- functional requirements
- attribute grammars
- financial investment
- software life cycle
- support systems
- systems development
- knowledge base
- software testing
- data flow
- software engineering
- embedded real time systems
- requirements engineering
- technical infrastructure
- user interface
- source code
- computer systems
- commercial off the shelf
- development methodologies
- process model
- software tools
- communication technologies
- computer software
- software reuse