Reliable software technologies - Ada-Europe 2011 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings

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

Tests and proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings

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

Software reliability assessment with OR applications de réir Kapur, P.K, Pham, Hoang, Gupta, A., P.C. Jha

Available for UP System via SpringerLink

Secure and resilient software development de réir Merkow, Mark S.

Secure and resilient software development de réir Merkow, Mark S.

Systems and software engineering with applications de réir Schneidewind, Norman

Available for University of the Philippines System via IEEE Xplore Digital Library. Click here to access
Available for University of the Philippines Diliman via Wiley Online Library. Click here to access

Clean code a handbook of agile software craftsmanship

Table of contents only

Software error detection through testing and analysis de réir Huang, J. C. 1935-

The practical guide to defect prevention de réir McDonald, Marc

Design for trustworthy software tools, techniques, and methodology of developing robust software de réir Jayaswal, Bijay K. 1949-