A concern-based approach to generating formal requirements specifications.
Ying JinJing ZhangWeiping HaoPengfei MaYan ZhangHaiyan ZhaoHong MeiPublished in: Frontiers Comput. Sci. China (2010)
Keyphrases
- requirements analysis
- class diagram
- requirements specification
- development process
- requirements engineering
- formal specification
- software development
- functional requirements
- formal language
- operational semantics
- specification language
- multi agent systems
- software engineering
- reactive systems
- software requirements
- controlled natural language
- database
- formal model
- high level
- artificial intelligence
- control flow
- natural language
- genetic algorithm
- machine learning
- data mining
- neural network