ENGLISH

FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

By C. B. Jones (auth.) , James C. P. Woodcock , Peter G. Larsen (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1993
ISBN
3540566627, 9783540566625
DOI
10.1007/BFb0024633
LCC
QA76.76.D47 I593 1993
Open Library ID
OL1396207M
Language
english
Format
DJVU
Filesize
6 MB (6452772 bytes)
Series
Lecture Notes in Computer Science 670
Edition
1
Pages
695\701
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16
Programming Techniques; Software Engineering; Logi

Description

The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions.

Similar books