Tool Support for Production Use of Formal Techniques.

John C. Knight Kimberly S. Hanks Sean R. Travis

Published in: ISSRE (2001)

Keyphrases

tool support
software development
design decisions
software tools
formal model
software engineering
production system
software projects
requirements engineering
decision trees
anomaly detection
quality control
database systems
test suite