Keyphrases
- formal methods
- software systems
- software engineering
- software design
- software development
- software architecture
- functional requirements
- metamodel
- safety critical
- knowledge based systems
- source code
- embedded systems
- model checking
- design patterns
- formal specification
- artificial intelligence
- software maintenance
- software components
- modeling language
- software quality
- software engineers
- formal specification language
- software evolution
- development lifecycle
- linux kernel
- multi agent systems
- object oriented systems
- software intensive systems
- software testing
- object oriented
- emergent behavior
- computer systems
- real world
- complex software systems
- development process
- building blocks
- product line
- knowledge base
- dynamic reconfiguration
- design process
- legacy software