2. WIFT 1998: Boca Raton, FL, USA
2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA. IEEE Computer Society 1998 ISBN 0-7695-0081-1
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
Position Paper
- Martin S. Feather, Julia R. Dunphy, Nicolas Rouquette: "Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation. 140-
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team