Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements.

Patrick Heymans Eric Dubois

Published in: Requir. Eng. (1998)

Keyphrases

requirements engineering
requirements specification
formal model
formal methods
artificial intelligence
application specific
user requirements
data mining
machine learning
information systems