Abstract is missing.
- What Does Industry Need From Formal Specification Techniques?Anthony Hall. 2 [doi]
- Selection Criteria for Automated TTCN Test Case Generation from SDLLars Mats. 10-11 [doi]
- Using the SCR* Toolset to Specify Software RequirementsConstance L. Heitmeyer. 12 [doi]
- Applying SOFL to Specify A Railway Crossing Controller for IndustryShaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura. 16-27 [doi]
- Adding Real-Time Filters to Object-Oriented Specification of Time Critical SystemsKasilingam Periyasamy, Vangalur S. Alagar. 28-39 [doi]
- Formal Techniques for Automatically Generating Marshalling Code from High-Level SpecificationsPaul Dietz, Thomas Weigert, Frank Weil. 40 [doi]
- Integrating Formal and Informal Specification Techniques. Why? How?Jean-Michel Bruel. 50 [doi]
- Formal Methods For Developing High Assurance Computer Systems: Working Group ReportMats Per Erik Heimdahl, Constance L. Heitmeyer. 60 [doi]
- A Discussion About Integrated TechniquesBetty H. C. Cheng. 65 [doi]
- The Industrial Use of Formal Methods: Was Darwin Right?Steven P. Mille. 74 [doi]
- AETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional RequirementsSiddhartha R. Dalal, Ashish Jain, Gardner C. Patton, Manish Rathi, Paul D. Seymour. 84-85 [doi]
- T-VECTM Product SummaryMark R. Blackburn. 86 [doi]
- Implementing Statecharts in PROMELA/SPINErich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann. 90-101 [doi]
- Reasoning with UML Class DiagramsAndy S. Evans. 102-113 [doi]
- Autolink: A Tool for Automatic Test Generation from SDL SpecificationsBeat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt II. 114 [doi]
- Transferring Formal Methods Technology to IndustryPatrice Godefroid, John Kelly, Steven P. Miller, Frank Weil. 128 [doi]
- WIFT 98 Working Group Report: Incorporating Formal Methods into Industrial ProcesseFrank Weil. 134 [doi]
- Requirements for Industrial-Strength Formal Method ToolsMark R. Blackburn, Robert Busser. 137 [doi]
- Pushbutton Analysis Via Integration Of Industrial Tools With Formal ValidationMartin S. Feather, Julia R. Dunphy, Nicolas Rouquette. 140 [doi]