Software engineering with B

著者

• Wordsworth, J. B.

書誌事項

Software engineering with B

J.B. Wordsworth

（International computer science series）

Addison-Wesley, c1996

注記

Includes bibliographical references (p. 306-309) and index

内容説明・目次

内容説明

This is the definitive guide to software engineering with B - the generic name for the software development method, invented by Jean-Raymond Abrial, and for the language and CASE tool developed by B-Core (UK) Ltd. It is almost unique among such methods in that it uses a single notation for specification, design and programming. Using tutorial examples, this practical guide can be applied to the whole software engineering life cycle. An accompanying disk allows the reader to experiment with program examples.

目次

1. Introduction 2. Structure of A Simple Machin 3. The Class Manager&csq.s assistan 4. Deferred Sets and Non-determinis 5. Constructing Large Machine 6. More Substitutions for Machine 7. Software Desig 8. Implementation 9. API-layer Machines and their Implementation 10. Refinement Appendix A - Review of Discrete Mathematic Appendix B - Summary Table Appendix C - Library Machines

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA29673506
• ISBN:
  • 0201403560
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Harlow ; Tokyo
• ページ数/冊数: xv, 331 p.
• 大きさ: 24 cm
• 付属資料: 1 computer disk ( 3 1/2 in. )
• 分類:
  • DC20 : 005.133
• 親書誌ID:
  • BA00203522