Mendeley出力
＜図書＞
Constructing correct software : the basics
| 責任表示 | John Cooke |
|---|---|
| シリーズ | Formal approaches to computing and information technology (FACIT) |
| データ種別 | 図書 |
| 出版情報 | London : Springer , c1998 |
| 本文言語 | 英語 |
| 大きさ | xiii, 395 p. ; 24 cm |
| 概要 | Constructing Correct Software - The Basics illustrates and explains the constructive approach to software development. This approach involves calculating an answer from the initial statement of requi...ements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained, and therefore no incorrect work needs to be discarded. John Cooke has based this book on material which has been used to teach the topic extensively at Loughborough University. It has been carefully written to be accessible to anyone with an appropriate basic background knowledge of formal methods. It is intended for 3rd/4th year undergraduate and postgraduate students on formal methods and software engineering courses, and software developers in industry who need a more pragmatic, yet fully formal, approach to software development. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
pbk. : alk. paper | 理系図1F 開架 | 007.63/C 87 | 1998 |
|
026211998001633 |
|
書誌詳細
| 一般注記 | Includes index |
|---|---|
| 著者標目 | *Cooke, D. J. (Derek John), 1947- |
| 件 名 | LCSH:Computer software -- Development 全ての件名で検索 |
| 分 類 | LCC:QA76.76.D47 DC21:005.1/4/0151 |
| 書誌ID | 1001209494 |
| ISBN | 354076156X |
| NCID | BA37468998 |
| 巻冊次 | pbk. : alk. paper ; ISBN:354076156X |
| 登録日 | 2009.09.18 |
| 更新日 | 2009.09.18 |