Executing Formal Specifications with Concurrent Constraint Programming.
Tim WahlsGary T. LeavensAlbert L. BakerPublished in: Autom. Softw. Eng. (2000)
Keyphrases
- constraint programming
- formal specification
- model checking
- combinatorial problems
- object oriented design
- specification languages
- constraint satisfaction
- constraint propagation
- constraint satisfaction problems
- global constraints
- search strategies
- reverse engineering
- concurrent systems
- arc consistency
- process algebra
- formal methods
- constraint solver
- np hard problems
- search heuristics
- constraint networks
- constraint logic programming
- symmetry breaking
- itemset mining
- xml documents
- constraint solving
- software components
- constraint problems
- relational databases
- temporal logic
- search space