Keyphrases
- formal methods
- software systems
- software engineering
- metamodel
- modeling language
- software design
- formal specification
- process algebra
- development lifecycle
- software architecture
- source code
- software development
- safety critical
- knowledge based systems
- complex software systems
- functional requirements
- software engineers
- software components
- software maintenance
- model checking
- design patterns
- software testing
- software developers
- formal specification language
- reverse engineering
- software intensive systems
- software evolution
- artificial intelligence
- software projects
- object oriented systems
- embedded systems
- linux kernel
- software quality
- requirements specification
- maintenance activities
- object oriented
- multi agent systems
- legacy software
- high assurance
- component based software
- relational databases
- development effort
- design process
- database