Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
Uml (computer science)Object-oriented methods (computer science)Computer software, validationComputer software, verification
Writing a summary for young readers…
For young readers
Book data: Open Library