Login / Signup

Requirements Engineering via Non-monotonic Logics and State Diagrams.

David BillingtonVladimir Estivill-CastroRené HexelAndrew Rock
Published in: ENASE (Selected Papers) (2010)
Keyphrases
  • requirements engineering
  • goal oriented
  • systems engineering
  • software engineering
  • software development
  • database systems
  • expressive power
  • life cycle
  • requirements specification