FME ’94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

Incluye referencias bibliográfica

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