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 - Tapa blanda

 
9783540196358: 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
Tapa blanda
ISBN 10: 3540196358 ISBN 13: 9783540196358
Editorial: Springer, 1990

Sinopsis

This volume contains the discussions, recommendations and conclusions resulting from a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, held in Halifax, Nova Scotia, Canada in July 1989. This workshop brought together representatives of research, commerce and government organizations from Canada, the Usa and the Uk. The main purpose of the workshop was to assess the role of formal methods in the development and fielding of trustworthy critical systems. The aims of the workshop were to assess the problems retarding the development of trustworthy critical systems, to determine the potential impact of applying formal methods techniques to the development of trustworthy critical systems, to determine the research required to facilitate a broader application of formal methods techniques, to identify "example systems" that would be useful in measuring the effectiveness of formal methods, and to identify how to improve international co-ordination and communication of formal methods research.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

Reseña del editor

This volume contains the discussions, recommendations and conclusions resulting from a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, held in Halifax, Nova Scotia, Canada in July 1989. This workshop brought together representatives of research, commerce and government organizations from Canada, the USA and the UK. The main purpose of the workshop was to assess the role of formal methods in the development and fielding of trustworthy critical systems. The aims of the workshop were to assess the problems retarding the development of trustworthy critical systems, to determine the potential impact of applying formal methods techniques to the development of trustworthy critical systems, to determine the research required to facilitate a broader application of formal methods techniques, to identify "example systems" that would be useful in measuring the effectiveness of formal methods, and to identify how to improve international co-ordination and communication of formal methods research.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
1990
Idioma
Inglés
ISBN 10 
3540196358
ISBN 13 
9783540196358
Encuadernación
Tapa blanda
Número de edición
1
Número de páginas
260
Editor
Summerskill Karen
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9781447135333: 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

Edición Destacada

ISBN 10:  1447135334 ISBN 13:  9781447135333
Editorial: Springer, 2014
Tapa blanda