Sign in

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

Patrick HeymansEric 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