Coverart for item
The Resource Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings, Dieter Hutter [and others]

Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings, Dieter Hutter [and others]

Label
Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings
Title
Applied formal methods--FM-Trends 98
Title remainder
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings
Statement of responsibility
Dieter Hutter [and others]
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Dewey number
005.13/1
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F67
LC item number
I59 1998
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1998
http://bibfra.me/vocab/lite/meetingName
International Workshop on Current Trends in Applied Formal Methods
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Hutter, Dieter
Series statement
Lecture notes in computer science,
Series volume
1641
http://library.link/vocab/subjectName
Formal methods (Computer science)
Label
Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings, Dieter Hutter [and others]
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • ... [et al.]
  • Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
  • Alfons Geser and Wolfgang Kuchlin
  • Automated Test Set Generation for Statecharts
  • K. Bogdanov, M. Holcombe and H. Singh
  • Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct
  • Wolfgang Goerigk and Ulrich Hoffmann
  • Translation Validation: From DC+ to C
  • A. Pnueli, O. Shtrichman and M. Siegel
  • A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems
  • High Level System Design and Analysis Using Abstract State Machines
  • Satoshi Yamane
  • A Lightweight Approach to Formal Methods
  • Sten Agerholm and Peter Gorm Larsen
  • An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools
  • Robert Bussow, Wolfgang Grieskamp and Winfried Heicking
  • [et al.]
  • Integrating Domain Specific Language Design in the Software Life Cycle
  • Philipp W. Kutter, Daniel Schweizer and Lothar Thiele
  • Flexible and Reliable Process Model Properties: An Integrated Approach
  • Tiziana Margaria and Volker Gruhn
  • Egon Borger
  • A Symbolic Model Checker for ACTL
  • A. Fantechi, S. Gnesi and F. Mazzanti
  • [et al.]
  • Critical Systems Validation and Verification with CSP and FDR
  • Michael Goldsmith and Irfan Zakiuddin
  • UniForM Perspectives for Formal Methods
  • Bernd Krieg-Bruckner
  • The UniForM WorkBench -- A Higher Order Tool Integration Framework
  • Einar W. Karlsen
  • Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol
  • Enriching the Software Development Process by Formal Methods
  • Masahiro Fujita, Sree P. Rajan and Alan Hu
  • Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier
  • Meinc van der Meulen and Tim Clement
  • The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process
  • Frank Koob, Markus Ullmann and Stefan Wittmann
  • Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture
  • Giuseppe Del Castillo
  • The IFAD VDM Tools: Lightweight Formal Methods
  • Sten Agerholm and Peter Gorm Larsen
  • KIV 3.0 for Provably Correct Systems
  • Manfred Broy and Oscar Slotosch
  • Michael Balser, Wolfgang Reif and Gerhard Schellhorn
  • [et al.]
  • PVS: An Experience Report
  • S. Owre, J.M. Rushby and N. Shankar
  • [et al.]
  • QUEST: Overview over the Project
  • Oscar Slotosch
  • VSE: Controlling the Complexity in Formal Software Developments
  • Dieter Hutter, Heiko Mantel and Georg Rock
  • [et al.]
  • Formal Program Development in Geometric Modeling
  • The wHOLe System
  • Mark E. Woodcock
  • Z/EVES Version 1.5: An Overview
  • ORA Canada
  • Francois Puitg and Jean-Francois Dufourd
  • Design of Distributed Multimedia Applications (DAMD)
  • Wanderley Lopes de Souza, Paulo Nazareno Maia Sampaio and Jean-Marie Farines
Control code
42296292
Dimensions
24 cm
Extent
xi, 376 pages
Isbn
9783540664628
Isbn Type
(softcover : alk. paper)
Lccn
99044590
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Label
Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings, Dieter Hutter [and others]
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • ... [et al.]
  • Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
  • Alfons Geser and Wolfgang Kuchlin
  • Automated Test Set Generation for Statecharts
  • K. Bogdanov, M. Holcombe and H. Singh
  • Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct
  • Wolfgang Goerigk and Ulrich Hoffmann
  • Translation Validation: From DC+ to C
  • A. Pnueli, O. Shtrichman and M. Siegel
  • A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems
  • High Level System Design and Analysis Using Abstract State Machines
  • Satoshi Yamane
  • A Lightweight Approach to Formal Methods
  • Sten Agerholm and Peter Gorm Larsen
  • An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools
  • Robert Bussow, Wolfgang Grieskamp and Winfried Heicking
  • [et al.]
  • Integrating Domain Specific Language Design in the Software Life Cycle
  • Philipp W. Kutter, Daniel Schweizer and Lothar Thiele
  • Flexible and Reliable Process Model Properties: An Integrated Approach
  • Tiziana Margaria and Volker Gruhn
  • Egon Borger
  • A Symbolic Model Checker for ACTL
  • A. Fantechi, S. Gnesi and F. Mazzanti
  • [et al.]
  • Critical Systems Validation and Verification with CSP and FDR
  • Michael Goldsmith and Irfan Zakiuddin
  • UniForM Perspectives for Formal Methods
  • Bernd Krieg-Bruckner
  • The UniForM WorkBench -- A Higher Order Tool Integration Framework
  • Einar W. Karlsen
  • Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol
  • Enriching the Software Development Process by Formal Methods
  • Masahiro Fujita, Sree P. Rajan and Alan Hu
  • Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier
  • Meinc van der Meulen and Tim Clement
  • The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process
  • Frank Koob, Markus Ullmann and Stefan Wittmann
  • Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture
  • Giuseppe Del Castillo
  • The IFAD VDM Tools: Lightweight Formal Methods
  • Sten Agerholm and Peter Gorm Larsen
  • KIV 3.0 for Provably Correct Systems
  • Manfred Broy and Oscar Slotosch
  • Michael Balser, Wolfgang Reif and Gerhard Schellhorn
  • [et al.]
  • PVS: An Experience Report
  • S. Owre, J.M. Rushby and N. Shankar
  • [et al.]
  • QUEST: Overview over the Project
  • Oscar Slotosch
  • VSE: Controlling the Complexity in Formal Software Developments
  • Dieter Hutter, Heiko Mantel and Georg Rock
  • [et al.]
  • Formal Program Development in Geometric Modeling
  • The wHOLe System
  • Mark E. Woodcock
  • Z/EVES Version 1.5: An Overview
  • ORA Canada
  • Francois Puitg and Jean-Francois Dufourd
  • Design of Distributed Multimedia Applications (DAMD)
  • Wanderley Lopes de Souza, Paulo Nazareno Maia Sampaio and Jean-Marie Farines
Control code
42296292
Dimensions
24 cm
Extent
xi, 376 pages
Isbn
9783540664628
Isbn Type
(softcover : alk. paper)
Lccn
99044590
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...