Hero image 0 of Lecture Notes in Computer Science Formal Foundations for Software Engineering Methods, Book 1322, (Paperback), 0 of 1
Lecture Notes in Computer Science Formal Foundations for Software Engineering Methods, Book 1322, (Paperback)
(No ratings yet)
Key item features
- Lecture Notes in Computer Science Formal Foundations for Software Engineering Methods, Book 1322, (Paperback)
- Author: Springer
- ISBN: 9783540636137
- Format: Paperback
- Publication Date: 1997-09-23
- Page Count: 293
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateSeptember, 1997
- Pages293
- Number in series1322
Current price is USD$54.99
Price when purchased online
Out of stock
How do you want your item?
Out of stock
About this item
Product details
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.
- Lecture Notes in Computer Science Formal Foundations for Software Engineering Methods, Book 1322, (Paperback)
- Author: Springer
- ISBN: 9783540636137
- Format: Paperback
- Publication Date: 1997-09-23
- Page Count: 293
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it.
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
September, 1997
Similar items you might like
Based on what customers bought
Lecture Notes in Physics A Symplectic Framework for Field Theories, Book 107, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Physics A Symplectic Framework for Field Theories, Book 107, (Paperback)
Lecture Notes in Computer Science Information Retrieval Techniques for Speech Applications, Book 2273, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Information Retrieval Techniques for Speech Applications, Book 2273, (Paperback)
Lecture Notes in Computer Science Component-Based Software Quality: Methods and Techniques, Book 2693, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Component-Based Software Quality: Methods and Techniques, Book 2693, (Paperback)
Lecture Notes in Computer Science Modular Specification and Verification of Object-Oriented Programs, Book 2262, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Modular Specification and Verification of Object-Oriented Programs, Book 2262, (Paperback)
Monographs in Computer Science The Design of Well-Structured and Correct Programs, (Paperback) $54.99
$5499current price $54.99Monographs in Computer Science The Design of Well-Structured and Correct Programs, (Paperback)
Lecture Notes in Computer Science Architecting Dependable Systems II, Book 3069, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Architecting Dependable Systems II, Book 3069, (Paperback)
Lecture Notes in Physics Novel Methods in Soft Matter Simulations, Book 640, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Physics Novel Methods in Soft Matter Simulations, Book 640, (Paperback)
Lecture Notes in Computer Science Rims Symposium on Software Science and Engineering: Kyoto, 1982. Proceedings, Book 147, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Rims Symposium on Software Science and Engineering: Kyoto, 1982. Proceedings, Book 147, (Paperback)
Data Mining for Geoinformatics: Methods and Applications, (Paperback) $54.99
$5499current price $54.99Data Mining for Geoinformatics: Methods and Applications, (Paperback)
Lecture Notes in Computer Science The Stability Theory of Stream Ciphers, Book 561, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science The Stability Theory of Stream Ciphers, Book 561, (Paperback)
The 2002 User-Friendly Handbook for Project Evaluation, (Paperback) $15.95
$1595current price $15.95The 2002 User-Friendly Handbook for Project Evaluation, (Paperback)
Fundamentals of Software Engineering, (Paperback) $54.99
$5499current price $54.99Fundamentals of Software Engineering, (Paperback)
Lecture Notes in Computer Science Formal Methods at the Crossroads: From Panacea to Foundation Support: 10th Anniversary Colloquium of Unu/Iist the Intern, Book 2757, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Formal Methods at the Crossroads: From Panacea to Foundation Support: 10th Anniversary Colloquium of Unu/Iist the Intern, Book 2757, (Paperback)
Lecture Notes in Computer Science Foundations of Software Science and Computation Structures: 5th International Conference, Fossacs 2002. Held as Part of , Book 2303, (Paperback) $64.11
$6411current price $64.11Lecture Notes in Computer Science Foundations of Software Science and Computation Structures: 5th International Conference, Fossacs 2002. Held as Part of , Book 2303, (Paperback)
Lecture Notes in Computer Science A Hierarchical Associative Processing System, Book 195, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science A Hierarchical Associative Processing System, Book 195, (Paperback)
Lecture Notes in Computer Science Loglan '88 - Report on the Programming Language, Book 414, (Paperback) $60.29
$6029current price $60.29Lecture Notes in Computer Science Loglan '88 - Report on the Programming Language, Book 414, (Paperback)
Foundations of Surface Science 2nd Edition, (Paperback) $47.79
$4779current price $47.79Foundations of Surface Science 2nd Edition, (Paperback)
Studies in Fuzziness and Soft Computing Relational Methods for Computer Science Applications, Book 65, (Paperback) $54.99
$5499current price $54.99Studies in Fuzziness and Soft Computing Relational Methods for Computer Science Applications, Book 65, (Paperback)
Lecture Notes in Computer Science Automatic Differentiation: Techniques and Applications, Book 120, (Paperback) $41.72
$4172current price $41.72Lecture Notes in Computer Science Automatic Differentiation: Techniques and Applications, Book 120, (Paperback)
Lecture Notes in Computer Science Bounded Incremental Computation, Book 1089, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Bounded Incremental Computation, Book 1089, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
