| 书目名称 | Software Engineering with OBJ | | 副标题 | Algebraic Specificat | | 编辑 | Joseph Goguen,Grant Malcolm | | 视频video | | | 丛书名称 | Advances in Formal Methods | | 图书封面 |  | | 描述 | .Software Engineering with OBJ: Algebraic Specification inAction. is a comprehensive introduction to OBJ, the most widely usedalgebraic specification system. As a formal specification language,OBJ makes specifications and designs more precise and easier to read,as well as making maintenance easier and more accurate. OBJ differsfrom most other specification languages not just in having a formalsemantics, but in being executable, either through symbolic executionwith term rewriting, or more generally through theorem proving. Oneproblem with specifications is that they are often wrong. OBJ can helpvalidate specifications by executing test cases, and by provingproperties. .As well as providing a detailed introduction to the language and theOBJ system that implements it, .Software Engineering with OBJ:..Algebraic Specification in Action. provides case studies byleading practitioners in the field, in areas such as computer graphicsstandards, hardware design, and parallel computation. The case studiesdemonstrate that OBJ can be used in a wide variety of ways to achievea wide variety of practical aims in the system development process.The papers on various OBJ systems also demonstrate that | | 出版日期 | Book 2000 | | 关键词 | Hardware; algebra; computer; computer graphics; design; formal specification; language; programming; program | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4757-6541-0 | | isbn_softcover | 978-1-4419-4965-3 | | isbn_ebook | 978-1-4757-6541-0Series ISSN 1567-7338 | | issn_series | 1567-7338 | | copyright | Springer Science+Business Media New York 2000 |
The information of publication is updating
|
|
发表于 2025-3-21 18:40:18
