The Impact on Software Development Costs of Using HOL's.

John E. Gaffney Jr.

Published in: IEEE Trans. Software Eng. (1986)

Keyphrases

software development
cost benefit
software engineering
impact analysis
development process
case study
software projects
cost estimation
software architecture
database
theorem prover
expected cost
software systems
knowledge management
software developers
software design
software testing
data sets