Tool Support for Production Use of Formal Techniques.

John C. Knight P. Thomas Fletcher Brian R. Hicks

Published in: World Congress on Formal Methods (1999)

Keyphrases

tool support
software development
software tools
design decisions
software engineering
software projects
production process
source code
formal specification
production planning
formal methods
mathematical theory
trade off
formal model
database
test suite
high level