Keyphrases
- safety critical
- software systems
- embedded systems
- formal methods
- software engineering
- fault tolerant
- agent architecture
- model checking
- software intensive systems
- source code
- software development
- support systems
- software maintenance
- software architecture
- multi agent systems
- real time
- design patterns
- software components
- metamodel
- adaptive systems
- component based software
- cooperative
- intelligent agents
- decision making
- information systems
- databases