Del i serien Lecture Notes in Computer Science

FME '94: Industrial Benefit of Formal Methods

Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings

Häftad, Engelska, 1994

AvMaurice Naftalin,Tim Denvir,Miquel Bertran

1 489 kr

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

This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value.

Produktinformation

Utgivningsdatum1994-10-12
Mått155 x 235 x 40 mm
Vikt1 107 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor732
Upplaga1994
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540585558

Tillhör följande kategorier

Programvaruutveckling inom Data och it
Affärsapplikationer inom Data och it

From action systems to modular systems.- Formal methods in the railways signalling industry.- Formal and informal specifications of a secure system component: first results in a comparative study.- Formalising British rail's signalling rules.- Three applications of formal methods at MITRE.- Specification and analysis of a security management system.- Verification techniques for LOTOS.- Experiences in using the abstract machine notation in a GKS case study.- Seven more myths of formal methods: Dispelling industrial prejudices.- Comparing approaches to data reification.- Towards a formalization of programming-by-difference.- A new concept of refinement used for behaviour modelling with automata.- An extended VDM refinement relation.- On transferring VDM verification techniques to Z.- Proof-based development of specifications with KIDS/VDM.- Evaluation of underdetermined explicit definitions.- A precise examination of the behaviour of process models.- A theory of presentations.- Applying a concurrent formal framework to process modelling.- From MooZ to eiffel — A rigorous approach to system development.- OPUS: a formal approach to object-orientation.- A strategy for the production of verifiable code using the B Method.- Specifying & verifying concurrent systems using Z.- A critical look at functional specifications.- Informal strategies in design by refinement.- An experimental support system for formal mathematical reasoning.- Literate mathematical development of a revision management system.- An action semantics for ML concurrency primitives.- A semantics for NewSpeak in VDM-SL.- Evaluation semantics in Z.- Abstract model checking of infinite specifications.- Case study: Specification and refinement of the PI-Bus.- Stepwise refinement of control software — A casestudy using RAISE.- Specifying safety and progress properties with RSL.- Validation of a railway interlocking model.- A formal specification of an automatic train protection system.- Adding real time to formal program development.- Combining the design of industrial systems with effective verification techniques.- RTL and refutation by positive cycles.- Formalising the semantics of Ward/Mellor SA/RT essential models using a process algebra.- Deriving relational database programs from formal specifications.

Mer från samma författare

Mastering Lambdas

Maurice Naftalin

Häftad, 2014

569 kr

Java Generics and Collections

Maurice Naftalin, Philip Wadler

Häftad, 2025

679 kr

Java Generics and Collections

Maurice Naftalin

Häftad, 2006

359 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Du kanske också är intresserad av

Development of Arab-American Identity

Ernest McCarus

Inbunden, 1994

1 469 kr

Instant Zen

North Atlantic Books,U.S.

Häftad, 1994

269 kr

Towards a Theory of United Nations Peacekeeping

A.B. Fetherston

Inbunden, 1994

1 439 kr

Nationalism and Development in Africa

James S. Coleman, Richard L. Sklar

Inbunden, 1994

1 149 kr

5th Refinement Workshop

Cliff B. Jones, Roger C. Shaw, Tim Denvir

Häftad, 1992

749 kr

Anomalous Magnetic Field of the World Ocean

Alexander M. Gorodnitsky

Inbunden, 1994

1 989 kr

Henry James and the Real Thing

V. Smith

Inbunden, 1994

2 479 kr

Missing Child in Liberal Theory

John O'Neill

Häftad, 1994

359 kr

Democracy and Authoritarianism in Peru

Maxwell A. Cameron

Inbunden, 1994

1 329 kr

Debt and Adjustment in the World Economy

Rob Vos

Inbunden, 1994

1 479 kr

Del i serien Lecture Notes in Computer Science

FME '94: Industrial Benefit of Formal Methods

Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings

Häftad, Engelska, 1994

AvMaurice Naftalin,Tim Denvir,Miquel Bertran

1 489 kr

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

Produktinformation

Utgivningsdatum1994-10-12
Mått155 x 235 x 40 mm
Vikt1 107 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor732
Upplaga1994
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540585558

Tillhör följande kategorier

Programvaruutveckling inom Data och it
Affärsapplikationer inom Data och it

From action systems to modular systems.- Formal methods in the railways signalling industry.- Formal and informal specifications of a secure system component: first results in a comparative study.- Formalising British rail's signalling rules.- Three applications of formal methods at MITRE.- Specification and analysis of a security management system.- Verification techniques for LOTOS.- Experiences in using the abstract machine notation in a GKS case study.- Seven more myths of formal methods: Dispelling industrial prejudices.- Comparing approaches to data reification.- Towards a formalization of programming-by-difference.- A new concept of refinement used for behaviour modelling with automata.- An extended VDM refinement relation.- On transferring VDM verification techniques to Z.- Proof-based development of specifications with KIDS/VDM.- Evaluation of underdetermined explicit definitions.- A precise examination of the behaviour of process models.- A theory of presentations.- Applying a concurrent formal framework to process modelling.- From MooZ to eiffel — A rigorous approach to system development.- OPUS: a formal approach to object-orientation.- A strategy for the production of verifiable code using the B Method.- Specifying & verifying concurrent systems using Z.- A critical look at functional specifications.- Informal strategies in design by refinement.- An experimental support system for formal mathematical reasoning.- Literate mathematical development of a revision management system.- An action semantics for ML concurrency primitives.- A semantics for NewSpeak in VDM-SL.- Evaluation semantics in Z.- Abstract model checking of infinite specifications.- Case study: Specification and refinement of the PI-Bus.- Stepwise refinement of control software — A casestudy using RAISE.- Specifying safety and progress properties with RSL.- Validation of a railway interlocking model.- A formal specification of an automatic train protection system.- Adding real time to formal program development.- Combining the design of industrial systems with effective verification techniques.- RTL and refutation by positive cycles.- Formalising the semantics of Ward/Mellor SA/RT essential models using a process algebra.- Deriving relational database programs from formal specifications.