Login / Signup

A scenario and design pattern based tool for modeling and evaluating implementations of event-based reactive systems.

Vojislav D. RadonjicSoheila Bashardoust-TajaliJean-Pierre CorriveauDave Arnold
Published in: DEBS (2011)
Keyphrases
  • reactive systems
  • modeling tool
  • case study
  • real time
  • user interface
  • design process
  • object oriented
  • low cost
  • error rate
  • model checking
  • efficient implementation
  • modeling language
  • multiagent based simulation