Acknowledgements

Conference Committee (PDF)

pp. viii

Program Committee Members (PDF)

pp. ix

Working Group Participants (PDF)

pp. x

Keynote Speaker I

What Does Industry Need From Formal Specification Techniques? (Abstract)

Anthony Hall, Praxis Critical Systems

pp. 2

PDF

Tools Session I:

Selection Criteria for Automated TTCN Test Case Generation from SDL (Abstract)

Lars Mats, Telelogic, Inc.

pp. 10

PDF

Using the SCR* Toolset to Specify Software Requirements (Abstract)

Constance Heitmeyer, Naval Research Laboratory

pp. 12

PDF

Paper Session I:

Applying SOFL to Specify A Railway Crossing Controller for Industry (Abstract)

pp. 16

PDF

Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems (Abstract)

K. Periyasamy, University of Manitoba

V.S. Alagar, Concordia University

pp. 28

PDF

Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications (Abstract)

Paul Dietz, Motorola Labs

Thomas Weigert, Motorola Labs

Frank Weil, Motorola Labs

pp. 40

PDF

Integrating Formal and Informal Specification Techniques. Why? How?

Integrating Formal and Informal Specification Techniques. Why? How? (Abstract)

Chair: Jean-Michel Bruel, Universit de Pau et des Pays de l'Adour

pp. 50

PDF

Formal Methods for Developing High Assurance Computer Sytems: Working Group Report

Formal Methods For Developing High Assurance Computer Systems: Working Group Report (Abstract)

Mats P.E. Heimdahl, University of Minnesota

Constance L. Heitmeyer, Naval Research Laboratory

pp. 60

PDF

A Discussion about Integrated Techniques

A Discussion About Integrated Techniques (Abstract)

Betty H.C. Cheng, Michigan State University

pp. 65

PDF

Keynote Speaker II

The Industrial Use of Formal Methods: Was Darwin Right? (Abstract)

Steven P. Miller, Rockwell Collins

pp. 74

PDF

Tools II:

AETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional Requirements (Abstract)

Siddhartha R. Dalal, Bellcore

Ashish Jain, Bellcore

Gardner Patton, Bellcore

Manish Rathi, Bellcore

Paul Seymour, Bellcore

pp. 84

PDF

T-VECTM Product Summary (Abstract)

M. Blackburn

pp. 86

PDF

Paper Session II:

Implementing Statecharts in PROMELA/SPIN (Abstract)

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

PDF

Reasoning with UML Class Diagrams (Abstract)

Andy S. Evans, University of York

pp. 102

PDF

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

Beat Koch, University of L?

Jens Grabowski, University of L?

Dieter Hogrefe, University of L?

Michael Schmitt, University of L?

pp. 114

PDF

Transferring Formal Methods Technology to Industry

Transferring Formal Methods Technology to Industry (Abstract)

pp. 128

PDF

Incorporating Formal Methods into Industrial Processes

WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processes (Abstract)

Frank Weil, Motorola Labs

pp. 134

PDF

Requirements for Industrial-Strength Formal Method Tools

Requirements for Industrial-Strength Formal Method Tools (Abstract)

Mark R. Blackburn, Software Productivity Consortium

Robert D. Busser, Motorola

pp. 137

PDF

Position Paper:

"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation (Abstract)

pp. 140

PDF

Author Index (PDF)

pp. 143