Del i serien Lecture Notes in Computer Science

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings

Häftad, Engelska, 1997

AvJohn Fitzgerald,Cliff B. Jones,Peter Lucas

1 479 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability.

Produktinformation

Utgivningsdatum1997-09-03
Mått155 x 235 x 38 mm
Vikt1 054 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor694
Upplaga1997
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540635338

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

Diagrams and programming languages for programmable controllers.- Graphical specification and reasoning: Case study generalised railroad crossing.- A graphic notation for formal specifications of dynamic systems.- A semantic integration of object-Z and CSP for the specification of concurrent systems.- Class refinement and interface refinement in object-oriented programs.- Formalizing requirements for distributed systems with trace diagrams.- Consistent graphical specification of distributed systems.- Design of reactive control systems for event-driven operations.- An M-Net semantics for a real-time extension of µSDL.- Reconciling real-time with asynchronous message passing.- Specifying the remote controlling of valves in an explosion test environment.- PICGAL: Practical use of formal specification to develop a complex critical system.- Mathematical modeling and analysis of an external memory manager.- Automatic translation of VDM-SL specifications into gofer.- Towards an Integrated CASE and theorem proving tool for VDM-SL.- Specification of required non-determinism.- A corrected failure-divergence model for CSP in Isabelle/HOL.- A proof obligation generator for VDM-SL.- Verification of cryptographic protocols: An experiment.- TLA + PROMELA: Conjecture, check, proof.- A TLA solution to the specification and verification of the RLP1 retransmission protocol.- An efficient technique for deadlock analysis of large scale process networks.- Implementing a model checker for LEGO.- Formal verification of transformations for peephole optimization.- A meta-method for formal method integration.- Reuse of verified design templates through extended pattern matching.- A compositional proof system for shared variable concurrency.- A framework for modular formal specification andverification.- A timed semantics for the StateMate implementation of statecharts.- Using PVS to prove a Z refinement: A case study.- Verification of reactive systems using DisCo and PVS.- Term rewrite systems to derive set boolean operations on 2D objects.- A normal form reduction strategy for hardware/software partitioning.- Viewpoint consistency in Z and LOTOS: A case study.- A UNITY mapping operator for distributed programs.

Du kanske också är intresserad av

Zur Entwicklung einer Marketing-Konzeption für Krankenhäuser

Christoph Müller

Häftad, 1997

1 229 kr

Del 213

Advances in Probabilistic Graphical Models

Peter Lucas, José A. Gámez, Antonio Salmerón Cerdan

Inbunden, 2007

1 439 kr

Del 26

Ethics and Self-Knowledge

Peter Lucas

Inbunden, 2011

1 439 kr

Jesus and Judgment

Marius Reiser

Häftad, 1997

719 kr

Instrumentarium zur erfolgreichen Geschäftsprozeß- und Vorgangsorganisation für den Benutzertyp "Unternehmungsberater"

Ilja Rep

Häftad, 1997

2 429 kr

Perspectives in Health Care

Yvonne Bradshaw, Nancy North, Yvonne Bradshaw, Nancy North

Häftad, 1997

759 kr

Arabs and Young Turks

Hasan Kayali

Häftad, 1997

389 kr

Prime Mincer 1.2: Summer 2011

Peter Lucas

Häftad

289 kr

Thursday Writers Club Anthology

Phil Appleby, Julian Cadman, Peter Lucas

Häftad, 2024

149 kr

Rumpalla

Peter Lucas

Häftad, 2002

339 kr

Del i serien Lecture Notes in Computer Science

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings

Häftad, Engelska, 1997

AvJohn Fitzgerald,Cliff B. Jones,Peter Lucas

1 479 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1997-09-03
Mått155 x 235 x 38 mm
Vikt1 054 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor694
Upplaga1997
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540635338

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

Diagrams and programming languages for programmable controllers.- Graphical specification and reasoning: Case study generalised railroad crossing.- A graphic notation for formal specifications of dynamic systems.- A semantic integration of object-Z and CSP for the specification of concurrent systems.- Class refinement and interface refinement in object-oriented programs.- Formalizing requirements for distributed systems with trace diagrams.- Consistent graphical specification of distributed systems.- Design of reactive control systems for event-driven operations.- An M-Net semantics for a real-time extension of µSDL.- Reconciling real-time with asynchronous message passing.- Specifying the remote controlling of valves in an explosion test environment.- PICGAL: Practical use of formal specification to develop a complex critical system.- Mathematical modeling and analysis of an external memory manager.- Automatic translation of VDM-SL specifications into gofer.- Towards an Integrated CASE and theorem proving tool for VDM-SL.- Specification of required non-determinism.- A corrected failure-divergence model for CSP in Isabelle/HOL.- A proof obligation generator for VDM-SL.- Verification of cryptographic protocols: An experiment.- TLA + PROMELA: Conjecture, check, proof.- A TLA solution to the specification and verification of the RLP1 retransmission protocol.- An efficient technique for deadlock analysis of large scale process networks.- Implementing a model checker for LEGO.- Formal verification of transformations for peephole optimization.- A meta-method for formal method integration.- Reuse of verified design templates through extended pattern matching.- A compositional proof system for shared variable concurrency.- A framework for modular formal specification andverification.- A timed semantics for the StateMate implementation of statecharts.- Using PVS to prove a Z refinement: A case study.- Verification of reactive systems using DisCo and PVS.- Term rewrite systems to derive set boolean operations on 2D objects.- A normal form reduction strategy for hardware/software partitioning.- Viewpoint consistency in Z and LOTOS: A case study.- A UNITY mapping operator for distributed programs.