The Community for Technology Leaders
RSS Icon
Subscribe
Industrial-Strength Formal Specification Techniques, Workshop on (1998)
Boca Raton, Florida
Oct. 20, 1998 to Oct. 23, 1998
ISBN: 0-7695-0081-1
TABLE OF CONTENTS
pp. vii
Keynote Speaker I
Tools Session I:
Paper Session I:
Integrating Formal and Informal Specification Techniques. Why? How?
Chair: Jean-Michel Bruel , Universit de Pau et des Pays de l'Adour
pp. 50
Formal Methods for Developing High Assurance Computer Sytems: Working Group Report
A Discussion about Integrated Techniques
Betty H.C. Cheng , Michigan State University
pp. 65
Keynote Speaker II
Tools II:
Paper Session II:
Erich Mikk , Christian-Albrechts Universit?t zu Kiel
Yassine Lakhnech , Christian-Albrechts Universit?t zu Kiel
Michael Siegel , Christian-Albrechts Universit?t zu Kiel
Gerard J. Holzmann , Bell Laboratories
pp. 90
Andy S. Evans , University of York
pp. 102
Beat Koch , University of L?
Jens Grabowski , University of L?
Dieter Hogrefe , University of L?
Michael Schmitt , University of L?
pp. 114
Transferring Formal Methods Technology to Industry
Incorporating Formal Methods into Industrial Processes
Requirements for Industrial-Strength Formal Method Tools
Mark R. Blackburn , Software Productivity Consortium
Robert D. Busser , Motorola
pp. 137
Position Paper:
Author Index (PDF)
pp. 143
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool