Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

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

Software reliability assessment with OR applications por Kapur, P.K, Pham, Hoang, Gupta, A., P.C. Jha

Available for UP System via SpringerLink

Introduction to reliable and secure distributed programming por Cachin, Christian

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

Secure and resilient software development por Merkow, Mark S.

Secure and resilient software development por Merkow, Mark S.

Clean code a handbook of agile software craftsmanship

Table of contents only

Software error detection through testing and analysis por Huang, J. C. 1935-

Systems and software engineering with applications por 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

The practical guide to defect prevention por McDonald, Marc

Software system reliability and security