Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.
Iulian OberSusanne GrafDavid LesensPublished in: FMOODS (2006)
Keyphrases
- software architecture
- description language
- software engineering
- embedded software
- software systems
- reference model
- software development
- functional requirements
- architectural design
- distributed systems
- model validation
- information systems
- object oriented software
- commercial off the shelf
- design patterns
- modeling language
- artificial intelligence