Keyphrases
- formal methods
- software systems
- software engineering
- safety critical
- software design
- knowledge based systems
- formal specification
- model checking
- artificial intelligence
- software architecture
- software development
- metamodel
- formal specification language
- software intensive systems
- development lifecycle
- modeling language
- software components
- source code
- functional requirements
- complex software systems
- software maintenance
- object oriented systems
- software evolution
- embedded systems
- emergent behavior
- software engineers
- software testing
- development effort
- computer systems
- software quality
- dynamic reconfiguration
- design patterns
- open source
- case study
- database