Requirements Engineering and Verification using Specification Animation.
Daniel HazelPaul A. StrooperOwen TraynorPublished in: ASE (1998)
Keyphrases
- requirements engineering
- requirements specification
- formal verification
- software engineering
- activity diagrams
- systems engineering
- asynchronous circuits
- formal methods
- model checking
- life cycle
- software development
- goal oriented
- software requirements
- requirements analysis
- protocol specification
- automotive industry
- formal specification
- development process
- systems development
- requirements elicitation
- literature review
- computer graphics
- business process
- software intensive systems
- specification language
- tool support
- requirements engineering process
- software process
- concurrent systems
- high level
- software systems
- decision making
- user interface
- colored petri nets
- security requirements
- information systems
- description language
- databases