Getting the best from formal methods

Information and Software Technology

Volumn 41, Issue 14, 1999, Pages 1027-1032

  Wordsworth, John B ^a  

^a IBM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTION EVALUATION; MATHEMATICAL MODELS; MATHEMATICAL PROGRAMMING; SOFTWARE ENGINEERING;

FORMAL METHODS; FORMAL ROTATIONS;

FORMAL LOGIC;

EID: 0033325805     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(99)00078-6     Document Type: Article

References (21)

1. Bowen J.P., Hinchey M.G. Seven more myths of formal methods. IEEE Software. 12:(4):1995.
2. B.P. Collins, J.E. Nicholls, I.H. Sorensen, Introducing formal methods: the CICS experience with Z, IBM Hursley Technical Report TR12.260, 1987.
3. D. Craigen, S.L. Gerhart, T.J. Ralston, An International Survey of Industrial Applications of Formal Methods, 2 volumes, US Department of Commerce, NIST GCR 93/626, 1993.
4. Delisle N., Garlan D. A formal specification of an oscilloscope. IEEE Software. 7:(5):1990.
5. M. Deck, Software reliability and the cleanroom approach: a position paper, in: Annual Reliability and Maintainability Symposium 1998 Proceedings. International Symposium on Product Quality and Integrity, IEEE, ISBN 0-7803-4362-X/98, 1998, pp. 218-23.
6. Dijkstra E.W. Guarded commands, nondeterminacy, and the formal derivation of programs. Communications of the ACM. 8:(8):1975.
7. Dyer M. The Cleanroom Approach to Quality Software. 1992;Wiley, New York. ISBN 0-471-54823-5.
8. Gries D. The Science of Programming. 1981;Springer, Berlin. ISBN 0-387-90641-X.
9. Guttag J.V, Horning J.J. Larch: Languages and Tools for Formal Specification. 1993;Springer, Berlin. ISBN 0-387-94006-5, 3-540-94006-5.
10. Hall J.A. Seven myths of formal methods. IEEE Software. 7:(5):1990.
11. Hall J.A. Taking Z seriously. Bowen J.P., Hinche M.G., Till D. ZUM '97: the Z Formal Specification Notation. 1997;Springer, Berlin. ISBN 3-540-62717-0.
12. Hoare J.P. Application of the B-Method to CICS. Bowen J.P., Hinchey M.G. Applications of Formal Methods. 1995;Prentice-Hall International (UK) Ltd, Hemel Hempstead.
13. Humphrey W.S. A Discipline for Software Engineering. 1995;Addison-Wesley, Reading, MA. ISBN 0-201-54610-8.
14. Jones C.B. Systematic Software Development with VDM. 1986;Prentice-Hall, Englewood Cliffs, NJ. ISBN 0-13-880725-6.
15. Nix C.J., Collins B.P. The use of software engineering, including the Z notation, in the development of CICS. Quality Assurance. September:1988.
16. Wordsworth J.B. The CICS application programming interface definition. Nicholls J. Z User Workshop, Oxford 1990. 1991;Springer, Berlin. ISBN 3-540-19672-2, 0-387-19672-2.
17. Wordsworth J.B. Software Development with Z. 1992;Addison-Wesley, Harlow. ISBN 0-201-62757-4.
18. Wordsworth J.B. Formal methods and product documentation. Ryan P., Sennett C. Formal Methods of Systems Engineering. 1993;Springer, Berlin. ISBN 3-540-19751-6, 0-387-19751-6.
19. Wordsworth J.B. An industrial perspective on educational issues relating to formal methods. Dean C.N., Hinchey M.G. Teaching and Learning Formal Methods. 1996;Academic Press, New York. ISBN 0-12-349040-5.
20. Wordsworth J.B. Software Engineering with B. 1996;Addison-Wesley/Longman, Reading, MA/Harlow. ISBN 0-201-40356-0.
21. Wordsworth J.B. Using formal model to evaluate an interface for usability. Kusters R.J., Cowderoy A., Heemstra F.J., van Veenendaal E.P.W.M. Project Control for Software Quality: Proceedings of ESCOM-SCOPE 99, April 27-29, 1999 at Herstmonceux, England. 1999;Shaker Publishing BV, Maastricht, Netherlands. ISBN 90-423-0075-2.