Object-Oriented Specification of Reactive Systems.
H.-M. JärvinenReino Kurki-SuonioMarkku SakkinenKari SystäPublished in: ICSE (1990)
Keyphrases
- reactive systems
- object oriented
- model checking
- information flow
- petri net
- temporal logic
- formal methods
- data model
- programming language
- transition systems
- object oriented databases
- relational databases
- control flow
- software engineering
- real time systems
- query language
- artificial intelligence
- knowledge acquisition
- design patterns
- data flow
- training set
- state machines