Welcome to the Kids' Library!

Application security in the ISO 27001:2013 environment

Vasudevan, Vinod, author.
Ely Cambridgeshire : IT Governance Publishing, 2015. 2015

The art of software security testing : identifying software security flaws

Upper Saddle River, NJ : Addison-Wesley, c2007. 2007

Artificial neural network for software reliability prediction

Bisi, Manjubala, author.
Hoboken, New Jersey ; Beverly, Massachusetts : John Wiley & Sons : Scrivener Publishing, 2017. 2017

Continuous integration, delivery, and deployment : reliable and faster software releases with automa

Rossel, Sander, author.
Birmingham, England ; Mumbai, [Maharashtra] : Packt, 2017. 2017

Cooperative bug isolation : winning thesis of the 2005 ACM Doctoral Dissertation Competition

Liblit, Ben.
Berlin ; New York : Springer, c2007. 2007

Cyber-risk informatics : engineering evaluation with data sciencef

Sahinoglu, Mehmet, 1951- author.
Hoboken, New Jersey : Wiley, 2016. 2016

Developing safety-critical software : a practical guide for aviation software and DO-178c compliance

Rierson, Leanna, author.
Boca Raton, Florida ; London, [England] ; New York : CRC Press, 2013. 2013

Flexible, reliable software : using patterns and agile development

Christensen, Henrik Baerbak, author.
Boca Raton, Florida ; London, [England] ; New York : CRC Press, 2010. 2010

Secure and resilient software development

Merkow, Mark S., author.
Boca Raton, Florida : CRC Press, [2010] 2010

The security development lifecycle : SDL, a process for developing demonstrably more secure software

Howard, Michael, 1965-
Redmond, Wash. : Microsoft Press, c2006. 2006

Software error detection through testing and analysis

Huang, J. C., 1935-
Hoboken, N.J. : John Wiley & Sons, c2009. 2009

Software for dependable systems sufficient evidence?

National Research Council (U.S.). Committee on Certifiably Dependable Software Systems.
Washington, D.C. : National Academies Press, c2007. 2007

Software reliability engineering : more reliable software, faster development and testing

Musa, John D.
New York : McGraw-Hill, c1999. 1999

Using aspect-oriented programming for trustworthy software development

Safonov, V. O. (Vladimir Olegovich)
Hoboken, N.J. : Wiley-Interscience, c2008. 2008

Dependable software systems engineering

Amsterdam, Netherlands : IOS Press, 2017. 2017

New trends in software methodologies, tools and techniques proceedings of Lyee-W02

Lyee-W02 (2002 : Paris, France)
Amsterdam ; Washington, DC : IOS Press/Ohmsha, c2002. 2002

Software and systems safety specification and verification

Amsterdam, The Netherlands : IOS Press, 2011. 2011

Software system reliability and security

Amsterdam ; Washington, DC : IOS Press, c2007. 2007

Metamodeling-driven IP reuse for SoC integration and microprocessor design

Mathaikutty, Deepak A.
Boston ; London : Artech House, c2009. 2009

Object-oriented JavaScript

Stefanov, Stoyan.
Birmingham, UK : Packt Publishing, c2013. 2013