Login / Signup

A Method for Requirements Elicitation and Formal Specification.

Maritta HeiselJeanine Souquières
Published in: ER (1999)
Keyphrases
  • formal specification
  • formal methods
  • artificial intelligence
  • case study
  • data analysis
  • goal oriented