Error-free software : know-how and know-why of program correctness
| Main Author: | |
|---|---|
| Format: | Book |
| Published: |
Chichester, West Sussex, England :
John Wiley ,
c1991
|
| Series: | Wiley series in software engineering practice
|
| Subjects: |
Similar Items
Flexible, reliable software : using patterns and agile development
by: Christensen, Henrik B.
Published: (2010)
by: Christensen, Henrik B.
Published: (2010)
Secure and resilient software development
by: Merkow, Mark S., et al.
Published: (2010)
by: Merkow, Mark S., et al.
Published: (2010)
The engineering of software quality
by: O'Brien, Fergus
Published: (2004)
by: O'Brien, Fergus
Published: (2004)
Software testing techniques : finding the defects that matter
by: Loveland, Scott
Published: (2005)
by: Loveland, Scott
Published: (2005)
Software defect prevention : concepts and implementation
by: Kane, Shridhar, et al.
Published: (2003)
by: Kane, Shridhar, et al.
Published: (2003)
Secure and resilient software : requirements, test cases, and testing methods
by: Merkow, Mark S., et al.
Published: (2012)
by: Merkow, Mark S., et al.
Published: (2012)
Using aspect-oriented programming for trustworthy software development
by: Safonov, V. O. [ (Vladimir Olegovich)]
Published: (2008)
by: Safonov, V. O. [ (Vladimir Olegovich)]
Published: (2008)
Free/open source software development
by: Koch, Stefan
Published: (2005)
by: Koch, Stefan
Published: (2005)
Software fault tolerance techniques and implementation
by: Pullum, Laura L.
Published: (2001)
by: Pullum, Laura L.
Published: (2001)
Know all about software [ types, architecture, quality, development & engineering
by: Osborn, Temeka
Published: (2014)
by: Osborn, Temeka
Published: (2014)
Perspectives on free and open source software [electronic resource]
by: Feller, Joseph , 1972-
Published: (2005)
by: Feller, Joseph , 1972-
Published: (2005)
Free and open source softwares [
by: Ness, Layne
Published: (2012)
by: Ness, Layne
Published: (2012)
Software ecosystem understaning an indispensable technology and industry
by: Messerschmitt, David G., et al.
Published: (2007)
by: Messerschmitt, David G., et al.
Published: (2007)
Rigorous software development : an introduction to program verification
by: Almeida, Jose Bacelar
Published: (2011)
by: Almeida, Jose Bacelar
Published: (2011)
Successful software reengineering
by: Valenti, Sal , 1956-
Published: (2002)
by: Valenti, Sal , 1956-
Published: (2002)
Software paradigms
by: Kaisler, Stephen H.
Published: (2005)
by: Kaisler, Stephen H.
Published: (2005)
Software design
by: Budgen, David
Published: (2003)
by: Budgen, David
Published: (2003)
Software evolution
by: Demeyer, Serge, et al.
Published: (2008)
by: Demeyer, Serge, et al.
Published: (2008)
Generating software from specifications
by: Waite, W. M. [ (William McCastline)], et al.
Published: (2006)
by: Waite, W. M. [ (William McCastline)], et al.
Published: (2006)
Agile software development : evaluating the methods for your organization
by: Koch, Alan S.
Published: (2005)
by: Koch, Alan S.
Published: (2005)
Software estimation best practices, tools & techniques : a complete guide for software project estimators
by: Chemuturi, Murali , 1950-
Published: (2009)
by: Chemuturi, Murali , 1950-
Published: (2009)
Building software : a practitioner's guide
by: Krishnamurthy, Nikhilesh, et al.
Published: (2008)
by: Krishnamurthy, Nikhilesh, et al.
Published: (2008)
Software product line engineering : foundations, principles, and techniques
by: Pohl, Klaus , 1960-, et al.
Published: (2005)
by: Pohl, Klaus , 1960-, et al.
Published: (2005)
Software modeling and design : UML, use cases, patterns, and software architectures
by: Gomaa, Hassan
Published: (2011)
by: Gomaa, Hassan
Published: (2011)
Practical software project estimation [ a toolkit for estimating software development effort & duration
by: Hill, Peter R.
Published: (2011)
by: Hill, Peter R.
Published: (2011)
Economics-driven software architecture
Published: (2014)
Published: (2014)
Software development : an open source approach
by: De Silva, Chamindra, et al.
Published: (2011)
by: De Silva, Chamindra, et al.
Published: (2011)
Six sigma software development
by: Tayntor, Christine B.
Published: (2007)
by: Tayntor, Christine B.
Published: (2007)
Software development rhythms harmonizing agile practices for synergy
by: Lui, Kim Man, et al.
Published: (2008)
by: Lui, Kim Man, et al.
Published: (2008)
Software process improvement : practical guidelines for business success
by: Zahran, Sami
Published: (1998)
by: Zahran, Sami
Published: (1998)
Software requirements & specifications a lexicon of practice, principles and prejudices
by: Jackson, Michael J. (Michael James)
Published: (1995)
by: Jackson, Michael J. (Michael James)
Published: (1995)
Software prototyping, format methods and VDM
by: Hekmatpour, Sharam , 1961-, et al.
Published: (1988)
by: Hekmatpour, Sharam , 1961-, et al.
Published: (1988)
Cross-platform softwares and applications [
by: Martins, Kam
Published: (2014)
by: Martins, Kam
Published: (2014)
The business value of agile software methods : maximizing ROI with just-in-time processes and documentation
by: Rico, David F. , 1964-, et al.
Published: (2009)
by: Rico, David F. , 1964-, et al.
Published: (2009)
Software engineering best practices [ lessons from successful projects in the top companies
by: Jones, Capers
Published: (2010)
by: Jones, Capers
Published: (2010)
Software teamwork : taking ownership for success
by: Brosseau, Jim , 1960-
Published: (2008)
by: Brosseau, Jim , 1960-
Published: (2008)