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.
General
Imprint: |
Springer London
|
Country of origin: |
United Kingdom |
Release date: |
March 2006 |
First published: |
2006 |
Authors: |
Gerard O'Regan
|
Dimensions: |
235 x 155 x 16mm (L x W x T) |
Format: |
Hardcover
|
Pages: |
232 |
Edition: |
2006 ed. |
ISBN-13: |
978-1-84628-242-3 |
Categories: |
Books >
Computing & IT >
Computer programming >
Software engineering
|
LSN: |
1-84628-242-X |
Barcode: |
9781846282423 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!