In this book, Hussmann builds a bridge between the pragmatic
methods for the design of information systems and the formal,
mathematical background. Firstly, the principal feasibility of an
integration of the different methods is demonstrated. Secondly, the
formalism is used as a systematic semantic analysis of the concepts
in SSADM, a British standard structured software engineering
method. Thirdly, a way of obtaining a hybrid formal-pragmatic
specification using a combination of SSADM notations and formal
(SPECTRUM) specifications is shown. This well-written book
encourages scientists and software engineers to apply formal
methods to practical software development problems.
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Lecture Notes in Computer Science, 1322 |
Release date: |
2001 |
First published: |
1997 |
Authors: |
Heinrich Hussmann
|
Dimensions: |
235 x 155 x 16mm (L x W x T) |
Format: |
Paperback
|
Pages: |
293 |
Edition: |
1997 ed. |
ISBN-13: |
978-3-540-63613-7 |
Categories: |
Books >
Computing & IT >
Computer programming >
Software engineering
|
LSN: |
3-540-63613-7 |
Barcode: |
9783540636137 |
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!