A Domain-Specific Language for Verifying Software Requirement Constraints.

Marzina Vidal Tiago Massoni Franklin Ramalho

Published in: CoRR (2019)

Keyphrases

global constraints
software development
computer systems
software systems
software architecture
software maintenance
lower bound
software projects
user interface
operating system
development process
software design
commercial software
software platform