|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 003 |
AR-LpUFIB |
| 005 |
20250311170410.0 |
| 008 |
230201s1994 gw a r 100 0 eng d |
| 020 |
|
|
|a 3540585559
|
| 024 |
8 |
|
|a DIF-M6263
|b 6390
|z DIF005712
|
| 040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
| 111 |
2 |
|
|n (2nd :
|d 1994 oct. 24-28 )
|
| 245 |
0 |
0 |
|a FME ’94, industrial benefit of formal methods :
|b Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings
|
| 250 |
|
|
|a 1st ed.
|
| 260 |
|
|
|a Berlín :
|b Springer-Verlag,
|c c1994
|
| 300 |
|
|
|a xi, 723 p. :
|b il. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Lecture notes in computer science
|v 87
|
| 500 |
|
|
|a Incluye referencias bibliográfica
|
| 505 |
0 |
|
|a 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
|
| 650 |
|
4 |
|a REUNIONES
|
| 650 |
|
4 |
|a INGENIERÍA DE SOFTWARE
|
| 650 |
|
4 |
|a MÉTODOS FORMALES
|
| 700 |
1 |
|
|a Naftalin, Maurice
|
| 700 |
1 |
|
|a Denvir, Tim
|
| 700 |
1 |
|
|a Bertran, Miquel
|
| 942 |
|
|
|c BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 A02_FME94
|7 0
|9 80575
|a DIF
|b DIF
|d 2025-03-11
|i DIF-04170
|l 0
|o A.0.2 FME94
|p DIF-04170
|r 2025-03-11 17:04:10
|w 2025-03-11
|y BK
|
| 999 |
|
|
|c 55498
|d 55498
|
