Tool support for requirements formalisation.

Jaelson F. B. Castro Christian J. Gautreau Marco A. Toranzo

Published in: ISAW/Viewpoints@FSE (1996)

Keyphrases

tool support
software development
software tools
requirements engineering
software engineering
design decisions
software projects
test suite
case study
information retrieval
social networks
information systems
web services
database systems
formal analysis