2 options
Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques : Boca Raton, Florida, October 21-23, 1998 / sponsored by IEEE Computer Society, Technical Committee on Complexity in Computing, Florida Atlantic University.
- Format:
- Book
- Conference/Event
- Conference Name:
- Workshop on Industrial-Strength Formal Specification Techniques (2nd : 1998 : Boca Raton, Fla.)
- Language:
- English
- Subjects (All):
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Genre:
- Conference papers and proceedings.
- Physical Description:
- x, 143 pages : illustrations
- Other Title:
- Industrial Strength Formal Specification Techniques, 1998, proceedings, 2nd IEEE Workshop on.
- Place of Publication:
- Los Alamitos, CA : IEEE Computer Society, [1999]
- System Details:
- Mode of access: World Wide Web.
- text file
- Contents:
- What Does Industry Need from Formal Specification Techniques? / A. Hall 2
- Selection Criteria for Automated TTCN Test Case Generation from SDL / L. Mats 10
- Using the SCR* Toolset to Specify Software Requirements / C. Heitmeyer 12
- Applying SOFL to Specify a Railway Crossing Controller for Industry / S. Liu, M. Asuka, K. Komaya, Y. Nakamura 16
- Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems / K. Periyasamy, V. Alagar 28
- Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications / P. Dietz, T. Weigert, F. Weil 40
- Integrating Formal and Informal Specification Techniques. Why? How? 50
- Formal Methods for Developing High Assurance Computer Systems: Working Group Report 60
- A Discussion about Integrated Techniques 65
- The Industrial Use of Formal Methods: Was Darwin Right? / S. Miller 74
- AETG Web: A Web Based Service for Automatic Efficient Test Generation from Functional Requirements / S. Dalal, A. Jai, G. Patton, M. Rathi, P. Seymour 84
- T-VEC Product Summary / M. Blackburn 86
- Implementing Statecharts in PROMELA/SPIN / E. Mikk, Y. Lakhnech, M. Siegel, G. Holzmann 90
- Reasoning with UML Class Diagrams / A. Evans 102
- AutoLink: A Tool for Automatic Test Generation from SDL Specifications / B. Koch, J. Grabowski, D. Hogrefe, M. Schmitt 114
- Transferring Formal Methods Technology to Industry 128
- Incorporating Formal Methods into Industrial Processes 134
- Requirements for Industrial-Strength Formal Method Tools 137
- "Pushbutton" Analysis Via Integration of Industrial Tools with Formal Validation / M. Feather, J. Dunphy, N. Rouquette 140.
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 0769500811
- 9780769500812
- OCLC:
- 42861850
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.