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 nork Kapur, P.K, Pham, Hoang, Gupta, A., P.C. Jha

Available for UP System via SpringerLink

Introduction to reliable and secure distributed programming nork Cachin, Christian

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

Secure and resilient software development nork Merkow, Mark S.

Secure and resilient software development nork Merkow, Mark S.

Clean code a handbook of agile software craftsmanship

Table of contents only

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

Systems and software engineering with applications nork 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 nork McDonald, Marc

Software system reliability and security