• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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