Willkommen, schön sind Sie da!
Logo Ex Libris

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

  • E-Book (pdf)
  • 318 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective wa... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 65.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.

Beschreibung

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.

Produktinformationen

Titel: Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
Autor:
EAN: 9781437728170
Digitaler Kopierschutz: Adobe-DRM
Format: E-Book (pdf)
Hersteller: Elsevier Reference Monographs
Genre: Sonstiges
Anzahl Seiten: 318
Veröffentlichung: 01.01.1995
Dateigrösse: 35.6 MB