Old Web
English
Sign In
Acemap
>
Paper
>
Validating OCL Specifications with the USE Tool
Validating OCL Specifications with the USE Tool
2003
Paul Ziemann
Martin Gogolla
Keywords:
Theoretical computer science
Computer science
Satisfiability
Object Constraint Language
Unified Modeling Language
Correction
Cite
Save
Machine Reading By IdeaReader
11
References
0
Citations
NaN
KQI
[]