Tool Support for Verification-Based Software Inspection.
Daniel PowellPublished in: Australian Software Engineering Conference (2004)
Keyphrases
- tool support
- software development
- software tools
- software projects
- requirements engineering
- test suite
- software engineering
- design decisions
- databases
- software design
- software systems
- model checking
- data sets
- formal methods
- cooperative
- software maintenance
- quality control
- source code
- computer systems
- user interface
- trade off
- design principles
- software components
- decision trees
- visual inspection
- hardware design
- formal verification
- software architecture