Keyphrases
- software systems
- requirements specification
- source code
- software engineering
- software design
- software development
- software components
- software maintenance
- software engineers
- software architecture
- metamodel
- software evolution
- functional requirements
- linux kernel
- software testing
- multi agent systems
- formal specification
- software quality
- software requirements
- formal methods
- high level
- artificial intelligence
- database
- component based software
- object oriented systems
- development effort
- building blocks
- decision making
- real world