MOMENTAN AUSVERKAUFT
Über dieses Produkt
Product Identifiers
PublisherWiley & Sons, Incorporated, John
ISBN-10047195067X
ISBN-139780471950677
eBay Product ID (ePID)9038301706
Product Key Features
Number of Pages272 Pages
LanguageEnglish
Publication NameSpecification of Abstract Data Types
SubjectProgramming Languages / General, Computer Science
Publication Year1996
TypeTextbook
AuthorMarkus Wolf, Jacques Loeckx, Hans-Dieter Ehrich
Subject AreaComputers
SeriesWiley Teubner on Applicable Theory in Computer Science Ser.
FormatHardcover
Dimensions
Item Height0.8 in
Item Weight25 Oz
Item Length9.4 in
Item Width7.6 in
Additional Product Features
Edition Number1
Intended AudienceScholarly & Professional
LCCN96-032367
Dewey Edition20
IllustratedYes
Dewey Decimal005.73
Table Of ContentSoftware Design, Data Types and Specification.FUNDAMENTAL TOOLS.Many-Sorted-Algebras.Structuring Algebras.Algebras for Different Signatures.Logic.SPECIFICATION-IN-THE-SMALL.Loose Specifications.Initial Specifications.Constructive Specifications.SPECIFICATIONS-IN-THE-LARGE.Specification Languages.Modularization and Parameterization.A Case Study.FURTHER TOPICS.Further Topics.Bibliography.References.Symbols.Index.
SynopsisSpecification of Abstract Data Types provides an authoritative introduction to the mathematical foundations of algebraic program specification. Unlike most other publications on the subject, this book does not draw on category theory, but instead tries to demystify the topic and promote its use in practical applications. It clearly distinguishes between the study of algebras, logic, specification methods and specification languages and it avoids focusing on a particular logic or a particular specification method. After an informal discussion on the design of reliable software, the book presents the main notions and properties of algebras. Next it investigates logic, introducing a general notion of logic, encompassing those commonly used. On the basis of these fundamentals it describes in some detail three specification methods and the principles of specification languages. It concludes with a case study illustrating the use of abstract data type specification in software design. While treating the subject with mathematical precision, the book contains numerous examples, exercises and comments to provide a deeper understanding of concepts discussed. It was conceived as a student textbook but will also be a useful source of reference for researchers and developers using formal specification methods for software design.
LC Classification NumberQA76.9.A23L63 1996
