Fundamentals of Algebraic Specification 2
Module Specifications and Constraints
Our rough guess is there are 106,750 words in this book.
At a pace averaging 250 words per minute, this book will take 7 hours and 7 minutes to read. With a half hour per day, this will take 14 days to read.
How long will it take you?
This book will take an estimated to read at a reading speed averaging words per minute. With 30 minutes per day, this will take to read.
Enter your reading speedYou can take one of our WPM reading speed tests to find your reading speed.
Create a free account to track your reading progress, build your reading list, and set reading goals.
Author
Contributions
- Mahr, B. (Bernd) - Contributor
Publication
1990 - Springer Berlin Heidelberg, Berlin, Heidelberg, Germany
Language
English
Word Count
106,750 words, Guess
Page Count
427 pages
Physical Format
Electronic resource
Identifiers
- Internet Archivefundamentalsalge00ehri_846
- ISBN-103642612849
- ISBN-139783642612848
- OCLC Control Number840293600
- Better World Books9783642612848
and 1 more
- Open LibraryOL27040282M
Classifications
- LCCQA150-272
Description
Two important new concepts, module specifications and constraints, are introduced in this second volume of a three-volume set on fundamentals of algebraic specification. These concepts are motivated by problems in practical software development and are studied here from a theoretical point of view. Modularization is one of the main structuring principles in software development. Modules and module specifications can be seen as the basic building blocks which are used in modularization of software systems and software system specification. Constraints are introduced to increase the expressive power of algebraic specifications in order to make them more useful for practical applications. The book is suitable both as a textbook for graduate courses in formal specification of data types and software systems and as a reference for researchers and system developers.
Subjects
Series Statement
- EATCS Monographs on Theoretical Computer Science, 1431-2654 -- 21
- EATCS monographs on theoretical computer science -- 21.
Links
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!