Model checking and code generation for transaction processing software.
Anakreon MentisPanagiotis KatsarosPublished in: Concurr. Comput. Pract. Exp. (2012)
Keyphrases
- model checking
- code generation
- transaction processing
- formal specification
- software development
- distributed databases
- software reuse
- database systems
- formal methods
- modeling language
- database management systems
- concurrency control
- application development
- design patterns
- software systems
- mobile computing
- software quality
- software architecture
- software components
- distributed database systems
- development process
- database server
- user interface
- databases
- database
- software projects
- fine grained
- object oriented
- model driven
- expert systems
- data structure