Tool Support for the CircusRefinement Calculus.

Alessandro Cavalcante Gurgel Cristiano Gurgel de Castro Marcel Vinícius Medeiros Oliveira

Published in: ABZ (2008)

Keyphrases

tool support
software development
software tools
software engineering
software projects
design decisions
requirements engineering
algebraic structure
computer algebra
database
cooperative
development process
test suite