Mendeley出力
＜図書＞
Abstraction and specification in program development
| 責任表示 | Barbara Liskov and John Guttag |
|---|---|
| シリーズ | The MIT electrical engineering and computer science series |
| データ種別 | 図書 |
| 出版情報 | Cambridge, Mass. : MIT Press New York : McGraw-Hill , c1986 |
| 本文言語 | 英語 |
| 大きさ | xv, 469 p. ; 24 cm |
| 概要 | 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 rea...onably 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. 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. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | K/Lis | 1986 |
|
068252187002224 |
|
書誌詳細
| 一般注記 | Includes index |
|---|---|
| 著者標目 | *Liskov, B. Guttag, John |
| 件 名 | LCSH:Electronic digital computers -- Programming 全ての件名で検索 |
| 分 類 | LCC:QA76.6 DC19:005.1/2 |
| 書誌ID | 1001132955 |
| ISBN | 0262121123 |
| NCID | BA00079365 |
| 巻冊次 | : MIT Press ; ISBN:0262121123 : McGraw-Hill ; ISBN:0070379963 |
| 登録日 | 2009.09.17 |
| 更新日 | 2009.09.17 |