Constraints Specification Via Tool Support: A Controlled Experiment.

Azzam Maraee Eliran Nachmani Arnon Sturm

Published in: J. Object Technol. (2020)

Keyphrases

tool support
software tools
software development
database
formal specification
trade off
software engineering
constraint satisfaction
neural network
software projects
data exchange
constraint programming
geometric constraints