Automated validation & verification of UML/OCL models using satisfiability solvers অনুযায়ী Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf

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

Software engineering reviews and audits অনুযায়ী Summers, Boyd L.

Validating the factors of the English and Filipino versions of the sense of self scale অনুযায়ী Ganotice, Fraide A. Jr, Bernardo, Allan B.I

Verification, validation and testing in software engineering

Available for University of the Philippines Diliman via Gale Virtual Reference Library. Click here to access

Verification, validation and testing in software engineering

Available for University of the Philippines Baguio with URL: http://go.galegroup.com/ps/i.do?id=GALE|9781591408536&v=2.1&u=phdiliman&it=aboutBook&p=GVRL&sw=w. Click here to request

Verification and validation of rule-based expert systems অনুযায়ী Smith, Suzanne 1953-

Independent verification and validation a life cycle engineering process for quality software অনুযায়ী Lewis, Robert O. 1938-

Verifying and validating personal computer-based expert systems অনুযায়ী Bahill, Terry

Validating and verifying knowledge-based systems

Software verification and validation realistic project approaches Michael S. Deutsch. অনুযায়ী Deutsch, Michael S.