Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems: An International Survey
暫譯: 正式方法在計算機系統建模、設計與分析中的工業應用:國際調查
Dan Craigen, Susan Gerhart
- 出版商: Noyes Data Corporati
- 出版日期: 1995-01-01
- 售價: $3,250
- 貴賓價: 9.5 折 $3,088
- 語言: 英文
- 頁數: 318
- 裝訂: Hardcover
- ISBN: 0815513623
- ISBN-13: 9780815513629
無法訂購
買這商品的人也買了...
-
$590$590 -
$3,360$3,192 -
$680$537 -
$500$395 -
$580$493 -
$650$618 -
$650$553 -
$850$723 -
$720$569 -
$800$680 -
$550$468 -
$300$237 -
$680$537 -
$1,000Digital Signal Processing Using MATLAB, 2/e (IE)
-
$600$480 -
$2,200$2,090 -
$580$493 -
$480$408 -
$490$382 -
$380$300 -
$650$553 -
$590$460 -
$1,180$1,003 -
$720$569 -
$420$357
商品描述
Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are representative of industrial-grade projects and span a variety of application domains. The study had three main objectives:
· To better inform deliberations within industry and government on standards and regulations;
· To provide an authoritative record on the practical experience of formal methods to date; and
À To suggest areas where future research and technology development are needed.
This study was undertaken by three experts in formal methods and software engineering: Dan Craigen of ORA Canada, Susan Gerhart of Applied Formal Methods, and Ted Ralston of Ralston Research Associates. Robin Bloomfield of Adelard was involved with the Darlington Nuclear Generating Station Shutdown System case.
Support for this study was provided by organizations in Canada and the United States. The Atomic Energy Control Board of Canada (AECB) provided support for Dan Craigen and for the technical editing provided by Karen Summerskill. The U.S. Naval Research Laboratories (NRL), Washington, DC, provided support for all three authors. The U.S. National Institute of Standards and Technology (NIST) provided support for Ted Ralston.
· To better inform deliberations within industry and government on standards and regulations;
· To provide an authoritative record on the practical experience of formal methods to date; and
À To suggest areas where future research and technology development are needed.
This study was undertaken by three experts in formal methods and software engineering: Dan Craigen of ORA Canada, Susan Gerhart of Applied Formal Methods, and Ted Ralston of Ralston Research Associates. Robin Bloomfield of Adelard was involved with the Darlington Nuclear Generating Station Shutdown System case.
Support for this study was provided by organizations in Canada and the United States. The Atomic Energy Control Board of Canada (AECB) provided support for Dan Craigen and for the technical editing provided by Karen Summerskill. The U.S. Naval Research Laboratories (NRL), Washington, DC, provided support for all three authors. The U.S. National Institute of Standards and Technology (NIST) provided support for Ted Ralston.
商品描述(中文翻譯)
正式方法是基於數學的技術,通常由推理工具支持,能夠提供一種嚴謹且有效的方式來建模、設計和分析計算機系統。本研究的目的是評估國際工業界在使用正式方法方面的經驗。所選案例代表了工業級項目,涵蓋了多種應用領域。該研究有三個主要目標:
· 更好地為工業和政府在標準和法規方面的討論提供資訊;
· 提供有關正式方法至今的實踐經驗的權威記錄;
· 建議未來研究和技術發展所需的領域。
本研究由三位正式方法和軟體工程的專家進行:來自ORA Canada的Dan Craigen、來自Applied Formal Methods的Susan Gerhart,以及來自Ralston Research Associates的Ted Ralston。Adelard的Robin Bloomfield參與了Darlington核電站停機系統案例的研究。
本研究得到了來自加拿大和美國的組織的支持。加拿大原子能控制委員會(AECB)為Dan Craigen及Karen Summerskill提供的技術編輯提供了支持。美國海軍研究實驗室(NRL),位於華盛頓特區,為所有三位作者提供了支持。美國國家標準與技術研究所(NIST)為Ted Ralston提供了支持。