A domain-specific language for verifying software requirement constraints.
Marzina VidalTiago MassoniFranklin RamalhoPublished in: Sci. Comput. Program. (2020)
Keyphrases
- software systems
- software design
- user interface
- constraint satisfaction
- software tools
- constrained optimization
- relational databases
- software packages
- linear constraints
- global constraints
- constraint programming
- computer systems
- software development
- design patterns
- geometric constraints
- software architecture
- computer vision
- software application
- software platform
- multiple constraints