Representing, Verifying and Applying Software Development Steps using the PVS System.

Published in: AMAST (1995)

Keyphrases

software development
software engineering
software architecture
software systems
software projects
case study
software reuse
development process
software components
software design
data sets
theorem proving
software developers
software testing
software evolution
agile software development