default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. 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 H. 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:
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-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-26 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
