Cover Image

Safer C : developing software for in high-integrity and safety-critical systems /

Bibliographic Details
Main Author:	Hatton, Les, 1948-
Format:	Book
Language:	English
Published:	London ; New York : McGraw-Hill, [1995]
Series:	McGraw-Hill international series in software engineering.
Subjects:	Computer software > Reliability. Computer software > Development. C (Computer program language) System safety.

Similar Items

High integrity software : the Spark approach to safety and security /
by: Barnes, J. G. P. (John Gilbert Presslie)
Published: (2003)

High integrity software /
Published: (2001)

Software safety and reliability : techniques, approaches, and standards of key industrial sectors /
by: Herrmann, Debra S.
Published: (1999)

Developing C++ software /
by: Winder, R. (Russel)
Published: (1993)

Using aspect-oriented programming for trustworthy software development /
by: Safonov, V. O. (Vladimir Olegovich)
Published: (2008)

Framework-based software development in C++ /
by: Rogers, Gregory F.
Published: (1997)

Software development in C : a practical approach to programming and design /
by: Conger, David
Published: (2003)

Flexible, reliable software : using patterns and agile development /
by: Christensen, Henrik B.
Published: (2010)

Reliable JavaScript /
by: Spencer, Lawrence D., et al.
Published: (2015)

Applied C++ : practical techniques for building better software /
by: Romanik, Philip
Published: (2003)

Safer systems : proceedings of the Fifth Safety-Critical Systems Symposium, Brighton 1997 /
Published: (1997)

Large-scale C++ software design /
by: Lakos, John, 1959-
Published: (1996)

Secure and resilient software development /
by: Merkow, Mark S.
Published: (2010)

Design for trustworthy software : tools, techniques, and methodology of developing robust software /
by: Jayaswal, Bijay K., 1949-
Published: (2007)

Error-free software : know-how and know-why of program correctness /
by: Baber, Robert Laurence
Published: (1991)

Performance solutions : a practical guide to creating responsive, scalable software /
by: Smith, Connie U.
Published: (2002)

Software reliability.
Published: (1986)

Wireless game development in C/C++ with BREW /
by: Barbagallo, Ralph
Published: (2002)

High-integrity software /
Published: (1989)

Reliable software technologies : Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006 : proceedings /
Published: (2006)

Continuous delivery /
by: Humble, Jez
Published: (2011)

Object-oriented development with C++ : a software engineering approach /
by: Nielsen, Kjell
Published: (1997)

Clean code : a handbook of agile software craftsmanship /
by: Martin, Robert C.
Published: (2009)

Writing solid code : Microsoft's techniques for developing bug-free C programs /
by: Maguire, Steve
Published: (1993)

Network computing system reference manual /
Published: (1990)

Systems and software engineering with applications /
by: Schneidewind, Norman
Published: (2009)

C# kukkubukku : purofesshonaru kaihatsusha no tame no modan reshipi /
by: Mayo, Joseph
Published: (2023)

Model-based software testing and analysis with C♯ /
Published: (2008)

Highly dependable software /
Published: (2003)

Successful C for commercial UNIX developers /
by: Osman, Mohamed (Mohamed S.)
Published: (1996)

Continuous integration : improving software quality and reducing risk /
by: Duvall, Paul M.
Published: (2007)

AntiPatterns : refactoring software, architectures, and projects in crisis /
Published: (1998)

Software quality and software testing in Internet times /
Published: (2002)

Reliable systems on unreliable networked platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers /
Published: (2007)

The practical guide to defect prevention /
by: McDonald, Marc
Published: (2008)

Reliable software technologies--Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings /
Published: (1998)

Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings /
Published: (1996)

Reliable software technologies--Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : proceedings /
Published: (1997)

Software reliability : measurement, prediction, application /
by: Musa, John D.
Published: (1990)

Software reliability : measurement, prediction, application /
by: Musa, John D.
Published: (1987)