Articles liés à Mathematical Approaches to Software Quality
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 102,77
EUR 3,43 expédition vers Etats-Unis
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Mathematical Approaches to Software Quality
Image d'archives
Mathematical Approaches to Software Quality
Edité par
Springer, 2006
ISBN 10 : 1849965641
ISBN 13 : 9781849965644
Ancien ou d'occasion
Couverture souple
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9781849965644. N° de réf. du vendeur 9512159
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Approaches to Software Quality
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2912160254889
Quantité disponible : Plus de 20 disponibles
Image d'archives
Mathematical Approaches to Software Quality
Edité par
Springer, 2012
ISBN 10 : 1849965641
ISBN 13 : 9781849965644
Ancien ou d'occasion
Couverture souple
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. N° de réf. du vendeur Z1-T-011-01414
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Approaches to Software Quality
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9781849965644
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Mathematical Approaches to Software Quality
Edité par
Springer London Mrz 2012, 2012
ISBN 10 : 1849965641
ISBN 13 : 9781849965644
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 languageVienna Development Methods (VDM)Irish school of VDM (VDM)approach of Dijkstra and Hoareclassical engineering approach of ParnasCleanroom approach developed at IBMsoftware reliability, andunified 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 studentand professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers. 248 pp. Englisch. N° de réf. du vendeur 9781849965644
Quantité disponible : 2 disponible(s)
Image d'archives
Mathematical Approaches to Software Quality
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781849965644_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Mathematical Approaches to Software Quality
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Comprehensive introduction to mathematical approaches to software qualityBroad overview of popular formal specification methods such as Z and VDMIntroduction to Cleanroom and software reliabilityDisplays how to predict software relia. N° de réf. du vendeur 4288691
Quantité disponible : Plus de 20 disponibles
Image d'archives
Mathematical Approaches to Software Quality
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 248. N° de réf. du vendeur 2654503879
Quantité disponible : 4 disponible(s)
Image d'archives
Mathematical Approaches to Software Quality
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 248 52 Illus. N° de réf. du vendeur 55055896
Quantité disponible : 4 disponible(s)
Image d'archives
Mathematical Approaches to Software Quality
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 248. N° de réf. du vendeur 1854503885
Quantité disponible : 4 disponible(s)