Imperative versus declarative constraint specification languages: a controlled experiment.
Azzam MaraeeArnon SturmPublished in: Softw. Syst. Model. (2021)
Keyphrases
- knowledge base
- specification languages
- knowledge representation
- formal specification
- object oriented programs
- first order logic
- expert systems
- knowledge acquisition
- knowledge based systems
- computer controlled
- real time
- high level
- software engineering
- model checking
- image sequences
- global constraints
- learning algorithm