Abstract
Learning any new skills or knowledge involves building mental models expressed in terms of existing internalized knowledge and experience. Developing the formal and mathematical skills required in software engineering should be achieved in stages, with set theory and logic forming the first stage. The mental models for set theory and logic are most effective when they are based upon the practical experience of computer scientists and software engineers, and can be introduced in programming terms.
Preview
Unable to display preview. Download preview PDF.
References
Bowen, J.P. & Hall, J.A. (editors); Proceedings of the Eighth Z User Meeting, Springer-Verlag, London, 1994.
Davidson, J. & Pressland, A.J.; A Second Geometry, Clarendon Press & Humphrey Milford, 1926.
Dean, C.N. & Hinchey, M.G.; Introducing Formal Methods Through Rôle-Playing, SIGCSE Bulletin, 27 (1): 302–306, 1995.
Dean, C.N.; The Essence of Discrete Mathematics Prentice Hall Essence of Computing Series, to appear 1996.
Epp, S.; Discrete Mathematics, International Thomson Publishing Ltd., 2nd edn., 1995.
Forster, T.E.; Set Theory with a Universal Set, Oxford Logic Guides No. 20, Clarendon Press, 1992.
Mattson, H.F.; Discrete Mathematics with Applications, John Wiley, 1993.
Rich, A., Rich, J. & Stoutemyer, D.; Derive: A Mathematical Assistant for Your Personal Computer, Version 3.0, Soft Warehouse, Inc., 1994.
Russell, B.A.W. & Whitehead, A.N.; Principia Mathematica, Cambridge University Press, 1910–13.
Stanat, D.F. & McAllister, D.F.; Discrete Mathematics in Computer Science, Prentice Hall, 1977.
Woodcock, J.C.P. & Loomes, M.; Software Engineering Mathematics, Pitman, 1989.
Worden, R.; Fermenting and Distilling in [1].
Wordsworth, J.B.; Software Development with B, To be published 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dean, N. (1995). Mental models of Z: I — Sets and logic. In: Bowen, J.P., Hinchey, M.G. (eds) ZUM '95: The Z Formal Specification Notation. ZUM 1995. Lecture Notes in Computer Science, vol 967. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60271-2_140
Download citation
DOI: https://doi.org/10.1007/3-540-60271-2_140
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60271-2
Online ISBN: 978-3-540-44782-5
eBook Packages: Springer Book Archive