Search Results - "Computer software Verification"

Rigorous Software Development An Introduction to Program Verification by Almeida, José Bacelar

Available for University of the Philippines System via SpringerLink. Click here to access

Software inspection an industry best practice by Wheeler, David A.

Formal verification of Simulink/Stateflow diagrams a deductive approach by Zhan, Naijun, Wang, Shuling, Zhao, Hengjun

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 by Summers, Boyd L.

Formal modeling: actors, open systems, biological systems essays dedicated to Carolyn Talcott on the occasion of her 70th Birthday

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.

Verification and validation of rule-based expert systems by Smith, Suzanne 1953-

Data flow analysis theory and practice by Khedker, Uday

Verification, validation and testing in software engineering

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

Embedded software verification and debugging

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