Cantitate/Preț
Produs

Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada: Workshops in Computing

Karen Summerskill Editat de Dan Craigen
en Limba Engleză Paperback – 19 noi 1990
The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com­ puter Systems (FM89} was an invitational workshop that brought together repre­ sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States. The workshop was held in Halifax, Nova Scotia, Canada, from July 23 through July 27, 1989. This document reports the activities, observations, recommendations and conclusions resulting. from FM89. 1. 1 Purpose of Workshop The primary purpose for holding FM89 was to assess the role of formal methods in the development and fielding of trustworthy critical systems. The need for this assessment was predicated upon four observations: 1. Critical systems are increasingly being controlled by computer systems; 2. Existing techniques for developing, assuring and certifying computer-based critical systems are inadequate; 3. Formal methods have the potential for playing the same role in the devel­ opment of computer-based systems as applied mathematics does for other engineering disciplines; and 4. Formal methods have had limited impact on the development of comput- based systems and supporting technologies. · The goal of the workshop was to complete the following tasks: 1. Assess the problems retarding the development of trustworthy critical systems; 2. Determine the (potential) impact of applying formal methods techniques to the development of trustworthy critical systems; 3. Determine the research and development required to facilitate a broader ap­ plication of formal methods techniques; 4.
Citește tot Restrânge

Din seria Workshops in Computing

Preț: 32570 lei

Preț vechi: 40713 lei
-20% Nou

Puncte Express: 489

Preț estimativ în valută:
6234 6480$ 5164£

Carte tipărită la comandă

Livrare economică 05-19 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540196358
ISBN-10: 3540196358
Pagini: 260
Ilustrații: X, 248 p. 1 illus.
Dimensiuni: 170 x 244 x 14 mm
Greutate: 0.42 kg
Ediția:1st Edition.
Editura: SPRINGER LONDON
Colecția Springer
Seria Workshops in Computing

Locul publicării:London, United Kingdom

Public țintă

Research

Cuprins

1 Introduction.- 2 Workshop Organization.- 3 Critical Systems.- 4 Formal Methods.- 5 Reports From Working Groups.- 6 Concluding Discussions.- 7 Conclusions and Recommendations.- A Participants.- B Potential Applications for Formal Methods.- C Respondents’ Papers.- C.1 Formal Methods and Critical Systems in the Real World.- C.2 Whither Formal Methods?.- D Illustrative Risks to the Public in the Use of Computer Systems and Related Technology.- E A Survey of Formal Methods and Techniques.- F Acronyms.- G Copyrights and Trademarks.- References.