Formal Specification of Batch Scheduling Problems: A Step toward Integration and Benchmarking.
Gabriela P. HenningPublished in: APMS (2) (2012)
Keyphrases
- formal specification
- scheduling problem
- specification languages
- specification language
- object oriented design
- model checking
- process algebra
- formal methods
- reverse engineering
- data abstraction
- processing times
- software components
- single machine
- knowledge representation
- concurrent systems
- job shop scheduling problem
- database