On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic.

Michael R. Hansen Aske Wiid Brekling

Published in: TIME (2011)

Keyphrases

tool support
presburger arithmetic
algebraic structure
software development
quantifier elimination
design decisions
case study
software tools
software engineering
test suite
database
programming language
knowledge management
constraint satisfaction