FME '94

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 83 From action systems to modular systems
3. Altmetric Badge
   Chapter 84 Formal methods in the railways signalling industry
4. Altmetric Badge
   Chapter 85 Formal and informal specifications of a secure system component: first results in a comparative study
5. Altmetric Badge
   Chapter 86 Formalising British rail's signalling rules
6. Altmetric Badge
   Chapter 87 Three applications of formal methods at MITRE
7. Altmetric Badge
   Chapter 88 Specification and analysis of a security management system
8. Altmetric Badge
   Chapter 89 Verification techniques for LOTOS
9. Altmetric Badge
   Chapter 90 Experiences in using the abstract machine notation in a GKS case study
10. Altmetric Badge
    Chapter 91 Seven more myths of formal methods: Dispelling industrial prejudices
11. Altmetric Badge
    Chapter 92 Comparing approaches to data reification
12. Altmetric Badge
    Chapter 93 Towards a formalization of programming-by-difference
13. Altmetric Badge
    Chapter 94 A new concept of refinement used for behaviour modelling with automata
14. Altmetric Badge
    Chapter 95 An extended VDM refinement relation
15. Altmetric Badge
    Chapter 96 On transferring VDM verification techniques to Z
16. Altmetric Badge
    Chapter 97 Proof-based development of specifications with KIDS/VDM
17. Altmetric Badge
    Chapter 98 Evaluation of underdetermined explicit definitions
18. Altmetric Badge
    Chapter 99 A precise examination of the behaviour of process models
19. Altmetric Badge
    Chapter 100 A theory of presentations
20. Altmetric Badge
    Chapter 101 Applying a concurrent formal framework to process modelling
21. Altmetric Badge
    Chapter 102 From MooZ to eiffel — A rigorous approach to system development
22. Altmetric Badge
    Chapter 103 OPUS: a formal approach to object-orientation
23. Altmetric Badge
    Chapter 104 A strategy for the production of verifiable code using the B Method
24. Altmetric Badge
    Chapter 105 Specifying & verifying concurrent systems using Z
25. Altmetric Badge
    Chapter 106 A critical look at functional specifications
26. Altmetric Badge
    Chapter 107 Informal strategies in design by refinement
27. Altmetric Badge
    Chapter 108 An experimental support system for formal mathematical reasoning
28. Altmetric Badge
    Chapter 109 Literate mathematical development of a revision management system
29. Altmetric Badge
    Chapter 110 An action semantics for ML concurrency primitives
30. Altmetric Badge
    Chapter 111 A semantics for NewSpeak in VDM-SL
31. Altmetric Badge
    Chapter 112 Evaluation semantics in Z
32. Altmetric Badge
    Chapter 113 Abstract model checking of infinite specifications
33. Altmetric Badge
    Chapter 114 Case study: Specification and refinement of the PI-Bus
34. Altmetric Badge
    Chapter 115 Stepwise refinement of control software — A case study using RAISE
35. Altmetric Badge
    Chapter 116 Specifying safety and progress properties with RSL
36. Altmetric Badge
    Chapter 117 Validation of a railway interlocking model
37. Altmetric Badge
    Chapter 118 A formal specification of an automatic train protection system
38. Altmetric Badge
    Chapter 119 Adding real time to formal program development
39. Altmetric Badge
    Chapter 120 Combining the design of industrial systems with effective verification techniques
40. Altmetric Badge
    Chapter 121 RTL and refutation by positive cycles
41. Altmetric Badge
    Chapter 122 Formalising the semantics of Ward/Mellor SA/RT essential models using a process algebra
42. Altmetric Badge
    Chapter 123 Deriving relational database programs from formal specifications