Animating Formal Requirements Specifications of Cooperative Information Systems.
Eric DuboisPhilippe Du BoisFrédéric DuBruPublished in: CoopIS (1994)
Keyphrases
- cooperative
- information systems
- requirements specification
- requirements engineering
- formal specification
- functional requirements
- written in natural language
- software requirements
- requirements analysis
- multi agent
- multi agent systems
- operational semantics
- formal language
- software engineering
- legacy systems
- information technology
- requirements engineering process
- specification language
- formal descriptions
- formal ontologies
- user requirements
- reactive systems
- design requirements
- systems development
- software systems
- management policies
- health care
- controlled natural language
- computer systems
- formal methods
- development process
- meta level
- conceptual models
- neural network
- natural language
- goal oriented