Login / Signup

A language agnostic approach to modeling requirements: specification and verification.

Abdelghani AlidraAntoine BeugnardHubert GodfroyPierre KimmelGurvan Le Guernic
Published in: MoDELS (Companion) (2020)
Keyphrases
  • requirements specification
  • specification language
  • programming language
  • natural language
  • modeling language
  • state space
  • object oriented
  • model checking
  • software requirements