Keyphrases
- formal methods
- software systems
- software engineering
- model driven engineering
- safety critical
- knowledge based systems
- software design
- formal specification
- source code
- artificial intelligence
- model checking
- software architecture
- software development
- software components
- metamodel
- model driven architecture
- design patterns
- software maintenance
- complex software systems
- development lifecycle
- software quality
- software intensive systems
- modeling language
- embedded systems
- object oriented
- software testing
- computer systems
- user interface
- information technology
- multi agent systems