Automated validation & verification of UML/OCL models using satisfiability solvers

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Przigoda, Nils (Συγγραφέας), Wille, Robert (Συγγραφέας), Przigoda, Judith (Συγγραφέας), Drechsler, Rolf (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Electronic Resource
Γλώσσα:	English
Έκδοση:	Cham Springer International Publishing AG [2018]
Θέματα:	Object-oriented methods (Computer science) UML (Computer science) Computer software > Validation. Computer software > Verification. Electronic books.
Διαθέσιμο Online:	Available for University of the Philippines System via SpringerLink. Click here to access Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy