Tool Support for the Refinement Calculus.

David A. Carrington Kenneth Arthur Robinson

Published in: CAV (DIMACS/AMS volume) (1990)

Keyphrases

tool support
software tools
software development
design decisions
software engineering
software projects
refinement process
machine learning
test suite
requirements engineering
databases
provably correct
computer algebra
database management systems