Login / Signup

GoalSPEC: A Goal Specification Language Supporting Adaptivity and Evolution.

Luca SabatucciPatrizia RibinoCarmelo LodatoSalvatore LopesMassimo Cossentino
Published in: EMAS@AAMAS (2013)
Keyphrases
  • specification language
  • programming language
  • formal specification
  • description language
  • software environment
  • symbolic execution
  • case study
  • requirements specification
  • state space