Login / Signup
Using Abstract State Machines for the Design of Multi-level Transaction Schedulers.
Markus Kirchberg
Klaus-Dieter Schewe
Jane Zhao
Published in:
Rigorous Methods for Software Construction and Analysis (2009)
Keyphrases
</>
genetic algorithm
building blocks
design principles
multimedia
case study
design process
integrity constraints
design decisions
design tools
information systems
learning environment
relational databases
artificial neural networks
computer aided
scheduling algorithm
engineering design