Entity Claim Attribute constant car : Car Entity Car Attribute runsOK : boolean

  • InsuranceCo, BodyShop, +1 author BeInsured
  • Published 2001
The paper describes an approach that bridges the gap between early requirements specifications and formal methods. In particular, we propose a new specification language, called Formal Tropos, that offers the primitive concepts of early requirements frameworks (actor, goal, strategic dependency) [13], but supplements them with a rich temporal specification… CONTINUE READING