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

Chi tiết về thư mục
Những tác giả chính:	Przigoda, Nils (Tác giả), Wille, Robert (Tác giả), Przigoda, Judith (Tác giả), Drechsler, Rolf (Tác giả)
Tác giả của công ty:	SpringerLink (Online service)
Định dạng:	Electronic Resource
Ngôn ngữ:	English
Được phát hành:	Cham Springer International Publishing AG [2018]
Những chủ đề:	Object-oriented methods (Computer science) UML (Computer science) Computer software > Validation. Computer software > Verification. Electronic books.
Truy cập trực tuyến:	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