Login / Signup
An educational tool for implementing reactive systems following a goal-driven approach.
Fulgencio Soto
Pedro Sánchez
Antonio Mateo
Diego Alonso
Pedro J. Navarro
Published in:
Comput. Appl. Eng. Educ. (2014)
Keyphrases
</>
goal driven
educational tool
reactive systems
temporal logic
model checking
software product line
learning environment
service composition
petri net
information flow
formal methods
control flow
real time systems
semantic web services
case study
digital games