The specification formalism must support First-order Logic constraints - Githubissues

ModelWriter / Requirements

User Requirements Document (URD) and Software Requirements Document (SRD)

https://github.com/ModelWriter/Requirements/issues

Eclipse Public License 1.0

3 stars 0 forks source link

The specification formalism must support First-order Logic constraints #95

Open anilozturk opened 9 years ago