Abstraction and Specification in Program Development

3.33 avg rating
( 3 ratings by Goodreads )
 
9780262121125: Abstraction and Specification in Program Development
View all copies of this ISBN edition:
 
 

"Abstraction and Specification in Program Development" offers professionals in program design and software engineering a methodology that will enable them to construct programs that are reliable and reasonably easy to understand, modify, and maintain. Good programming involves the systematic mastery of complexity, and this book provides the first unified treatment of the techniques of abstraction and specification, which, the authors argue, are the linchpin of any effective approach to programming. They place particular emphasis on the use of data abstraction to produce highly modular programs.The authors focus on the process of decomposing large program projects into independent modules that can be assigned to independent working groups. They discuss methods of decomposition, the kinds of modules that are most useful in this process, and techniques to increase the likelihood that modules produced can in fact be recombined to solve the original programming problem. There are many examples of abstractions throughout the text, and each chapter ends with pertinent references and exercises.Most of the sample implementations in the book are written in CLU, one of a growing number of languages able to support data abstraction. Sufficient material is included, however, to allow the reader to work in Pascal as well.The material in this book was developed by the authors during a decade of teaching undergraduate, graduate, and professional-level courses. Barbara Liskov, the developer of CLU, is Professor and John Guttag an Associate Professor of Computer Science at MIT. "Abstraction and Specification in Program Development" is included in the MIT Electrical Engineering and Computer Science series.

"synopsis" may belong to another edition of this title.

Synopsis:

Abstraction and Specification in Program Development offers professionals in program design and software engineering a methodology that will enable them to construct programs that are reliable and reasonably easy to understand, modify, and maintain. Good programming involves the systema

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780070379961: Abstraction and Specification in Program Development (Mh-Mit Series)

Featured Edition

ISBN 10:  0070379963 ISBN 13:  9780070379961
Publisher: McGraw-Hill, 1986
Hardcover

Top Search Results from the AbeBooks Marketplace

Stock Image

1.

Liskov, Barbara, Guttag, John V.
Published by The MIT Press (1986)
ISBN 10: 0262121123 ISBN 13: 9780262121125
New Hardcover Quantity Available: 2
Seller:
Murray Media
(NORTH MIAMI BEACH, FL, U.S.A.)

Book Description The MIT Press, 1986. Hardcover. Condition: New. Never used!. Seller Inventory # P110262121123

More information about this seller | Contact this seller

Buy New
66.43
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds
Stock Image

2.

Barbara Liskov
Published by The MIT Press (1986)
ISBN 10: 0262121123 ISBN 13: 9780262121125
New Hardcover Quantity Available: 1
Seller:
Books Express
(Portsmouth, NH, U.S.A.)

Book Description The MIT Press, 1986. Hardcover. Condition: New. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. Buy with confidence, excellent customer service!. Seller Inventory # 0262121123n

More information about this seller | Contact this seller

Buy New
276.46
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds