A Critique of Validation/Verification Techniques for Software Development Measures.
David A. GustafsonRamón A. Mata-ToledoRichard E. CourtneyNaim TemsamaniPublished in: Formal Aspects of Measurement (1991)
Keyphrases
- software development
- software systems
- software developers
- model based testing
- software testing
- software engineering
- model checking
- case study
- development process
- software design
- artificial intelligence
- effort estimation
- cost estimation
- software projects
- software components
- software architecture
- quality measures
- evaluation measures
- temporal logic
- formal methods
- software reuse
- quantitative measures
- source code
- early phase
- machine learning
- development lifecycle