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,240
- 貴賓價: 9.5 折 $3,078
- 語言: 英文
- 頁數: 318
- 裝訂: Hardcover
- ISBN: 0815513623
- ISBN-13: 9780815513629
海外代購書籍(需單獨結帳)
買這商品的人也買了...
-
C++ Builder 6 程式設計快樂上手$590$590 -
Unix Systems Programming: Communication, Concurrency and Threads, 2/e (Hardcover)$3,140$2,983 -
演算法使用 C++ 虛擬碼 (Foundations of Algorithms Using C++ Pseudocode, 3/e)$680$537 -
Java Pitfalls 中文版 (Java Pitfalls)$500$395 -
Linux Mail Server 技術實務─架設、稽核、防毒、防垃圾信$580$493 -
工程電磁學 (Engineering Electromagnetics, 7/e)$650$618 -
Microsoft Visual C# 2008 精研講座$650$553 -
Microsoft ADO.NET 3.5 精研講座$850$723 -
聖殿祭司的 ASP.NET 2.0 專家技術手冊─使用 C#, 2/e$720$569 -
Head First 深入淺出 HTML、CSS 與 XHTML (Head First HTML with CSS & XHTML)$800$680 -
Microsoft LINQ 最佳實務講座$550$468 -
邏輯思考的技術$300$237 -
C 語法暨程式庫標準辭典 (C In A Nutshell: A Desktop Quick Reference)$680$537 -
$969Digital Signal Processing Using MATLAB, 2/e (IE) -
現代嵌入式系統開發專案實務－菜鳥成長日誌與專案經理的私房菜$600$480 -
Web Data Mining: Exploring Hyperlinks, Contents, and Usage Data 2/e(Hardcover)$2,560$2,432 -
CSS 設計點子爆米花$580$493 -
Flash CS3 ActionScript 3.0 打造互動網頁的力與美$480$408 -
最新詳解 JavaScript & HTML & CSS 語法辭典(增訂第三版)$490$382 -
Peopleware：腦力密集產業的人才管理之道 (Peopleware: Productive Projects and Teams, 2/e)$380$300 -
Fedora 8 Linux 架站實務$650$553 -
VBScript 500 個活用範例 Windows 自動化技術大全 for Vista/XP/2000$590$460 -
CCNA 認證教戰手冊 (CCNA: Cisco Certified Network Associate Study Guide (Exam 640-802), 6/e)$1,180$1,003 -
Java SE6 全方位學習$720$569 -
Mac 問題追緝令－Leopard、Tiger 全適用$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.
