Program Development and Specification Refinement in the Schema Calculus.

Martin C. Henson Steve Reeves

Published in: ZB (2000)

Keyphrases

databases
software engineering
development process
programming environments
data model
information processing
formal language
relational databases
knowledge management
refinement process
control program
practical experience
semantically equivalent