Improving Software Quality in Safety-Critical Applications by Model-Driven Verification.
Anders HenrikssonUwe AßmannJames HuntPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- model driven
- software quality
- safety critical
- formal methods
- metamodel
- software engineering
- safety analysis
- software systems
- development process
- data driven
- software projects
- life cycle
- software development
- service oriented
- embedded systems
- modeling language
- fault tolerant
- model driven development
- agent architecture
- artificial intelligence
- model checking
- data integration
- knowledge based systems
- real time
- source code
- software components
- support systems
- information systems
- reverse engineering
- formal specification
- control system
- data model
- machine learning