References

1

L. Barroca and J. A. McDermid. Formal methods: Use and relevance for the development of safety critical systems. The Computer Journal, 35(6):579-599, December 1992.

2

D. Bjørner. Trusted computing systems. In Proc. 14th International Conference on Software Engineering (ICSE), Melbourne, Australia. Elsevier (North-Holland), May 1992.

3

D. Bjørner, H. Langmaack, and C. A. R. Hoare. ProCoS I final deliverable. ProCoS Technical Report [ID/DTH DB 13/1], Department of Computer Science, Technical University of Denmark, DK-2800 Lyngby, Denmark, January 1993.

4

J. P. Bowen. Formal methods in safety-critical standards. In Proc. 1993 Software Engineering Standards Symposium (SESS'93), pages 168-177. IEEE Computer Society Press, 1993.

5

J. P. Bowen et al. A ProCoS II project description: ESPRIT Basic Research project 7071. Bulletin of the European Association for Theoretical Computer Science (EATCS), 50:128-137, June 1993.

6

J. P. Bowen, M. Fränzle, E.-R. Olderog, and A. P. Ravn. Developing correct systems. In Proc. 5th Euromicro Workshop on Real-Time Systems, pages 176-187. IEEE Computer Society Press, 1993.

7

J. P. Bowen and M. J. C. Gordon. Z and HOL. In Bowen and Hall [8], pages 141-167.

8

J. P. Bowen and J. A. Hall, editors. Z User Workshop, Cambridge 1994, Workshops in Computing. Springer-Verlag, 1994.

9

J. P. Bowen and M. G. Hinchey. Seven more myths of formal methods. FME'94 Symposium, Industrial Benefit of Formal Methods, Barcelona, Spain, 24--28 October 1994. To appear in Lecture Notes in Computer Science, Springer-Verlag.

10

J. P. Bowen and C. A. R. Hoare. Basic research working group 8694 ProCoS-WG technical annex. Oxford University Computing Laboratory, UK, 13 August 1993. Commercial in Confidence, ESPRIT Basic Research.

11

J. P. Bowen and J. E. Nicholls, editors. Z User Workshop, London 1992. Workshops in Computing. Springer-Verlag, 1993.

12

J. P. Bowen and V. Stavridou. The industrial take-up of formal methods in safety-critical and other areas: A perspective. In J. C. P. Woodcock and P.G. Larsen, editors, FME'93: Industrial-Strength Formal Methods, volume 670 of Lecture Notes in Computer Science, pages 183-195. Springer-Verlag, 1993.

13

J. P. Bowen and V. Stavridou. Safety-critical systems, formal methods and standards. Software Engineering Journal, 8(4):189-209, July 1993. Also available in a previous version as Oxford University Computing Laboratory Technical Report PRG-TR-5-92.

14

P. T. Breuer and J. P. Bowen. Towards correct executable semantics for Z. In Bowen and Hall [8], pages 185-209.

15

S.M. Brien and J.E. Nicholls. Z base standard. Technical Report PRG-107, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, UK, November 1992. Accepted for ISO standardization under ISO/IEC JTC1/SC22.

16

Dansk Gasteknisk Center, Denmark. Sikkerhedskritisk elektronik til gasteknisk anvendelse (English: Safety critical electronics in gas appliances), November 1989. In Danish.

17

M. Engel. Specifying real-time systems with Z and the Duration Calculus. In Bowen and Hall [8], pages 282-294.

18

R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors. Hybrid Systems, volume 736 of Lecture Notes in Computer Science. Springer-Verlag, 1993.

19

J. A. Hall. Seven myths of formal methods. IEEE Software, pages 11-19, September 1990.

20

J. A. Hall. Specifying and interpreting class hierarchies in Z. In Bowen and Hall [8], pages 120-138.

21

J. G. Hall and J. A. McDermid. Towards a Z method: Axiomatic specification in Z. In Bowen and Hall [8], pages 213-229.

22

J. A. R. Hammond. Producing Z specifications from object-oriented analysis. In Bowen and Hall [8], pages 316-336.

23

M. G. Hinchey and J. P. Bowen, editors. Applications of Formal Methods. Prentice Hall International Series in Computer Science, in preparation.

24

C. A. R. Hoare, J. P. Bowen, et al. Basic research project 7071 ProCoS II technical annex. Oxford University Computing Laboratory, UK, 16 July 1992.

25

Information technology programming languages - VDM-SL. First Committee Draft Standard: CD 13817-1, November 1993. Accepted for ISO standardization under ISO/IEC JTC1/SC22/WG19 N-20.

26

M. Joseph, editor. Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 331 of Lecture Notes in Computer Science. Springer-Verlag, 1988.

27

P. G. Larsen and N. Plat. An overview of the ISO VDM-SL standard. ACM SIGPLAN Notices, 27(8), August 1992.

28

P. G. Larsen and N. Plat. Standards for non-executable specification languages. The Computer Journal, 35(6):567-573, December 1992.

29

C. Lewerentz and T. Lindner, editors. Case Study ``Production Cell'' - A Comparative Study in Formal Software Development. Number 1/94 in FZI-Publication. Forschungszentrum Informatik, Karlsruhe, Germany, 1994.

30

J. A. McDermid. High integrity Ada: Principles and problems. Ada UK, October 1993.

31

MoD. The procurement of safety critical software in defence equipment (part 1: Requirements, part 2: Guidance). Interim Defence Standard 00-55, Issue 1, Ministry of Defence, Directorate of Standardization, Kentigern House, 65 Brown Street, Glasgow G2 8EX, UK, 5 April 1991.

32

NPL. Counting on IT. Technical Report 1, Division of Information Technology and Computing, National Physical Laboratory, Queens Road, Teddington, Middlesex TW11 0LW, UK, Summer 1993.

33

G. I. Parkin and G. O'Neill. Specification of the MAA standard in VDM. In S. Prehn and W.J. Toetenel, editors, VDM'91: Formal Software Development Methods, Volume 1, volume 551 of Lecture Notes in Computer Science. Springer-Verlag, 1991. This specification is also in: ISO 8731-2. Banking - Approved algorithms for message authentication - Part 2: Message authenticator algorithm. International Organization for Standardization.

34

G. I. Parkin and B. A. Wichmann. Conformity clause for VDM-SL. In J. C. P. Woodcock and P.G. Larsen, editors, FME'93: Industrial-Strength Formal Methods, volume 670 of Lecture Notes in Computer Science, pages 501-520. Springer-Verlag, 1993.

35

F. Polack and K. C. Mander. Software quality assurance using the SAZ method. In Bowen and Hall [8], pages 230-249.

36

J. Vytopil, editor. Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 571 of Lecture Notes in Computer Science. Springer-Verlag, 1991.

37

J. Vytopil, editor. Formal Techniques in Real-Time and Fault-Tolerant Systems. Kluwer Academic Publishers, 1993.

38

J. C. P. Woodcock, P. H. B. Gardiner, and J. R. Hulance. The formal specification in Z of Defence Standard 00-56. In Bowen and Hall [8], pages 9-28.