Tell your friends about this item:
Mathematical Approaches to Software Quality 2006 edition
Gerard O'Regan
Ordered from remote warehouse
Christmas presents can be returned until 31 January
Our customers say:
Also available as:
Mathematical Approaches to Software Quality 2006 edition
Gerard O'Regan
This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software. An introduction to mathematics that is essential for sound software engineering is provided as well as a discussion of various mathematical methods that are used both in academia and industry.
The mathematical approaches considered include:
- Z specification language
- Vienna Development Methods (VDM)
- Irish school of VDM (VDM)
- approach of Dijkstra and Hoare
- classical engineering approach of Parnas
- Cleanroom approach developed at IBM
- software reliability, and
- unified modelling language (UML).
Additionally, technology transfer of the mathematical methods to industry is considered.
The book explains the main features of these approaches and applies mathematical methods to solve practical problems. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers.
232 pages, 52 black & white illustrations, 78 black & white tables, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | March 14, 2012 |
| Original release date | 2011 |
| ISBN13 | 9781849965644 |
| Publishers | Springer London Ltd |
| Pages | 232 |
| Dimensions | 155 × 235 × 13 mm · 353 g |
| Language | English |
More by Gerard O'Regan
![Cover for Gerard O'Regan · Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications - Texts in Computer Science (Hardcover Book) [2nd ed. 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/875/9783030815875.jpg?gerard-o-regan-2021-guide-to-discrete-mathematics-an-accessible-introduction-to-the-history-theory-logic-and-applications-texts-in-computer-science-hardcover-book&class=scaled&v=1694203199)
![Cover for Gerard O'Regan · Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications - Texts in Computer Science (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/803/9783319830803.jpg?gerard-o-regan-2018-guide-to-discrete-mathematics-an-accessible-introduction-to-the-history-theory-logic-and-applications-texts-in-computer-science-paperback-book&class=scaled&v=1608850179)
![Cover for Gerard O'Regan · Introduction to the History of Computing: A Computing History Primer - Undergraduate Topics in Computer Science (Paperback Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/379/9783319331379.jpg?gerard-o-regan-2016-introduction-to-the-history-of-computing-a-computing-history-primer-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1563385192)
![Cover for Gerard O'Regan · Pillars of Computing: A Compendium of Select, Pivotal Technology Firms (Hardcover Book) [1st ed. 2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/634/9783319214634.jpg?gerard-o-regan-2015-pillars-of-computing-a-compendium-of-select-pivotal-technology-firms-hardcover-book&class=scaled&v=1550938277)
![Cover for Gerard O'Regan · Giants of Computing: A Compendium of Select, Pivotal Pioneers (Paperback Book) [Softcover reprint of the original 1st ed. 2013 edition] (2015)](https://imusic.b-cdn.net/images/item/original/261/9781447162261.jpg?gerard-o-regan-2015-giants-of-computing-a-compendium-of-select-pivotal-pioneers-paperback-book&class=scaled&v=1561746627)
![Cover for Gerard O'Regan · Introduction to Software Quality - Undergraduate Topics in Computer Science (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/054/9783319061054.jpg?gerard-o-regan-2014-introduction-to-software-quality-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1403454604)
![Cover for Gerard O'Regan · Giants of Computing: A Compendium of Select, Pivotal Pioneers (Hardcover Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/399/9781447153399.jpg?gerard-o-regan-2013-giants-of-computing-a-compendium-of-select-pivotal-pioneers-hardcover-book&class=scaled&v=1411027414)
![Cover for Gerard O'Regan · Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts (Hardcover Book) [2013 edition] (2012)](https://imusic.b-cdn.net/images/item/original/332/9781447145332.jpg?gerard-o-regan-2012-mathematics-in-computing-an-accessible-guide-to-historical-foundational-and-application-contexts-hardcover-book&class=scaled&v=1605020393)
![Cover for Gerard O'Regan · A Brief History of Computing (Hardcover Book) [2nd ed. 2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/583/9781447123583.jpg?gerard-o-regan-2012-a-brief-history-of-computing-hardcover-book&class=scaled&v=1456739356)
![Cover for Gerard O'Regan · A Practical Approach to Software Quality (Paperback Book) [Softcover reprint of hardcover 1st ed. 2002 edition] (2011)](https://imusic.b-cdn.net/images/item/original/518/9781441929518.jpg?gerard-o-regan-2011-a-practical-approach-to-software-quality-paperback-book&class=scaled&v=1610573390)
![Cover for Gerard O'Regan · Introduction to Software Process Improvement - Undergraduate Topics in Computer Science (Paperback Book) [2011 edition] (2010)](https://imusic.b-cdn.net/images/item/original/714/9780857291714.jpg?gerard-o-regan-2010-introduction-to-software-process-improvement-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1430513572)
![Cover for Gerard O'Regan · A Practical Approach to Software Quality (Hardcover Book) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/212/9780387953212.jpg?gerard-o-regan-2002-a-practical-approach-to-software-quality-hardcover-book&class=scaled&v=1409667488)
See all of Gerard O'Regan ( e.g. Paperback Book , Hardcover Book and Book )