Conte aos seus amigos sobre este item:
Mathematical Approaches to Software Quality Gerard O'Regan 2006 edition
Item sob encomenda (no estoque do fornecedor)
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Também disponível como:
Mathematical Approaches to Software Quality
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 14 de março de 2012 |
| Data do lançamento original | 2011 |
| ISBN13 | 9781849965644 |
| Editoras | Springer London Ltd |
| Páginas | 232 |
| Dimensões | 155 × 235 × 13 mm · 353 g |
| Idioma | Inglês |
Mais por Gerard O'Regan
Mostrar tudo![Cover for Gerard O'Regan · A Brief History of Computing (Hardcover Book) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/545/9783032042545.jpg?gerard-o-regan-2026-a-brief-history-of-computing-hardcover-book&class=scaled&v=1761035752)
![Cover for Gerard O'Regan · Mathematical Foundations of Software Engineering: A Practical Guide to Essentials - Texts in Computer Science (Paperback Book) [2023 edition] (2024)](https://imusic.b-cdn.net/images/item/original/142/9783031262142.jpg?gerard-o-regan-2024-mathematical-foundations-of-software-engineering-a-practical-guide-to-essentials-texts-in-computer-science-paperback-book&class=scaled&v=1722548109)
![Cover for Gerard O'Regan · Mathematical Foundations of Software Engineering: A Practical Guide to Essentials - Texts in Computer Science (Hardcover Book) [1st ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/111/9783031262111.jpg?gerard-o-regan-2023-mathematical-foundations-of-software-engineering-a-practical-guide-to-essentials-texts-in-computer-science-hardcover-book&class=scaled&v=1679599693)
![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) [Second Edition 2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/905/9783030815905.jpg?gerard-o-regan-2022-guide-to-discrete-mathematics-an-accessible-introduction-to-the-history-theory-logic-and-applications-texts-in-computer-science-paperback-book&class=scaled&v=1666847827)
![Cover for Gerard O'Regan · Concise Guide to Software Engineering: From Fundamentals to Application Methods - Undergraduate Topics in Computer Science (Paperback Book) [2nd ed. 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/156/9783031078156.jpg?gerard-o-regan-2022-concise-guide-to-software-engineering-from-fundamentals-to-application-methods-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1694203199)
![Cover for Gerard O'Regan · A Brief History of Computing (Paperback Book) [Third Edition 2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/019/9783030666019.jpg?gerard-o-regan-2022-a-brief-history-of-computing-paperback-book&class=scaled&v=1622062826)
![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) [Second Edition 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 · A Brief History of Computing (Hardcover Book) [Third Edition 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/982/9783030665982.jpg?gerard-o-regan-2021-a-brief-history-of-computing-hardcover-book&class=scaled&v=1618475048)
![Cover for Gerard O'Regan · Concise Guide to Software Testing - Undergraduate Topics in Computer Science (Paperback Book) [2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/930/9783030284930.jpg?gerard-o-regan-2019-concise-guide-to-software-testing-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1603998190)
![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 · World of Computing: A Primer Companion for the Digital Age (Paperback Book) [2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/435/9783319758435.jpg?gerard-o-regan-2018-world-of-computing-a-primer-companion-for-the-digital-age-paperback-book&class=scaled&v=1530213423)
![Cover for Gerard O'Regan · Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications - Undergraduate Topics in Computer Science (Paperback Book) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/204/9783319640204.jpg?gerard-o-regan-2017-concise-guide-to-formal-methods-theory-fundamentals-and-industry-applications-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1506179878)
![Cover for Gerard O'Regan · Pillars of Computing: A Compendium of Select, Pivotal Technology Firms (Paperback Book) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/064/9783319370064.jpg?gerard-o-regan-2016-pillars-of-computing-a-compendium-of-select-pivotal-technology-firms-paperback-book&class=scaled&v=1608921398)
![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 (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)
Ver tudo de Gerard O'Regan ( por exemplo Paperback Book , Hardcover Book e Book )