Defining Model-Driven Safety-Critical Software Engineering, with International Standard.
Emanuel S. GrantPublished in: ICICT (2024)
Keyphrases
- model driven
- international standard
- safety critical
- formal methods
- software engineering
- iso iec
- metamodel
- data driven
- development process
- service oriented
- software systems
- embedded systems
- fault tolerant
- agent architecture
- data integration
- artificial intelligence
- software development
- software quality
- support systems
- object oriented
- software projects
- design patterns
- digital tv
- reverse engineering
- knowledge based systems
- adaptive systems
- modeling language
- quality evaluation
- databases
- software architecture
- model checking
- machine learning