2. WIFT 1998: Boca Raton, FL, USA

@proceedings{DBLP:conf/wift/1998,
  title     = {2nd Workshop on Industrial-Strength Formal Specification Techniques
               (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA},
  booktitle = {WIFT},
  publisher = {IEEE Computer Society},
  year      = {1998},
  isbn      = {0-7695-0081-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote Speaker I

• Anthony Hall:
  What Does Industry Need From Formal Specification Techniques? 2-
  

Tools Session I

• Lars Mats:
  Selection Criteria for Automated TTCN Test Case Generation from SDL. 10-11
  
• Constance L. Heitmeyer:
  Using the SCR* Toolset to Specify Software Requirements. 12-
  

Paper Session I

• Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura:
  Applying SOFL to Specify A Railway Crossing Controller for Industry. 16-27
  
• Kasilingam Periyasamy, Vangalur S. Alagar:
  Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. 28-39
  
• Paul Dietz, Thomas Weigert, Frank Weil:
  Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications. 40-
  

Integrating Formal and Informal Specification Techniques. Why? How?

• Jean-Michel Bruel:
  Integrating Formal and Informal Specification Techniques. Why? How? 50-
  

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

• Mats Per Erik Heimdahl, Constance L. Heitmeyer:
  Formal Methods For Developing High Assurance Computer Systems: Working Group Report. 60-
  

A Discussion about Integrated Techniques

• Betty H. C. Cheng:
  A Discussion About Integrated Techniques. 65-
  

Keynote Speaker II

• Steven P. Mille:
  The Industrial Use of Formal Methods: Was Darwin Right? 74-
  

Tools II

• Siddhartha R. Dalal, Ashish Jain, Gardner C. Patton, Manish Rathi, Paul D. Seymour:
  AETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional Requirements. 84-85
  
• Mark R. Blackburn:
  T-VECTM Product Summary. 86-
  

Paper Session II

• Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann:
  Implementing Statecharts in PROMELA/SPIN. 90-101
  
• Andy S. Evans:
  Reasoning with UML Class Diagrams. 102-113
  
• Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt II:
  Autolink: A Tool for Automatic Test Generation from SDL Specifications. 114-
  

Panel: Transferring Formal Methods Technology to Industry

• Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil:
  Transferring Formal Methods Technology to Industry. 128-
  

Incorporating Formal Methods into Industrial Processes

• Frank Weil:
  WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processe. 134-
  

Requirements for Industrial-Strength Formal Method Tools

• Mark R. Blackburn, Robert Busser:
  Requirements for Industrial-Strength Formal Method Tools. 137-
  

Position Paper

• Martin S. Feather, Julia R. Dunphy, Nicolas Rouquette:
  "Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation. 140-