Automated Validation & Verification of UML/OCL Models Using Satisfiability Solve
162,14 €
The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. - A Formal Interpretation of UML/OCL. - A Symbolic Formulation for Models.
Jetzt bei Ebay:
