Software Support for the Refinement of VDM Specifications.

Peter Kilpatrick P. McParland

Published in: VDM Europe (1988)

Keyphrases

software development
software package
source code
software systems
component based software
database
software design
software environment
search engine
data model
end users
software maintenance
core components