Implementing Reactive Systems with UML State Machines and Ada 2005.
Sergio SáezSilvia TerrasaVicente Lorente GarcésAlfons CrespoPublished in: Ada-Europe (2009)
Keyphrases
- state machines
- reactive systems
- state machine
- sequence diagrams
- formal methods
- petri net
- information flow
- model checking
- finite state machines
- metamodel
- fault tolerant
- formal specification
- temporal logic
- real time systems
- object oriented
- neural network
- control flow
- regression testing
- development process
- software engineering