A methodology for designing toolkits for specification level verification of interval-constrained information systems requirements.
Steven M. SchorlingDavid C. RinePublished in: Inf. Softw. Technol. (2002)
Keyphrases
- requirements analysis
- information systems
- goal oriented
- formal verification
- information technology
- formal methods
- user requirements
- model checking
- formal specification
- databases
- higher level
- levels of abstraction
- requirements engineering
- asynchronous circuits
- high level
- life cycle
- face verification
- computer systems
- digital libraries
- face recognition
- grid workflow