Borrow it
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] (eds.)

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] (eds.)

Creator
Contributor
Summary
This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Current Trends in Applied Formal Methods, FM-Trends 98, held in Boppard, Germany, in October 1998. The book presents two invited papers, 14 regular papers, three application papers, and eight tool presentations. All these papers were carefully reviewed and revised for inclusion in the book. The papers address all current issues in applying formal methods during the different design stages of software systems for use in various application fields
Language
eng
Work
Publication
Extent
1 online resource (xi, 376 pages)
Contents
  • [and others]
  • 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
  • [and others]
  • 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
  • [and others]
  • 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
  • [and others]
  • PVS: An Experience Report
  • S. Owre, J.M. Rushby and N. Shankar
  • [and others]
  • 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
Isbn
9783540482574
Instance
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] (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Current Trends in Applied Formal Methods, FM-Trends 98, held in Boppard, Germany, in October 1998. The book presents two invited papers, 14 regular papers, three application papers, and eight tool presentations. All these papers were carefully reviewed and revised for inclusion in the book. The papers address all current issues in applying formal methods during the different design stages of software systems for use in various application fields
Member of
Cataloging source
COO
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
  • dictionaries
  • 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)
  • Formal methods (Computer science)
  • Formele logica
  • Engenharia de programacao (software)
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] (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • [and others]
  • 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
  • [and others]
  • 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
  • [and others]
  • 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
  • [and others]
  • PVS: An Experience Report
  • S. Owre, J.M. Rushby and N. Shankar
  • [and others]
  • 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
165136885
Dimensions
unknown
Extent
1 online resource (xi, 376 pages)
Form of item
online
Isbn
9783540482574
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)165136885
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] (eds.)
Publication
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • [and others]
  • 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
  • [and others]
  • 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
  • [and others]
  • 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
  • [and others]
  • PVS: An Experience Report
  • S. Owre, J.M. Rushby and N. Shankar
  • [and others]
  • 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
165136885
Dimensions
unknown
Extent
1 online resource (xi, 376 pages)
Form of item
online
Isbn
9783540482574
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)165136885

Subject

Genre

Member of

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...