|
|
Conferences in DBLP
- Ralph-Johan Back, Kaisa Sere
From Action Systems to Modular Systems. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:1-25 [Conf]
- Babak Dehbonei, Fernando Mejia
Formal Methods in the Railways Signalling Industry. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:26-34 [Conf]
- John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen
Formal and Informal Specifications of a Secure System Component: first results in a comparative study. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:35-44 [Conf]
- Trevor King
Formalising British Rail's Signalling Rules. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:45-54 [Conf]
- Joshua D. Guttman, Dale M. Johnson
Three Applications of Formal Methods at MITRE. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:55-65 [Conf]
- Omar Cherkaoui
Specification and Analysis of a Security Management System. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:66-82 [Conf]
- Ursula Martin, M. Thomas
Verification Techniques for LOTOS. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:83-92 [Conf]
- Brian Ritchie, Juan Bicarregui, Howard P. Haughton
Experiences in Using the Abstract Machine Notation in a GKS Case Study. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:93-104 [Conf]
- Jonathan P. Bowen, Michael G. Hinchey
Seven More Myths of Formal Methods. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:105-117 [Conf]
- Tim Clement
Comparing Approaches to Data Reification. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:118-133 [Conf]
- Ian Maung, John Howse, Richard J. Mitchell
Towards a Formalization of Programming-by-Difference. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:134-153 [Conf]
- Barbara Paech, Bernhard Rumpe
A new Concept of Refinement used for Behaviour Modelling with Automata. [Citation Graph (1, 0)][DBLP]
FME, 1994, pp:154-174 [Conf]
- Morten Elvang-Gøransson, Robert E. Fields
An Extended VDM Refinement Relation. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:175-189 [Conf]
- Peter A. Lindsay
On transferring VDM verification techniques to Z. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:190-213 [Conf]
- Yves Ledru
Proof-Based Development of Specifications with KIDS/VDM. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:214-232 [Conf]
- Peter Gorm Larsen
Evaluation of Underdetermined Explicit Definitions. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:233-250 [Conf]
- Kelvin J. Ross, Peter A. Lindsay
A Precise Examination of the Behaviour of Process Models. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:251-270 [Conf]
- David J. Duke, Michael D. Harrison
A Theory of Presentations. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:271-290 [Conf]
- J. A. Keane, Jin Sa, Brian Warboys
Applying a Concurrent Formal Framework to Process Modelling. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:291-305 [Conf]
- Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira
From MooZ to Eiffel - A Rigorous Approach to System Development. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:306-325 [Conf]
- Tom Mens, Kim Mens, Patrick Steyaert
OPUS: a Formal Approach to Object-Orientation. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:326-345 [Conf]
- Andrew Storey, Howard P. Haughton
A Strategy for the Production of Verifiable Code Using the B Method. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:346-365 [Conf]
- Andy Evans
Specifying & Verifying Concurrent Systems Using Z. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:366-380 [Conf]
- Rodger Collinson
A Critical Look at Functional Specifications. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:381-400 [Conf]
- Maurice Naftalin
Informal Strategies in Design by Refinement. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:401-420 [Conf]
- Matthias Anlauff, Stefan Jähnichen, Martin Simons
An experimental support system for formal mathematical reasoning. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:421-440 [Conf]
- Matthias Weber
Literate Mathematical Development of a Revision Management System. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:441-460 [Conf]
- Peter D. Mosses, Martín Musicante
An Action Semantics for ML Concurrency Primitives. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:461-479 [Conf]
- Paul Mukherjee
A Semantics for NewSpeak in VDM-SL. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:480-501 [Conf]
- Colin O'Halloran
Evaluation Semantics in Z. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:502-518 [Conf]
- Daniel Jackson
Abstract Model Checking of Infinite Specifications. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:519-531 [Conf]
- Karen Seidel
Case Study: Specification and Refinement of the PI-Bus. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:532-546 [Conf]
- François Erasmy, Emil Sekerinski
Stepwise Refinement of Control Software - A Case Study Using RAISE. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:547-566 [Conf]
- Jesper Gørtz
Specifying Safety and Progress Properties with RSL. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:567-581 [Conf]
- Kirsten Mark Hansen
Validation of a Railway Interlocking Model. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:582-601 [Conf]
- Andrew Simpson
A Formal Specification of an Automatic Train Protection System. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:602-617 [Conf]
- Colin J. Fidge
Adding Real Time to Formal Program Development. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:618-638 [Conf]
- Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard
Combining the Design of Industrial Systems with Effective Verification Techniques. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:639-658 [Conf]
- Farn Wang, Aloysius K. Mok
RTL and Refutation by Positive Cycles. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:659-680 [Conf]
- P. C. Fencott, A. J. Galloway, M. A. Lockyer, S. J. O'Brien, S. Pearson
Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:681-702 [Conf]
- Roberto Souto Maior de Barros
Deriving Relational Database Programs from Formal Specifications. [Citation Graph (0, 0)][DBLP]
FME, 1994, pp:703-723 [Conf]
|
