Proceedings of the ACM SIGSOFT '89
Author : Richard A. Kemmerer
Publisher : Association for Computing Machinery (ACM)
Page : 678 pages
File Size : 36,6 MB
Release : 1989
Category : Computer science
ISBN :
Author : Richard A. Kemmerer
Publisher : Association for Computing Machinery (ACM)
Page : 678 pages
File Size : 36,6 MB
Release : 1989
Category : Computer science
ISBN :
Author :
Publisher :
Page : pages
File Size : 37,37 MB
Release : 1999
Category : Computer software
ISBN :
Author : ACM Sigsoft '89
Publisher :
Page : pages
File Size : 43,45 MB
Release : 1989
Category :
ISBN :
Author : Mary Jean Harrold
Publisher :
Page : 369 pages
File Size : 36,49 MB
Release : 2008
Category : Computer science
ISBN : 9781595939951
Author :
Publisher :
Page : pages
File Size : 30,29 MB
Release : 2006
Category :
ISBN : 9781595934680
Author : Association for Computing Machinery
Publisher :
Page : pages
File Size : 19,72 MB
Release : 1900*
Category :
ISBN :
Author :
Publisher :
Page : pages
File Size : 23,86 MB
Release : 1992
Category :
ISBN :
Author : Association for Computing Machinery
Publisher :
Page : 399 pages
File Size : 23,92 MB
Release : 1989
Category :
ISBN :
Author :
Publisher :
Page : pages
File Size : 19,1 MB
Release : 1989
Category :
ISBN :
Author : Dan Craigen
Publisher : Springer Science & Business Media
Page : 246 pages
File Size : 14,7 MB
Release : 2013-11-11
Category : Computers
ISBN : 1447135326
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.