Formal methods and requirements engineering: Challenges and synergies.
Sara JonesDavid TillAnn M. WrightsonPublished in: J. Syst. Softw. (1998)
Keyphrases
- formal methods
- requirements engineering
- software engineering
- systems engineering
- requirements specification
- formal analysis
- life cycle
- software intensive systems
- goal oriented
- formal specification
- artificial intelligence
- requirements elicitation
- software development
- development process
- model checking
- knowledge based systems
- systems development
- reverse engineering
- requirements engineering process
- software systems
- data model
- object oriented
- expert systems
- information systems
- databases
- software requirements
- activity diagrams
- formal specification language