The Community for Technology Leaders
Industrial-Strength Formal Specification Techniques, Workshop on (1998)
Boca Raton, Florida
Oct. 20, 1998 to Oct. 23, 1998
ISBN: 0-7695-0081-1

Acknowledgements (PDF)

pp. vii
Keynote Speaker I
Tools Session I:
Paper Session I:
Integrating Formal and Informal Specification Techniques. Why? How?
Formal Methods for Developing High Assurance Computer Sytems: Working Group Report
A Discussion about Integrated Techniques

A Discussion About Integrated Techniques (Abstract)

Betty H.C. Cheng , Michigan State University
pp. 65
Keynote Speaker II
Tools II:
Paper Session II:

Implementing Statecharts in PROMELA/SPIN (Abstract)

Michael Siegel , Christian-Albrechts Universit?t zu Kiel
Gerard J. Holzmann , Bell Laboratories
Erich Mikk , Christian-Albrechts Universit?t zu Kiel
Yassine Lakhnech , Christian-Albrechts Universit?t zu Kiel
pp. 90

Reasoning with UML Class Diagrams (Abstract)

Andy S. Evans , University of York
pp. 102

Autolink: A Tool for Automatic Test Generation from SDL Specifications (Abstract)

Jens Grabowski , University of L?
Beat Koch , University of L?
Michael Schmitt , University of L?
Dieter Hogrefe , University of L?
pp. 114
Transferring Formal Methods Technology to Industry
Incorporating Formal Methods into Industrial Processes
Requirements for Industrial-Strength Formal Method Tools

Requirements for Industrial-Strength Formal Method Tools (Abstract)

Robert D. Busser , Motorola
Mark R. Blackburn , Software Productivity Consortium
pp. 137
Position Paper:

Author Index (PDF)

pp. 143
101 ms
(Ver 3.1 (10032016))