Automated structural analysis of SCR-style software requirements specifications using PVS.
Taeho KimSung Deok ChaPublished in: Softw. Test. Verification Reliab. (2001)
Keyphrases
- structural analysis
- software requirements
- requirements specification
- written in natural language
- functional requirements
- systems development
- software systems
- software development
- requirements engineering
- software architecture
- reinforced concrete
- image processing
- three dimensional
- civil engineering
- software engineering
- development process
- knowledge based systems
- theorem proving
- artificial intelligence
- information systems
- high level
- object oriented
- automated tools
- real world
- data driven
- distributed systems
- knowledge management