The Executability of Object-Oriented Finite State Machines.
Franck BarbierHenri BriandBénédicte DanoStéphane RideauPublished in: J. Object Oriented Program. (1998)
Keyphrases
- finite state machines
- object oriented
- finite state automata
- model checking
- relational databases
- object oriented databases
- data model
- database applications
- situation calculus
- software engineering
- programming language
- database schema
- object oriented programming
- regular expressions
- object oriented database systems
- digital circuits
- query language
- hidden markov models
- database design
- object oriented modeling
- programming interface
- xml schema
- design patterns
- database
- regular languages
- data analysis
- video sequences
- databases