Traceability in model-driven safety critical software engineering.
Richard F. PaigePublished in: ECMFA-TW (2010)
Keyphrases
- model driven
- safety critical
- formal methods
- software engineering
- software architecture
- metamodel
- software systems
- data driven
- service oriented
- life cycle
- safety analysis
- development process
- fault tolerant
- agent architecture
- embedded systems
- modeling language
- software development
- design patterns
- artificial intelligence
- support systems
- data integration
- reverse engineering
- model checking
- object oriented
- knowledge based systems
- adaptive systems
- software design
- requirements engineering
- service oriented architecture
- development environments
- real time
- database
- information systems
- formal specification
- knowledge management
- learning systems