Specification of Abstract Data Types (Wiley Teubner on Applicable Theory in Computer Science)

Loeckx, Jacques; Ehrich, Hans-Dieter; Wolf, Markus

ISBN 10: 047195067X / ISBN 13: 9780471950677

Published by Wiley, 1996

About this Item

Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.

Seller Inventory # OTV.047195067X.VG

Bibliographic Details

• Title: Specification of Abstract Data Types (Wiley Teubner on Applicable Theory in Computer Science)
• Publisher: Wiley
• Publication Date: 1996
• Language: English
• ISBN 10: 047195067X
• ISBN 13: 9780471950677
• Binding: Hardcover
• Condition: very_good

About this title

Synopsis

Specification 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.

From the Publisher

This book aims to provide college professors, software developers, and researchers with an authoritative introduction to the mathematical foundations of program specification, covering important topics such as logic semantics, and term writing techniques. Dealing with the mathematical foundations of ADTs, this book distinguishes between logic-based models and algebraic methods. The final chapter deals with practical applications of specification techniques, based on a major case study. Includes exercises.