FME ’94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings
| Otros autores o Colaboradores: | , , |
|---|---|
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
Berlín :
Springer-Verlag,
c1994
|
| Edición: | 1st ed. |
| Series: | Lecture notes in computer science
87 |
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Notas: | Incluye referencias bibliográfica |
| Descripción Física: | xi, 723 p. : il. ; 24 cm. |
| ISBN: | 3540585559 |
Tabla de Contenidos:
- From Action Systems to Modular Systems/
- R.J.R. Back & K. Sere
- Formal Methods in the Railways Signalling Industry/
- Babak Dehbonei & Fernando Mejia
- Formal and Informal Specifications of a Secure System Component: First Results in a Comparative Study/
- J.S. Fitzgerald, T.M. Brookes, M.A. Green & P~Larsen
- Formalising British Rail's Signalling Rules/
- Trevor King
- Three Applications of Formal Methods at M I T R E /
- Joshua D. Guttman & Dale M. Johnson
- Specification and Analysis of a Security Management System/
- ()mar Cherkaoui, Nathalie Rico & Alan Bernardi
- Verification Techniques for L O T O S /
- U. Martin & M. Thomas
- Experiences in Using the Abstract Machine Notation in a GKS Case Study/
- Brian Ritchie, Juan Bicarregui & Howard Ilaughton
- Seven More Mylhs of Formal Methods: Dispelling Industrial Prejudices/
- Jonathan P. Bowen & Michael G. Hinchey
- Comparing Approaches to Data Reification/
- T. Clement
- Towards a Formalization of Programming-by-Difference/
- I. Maung, J.R. Howse & R.J. Mitchell
- A New Concept of Refinement used for Behaviour Modelling with Automata /
- Barbara Paech & Bernhard Rumpe
- An Extended VDM Refinement Relation /
- Morten Elvang-Gcransson &: Robert E. Fields
- On Transferring V D M Verificalion Techniques to Z/
- Peter A. Lindsay
- Proof-Based Development of Specifications with K I D S / V D M. /
- Yves Ledru
- Evaluation of Underdetermined Explicit Definitions/
- Peter Gorm Larsen
- A Precise Examination of the Behaviour of Process Models /
- Kelvin J. Ross & Peter A. Lindsay
- A Theory of Presentations /
- D.J. Duke & M.D. Harrison
- Applying a Concurrent Formal Framework to Process Modelling/
- J.A. Keane, J. Sa & B.C. Warboys
- From MooZ to Eiffel - A Rigorous Approach to System Development/
- Virginia A.O. Cordeiro, Augusto Sampaio ~ Silvio L. Meira
- OP~ f,5: a Formal Approach to Object-Orientation/
- Tom Mens, Kim Mens & Patrick Steyaert/
- A Strategy for the Production of Verifiable Code Using the B Method /
- Andrew C. Storey ~ Howard P. Haughton
- Specifying and Verifying Concurrent Systems Using Z /
- Andy S. Evans
- A Critical Look at Functional Specifications/
- Rodger Collinson
- Informal Strategies in Design by Refinement/
- Maurice Naftalin
- An Experimental Support System for Formal Mathematical Reasoning/
- Matthias Anlauff, Stan Js : Martin Simons
- Literate Mathematical Development of a Revision Management System/
- Matthias Weber
- An Action Semantics for ML Concurrency Primitives/
- Peter D. Mosses & Martin Musicante
- A Semantics for NewSpeak in VDM-SL /
- Paul Mukherjee
- Evaluation Semantics in Z /
- C. O'Halloran
- Abstract Model Checking of Infinite Specifications /
- Daniel Jackson
- Case Study: ,Especification and Refinement of the PI-Bus/
- Karen Seidel
- Stepwise Refinement of Control Software - A Case Study Using R A I S E/
- Francois Erasmy & Emil Sekerinski
- ,Specifying Safety and Progress Properties with RSL/
- Jesper Gcrtz
- Validation of a Railway Interlocking Model/
- Kirsten Mark Hansen
- A Formal ,Tpecificalion of an Automatic Train Protection System/
- Andrew Simpson
- Adding Real Time to Formal Program Development /
- Colin Fidge
- Combining the Design of Industrial Systems with Effective: Verification Techniques /
- Jorge Cu~llar, Isolde Wildgruber &, Dieter Barnard
- R T L and Refutation by Positive Cycles/
- Farn Wang & Aloysius K. Mok
- Formalising the Semantics of Ward/Mellor S A / R T Essential: Models Using a Process Algebra/
- P.C. Fencott, A.J. Galloway, M.A. Loekyer, S.J. O'Brien ~: S. Pearson
- Deriving Relational Database Programs from Formal ,Epecifications/
- Roberto S.M. de Barros