A formal requirements engineering method for specification, synthesis, and verification.

Michael von der Beeck Tiziana Margaria Bernhard Steffen

Published in: SEE (1997)

Keyphrases

detection method
significant improvement
software engineering
goal oriented
requirements engineering
data mining
information systems
unsupervised learning