Keyphrases
- formal models
- software requirements
- rule based systems
- process model
- systems development
- formal model
- software systems
- development process
- requirements specification
- software development
- requirements engineering
- pattern recognition
- software architecture
- functional requirements
- cooperative
- artificial intelligence
- neural network