The Usage of Constraint Specification Languages: A Controlled Experiment.

Azzam Maraee Arnon Sturm

Published in: BPMDS/EMMSAD@CAiSE (2019)

Keyphrases

specification languages
formal specification
object oriented programs
first order logic
objective function
real time
consistency constraints
search algorithm
cooperative
data model
open source
case study
genetic algorithm
constraint networks
data mining
penalty function
neural network
database