Error-free software : know-how and know-why of program correctness Robert Laurence Baber ;

Error-free software : know-how and know-why of program correctness

Bibliographic Details
Main Author:	Baber, Robert Laurence
Published:	Chichester, West Sussex, England : John Wiley, c1991.
Series:	Wiley series in software engineering practice
Subjects:	Computer software -- > Reliability Computer software -- > Development

Similar Items

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

Software testing techniques : finding the defects that matter Scott Loveland ... [et al.].
Published: (2005)

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

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

Software defect prevention : concepts and implementation Shridhar Kane and Niraj Bajaj.
by: Kane, Shridhar
Published: (2003)

The engineering of software quality Fergus O'Brien.
by: O'Brien, Fergus
Published: (2004)

Know all about software : types, architecture, quality, development & engineering Temeka Osborn.
by: Osborn, Temeka
Published: (2014)

Free/open source software development Stefan Koch.
by: Koch, Stefan
Published: (2005)

Perspectives on free and open source software [electronic resource] edited by Joseph Feller ... [et al.].
Published: (2005)

Secure and resilient software : requirements, test cases, and testing methods Mark S. Merkow, Lakshmikanth Raghavan.
by: Merkow, Mark S.
Published: (2012)

Software fault tolerance techniques and implementation Laura L. Pullum.
by: Pullum, Laura
Published: (2001)

Free and open source softwares Layne Ness.
by: Ness, Layne
Published: (2012)

Generating software from specifications Uwe Kastens, Anthony M. Sloane, William M. Waite..
by: Waite, W. M.
Published: (2006)

Software estimation best practices, tools & techniques : a complete guide for software project estimators Murali Chemuturi.
by: Chemuturi, Murali, 1950-
Published: (2009)

Successful software reengineering [edited by] Sal Valenti.
Published: (2002)

Software ecosystem : understaning an indispensable technology and industry David G. Messerschmitt.
by: Messerschmitt, David G.
Published: (2007)

Rigorous software development : an introduction to program verification Jose Bacelar Almeida ... [et al.].
Published: (2011)

Software engineering research, management and applications Roger Lee.
Published: (2008)

Building software : a practitioner's guide Nikhilesh Krishnamurthy, Amitabh Saran.
by: Krishnamurthy, Nikhilesh
Published: (2008)

Software product line engineering : foundations, principles, and techniques Klaus Pohl, Gunter Bockle, Frank van der Linden.
by: Pohl, Klaus, 1960-
Published: (2005)

Software modeling and design : UML, use cases, patterns, and software architectures Hassan Gomaa.
by: Gomaa, Hassan
Published: (2011)

Six sigma software development Christine B. Tayntor.
by: Tayntor, Christine B.
Published: (2007)

Agile software development : evaluating the methods for your organization Alan S. Koch.
by: Koch, Alan S.
Published: (2005)

Software process improvement : practical guidelines for business success Sami Zahran.
by: Zahran, Sami
Published: (1998)

Software design David Budgen.
by: Budgen, David
Published: (2003)

Software paradigms Stephen H.Kaisler.
by: Kaisler, Stephen H.
Published: (2005)

Software teamwork : taking ownership for success Jim Brosseau.
by: Brosseau, Jim, 1960-
Published: (2008)

Software evolution edited by Tom Mens, Serge Demeyer.
Published: (2008)

Managing global software projects : how to lead geographically distributed teams, manage processes and use quality models Gopalasamy Ramesh.
by: Ramesh, Gopalaswamy
Published: (2002)

Software engineering best practices : lessons from successful projects in the top companies Capers Jones.
by: Jones, Capers
Published: (2010)

The business value of agile software methods : maximizing ROI with just-in-time processes and documentation David F. Rico, Hasan H. Sayani, Saya Sone.
by: Rico, David F., 1964-
Published: (2009)

Software project management Bob Hughes and Mike Cotterell.
by: Cotterell, Mike
Published: (2002)

Software project management Bob Hughes and Mike Cotterell.
by: Hughes, Bob
Published: (2006)

Practical software project estimation : a toolkit for estimating software development effort & duration International Software Benchmarking Standards Group ; compiled and edited by Peter R. Hill.
Published: (2011)

Cross-platform softwares and applications Kam Martins.
by: Martins, Kam
Published: (2014)

Software development : an open source approach authors, Allen Tucker, Ralph Morelli, Chamindra de Silva.
by: Tucker, Allen B.
Published: (2011)

Software project management : a process-driven approach Ashfaque Ahmed.
by: Ahmed, Ashfaque
Published: (2012)

Software requirements & specifications : a lexicon of practice, principles and prejudices Michael Jackson.
by: Jackson, Michael J.
Published: (1995)

Software systems & applications Cassidy Worsham.
by: Worsham, Cassidy
Published: (2014)

Software prototyping, format methods and VDM Sharam Hekmatpour and Darrel C. Ince.
by: Hekmatpour, Sharam, 1961-
Published: (1988)