Data Abstraction and Constraint Solving for Conformance Testing.
Jens R. CalaméNatalia IoustinovaJaco van de PolNatalia SidorovaPublished in: APSEC (2005)
Keyphrases
- constraint solving
- data abstraction
- constraint propagation
- database management
- constraint logic programming
- constraint satisfaction problems
- conceptual modeling
- constraint satisfaction
- constraint solver
- object oriented databases
- formal specification
- abstract data types
- programming language
- object oriented
- constraint programming
- optimal solution
- spatio temporal
- databases
- database