Abstract
The production of a sound specification is fundamental to good software engineering. This paper introduces a conceptual framework for requirements modelling and goes on to discuss the role of mathematics in requirements specification.
An example of our teaching approach using some of Shlaer and Mellor's OOA notations together with the formal specification notation Z is given. This example shows how the three perspectives: data, process and event can be represented using both conventional graphical techniques and formal notations.
We describe the tools we use and are developing including a “specification assistant” which supports both graphical and formal representations of specifications. Examples of industrial practice are given.
Results from the use of an integrated approach on a range of university courses are discussed and evaluated.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Allen, P. M. & Semmens, L. T., Teaching formal and structured methods: an integrated approach, 2nd All-Ireland Conference on Teaching Computing, Dublin, September 1994.
Aujla, S., Bryant, T. & Semmens, L. T., A rigorous review technique: using formal notations within conventional development methods, Software Engineering Standards Symposium, Brighton, UK, August/September 1993, IEEE Computer Society.
Austin, S. & Parkin, G. I., Formal Methods: A Survey, National Physical Laboratory, Queens Road, Teddington, Middlesex, TW 110LW, UK, 1993.
Collins, B. P., Nicholls, J. E & Sorenson, I. H., Introducing formal methods: the CICS experience with Z, IBM United Kingdom Laboratories, Hursley Park, Winchester and Programming Research Group, Oxford University, 1988.
Fencott, P. C., Lockyer, M. A. & Taylor, P., Experiences in integrating structured and formal notations for real-time systems, Methods Integration Workshop, Leeds Metropolitan University, September 1991.
Hall, A., Seven myths of formal methods, IEEE Software, September 1990, 11–19.
Hall, A., Development of an Air Traffic Control System, BCS/FACS Workshop, Imperial College, London, December 1992.
Hamilton, V., Experiences of combining Yourdon and VDM, Methods Integration Workshop, Leeds Metropolitan University, September 1991.
Hodgson, R. & Dunne, S. E., Process, data, and behaviour (perspectives on system development), Information and Software Technology, 32 (8), 1990.
Jackson, M., Systems Development, Prentice-Hall, 1981.
Jones, C. B., Systematic Software Development Using VDM, Prentice-Hall, 1986.
Mellor, S. J. & Ward, P. T, Structured Development for Real-Time Systems, Yourdon Press, 1985.
Milner, R., Communication and Concurrency, Prentice-Hall, 1989.
Rawson, M. G., Allen, P. M, & Semmens, L. T., Z-Builder: a formal object-oriented method and tool, Technical Report, School of Computing and Maths, University of Huddersfield, 1994.
Semmens, L. T. & Allen, P. M., A formal definition of the Yourdon essential model, Technical Report IESl/91, Leeds Metropolitan University, Faculty of Information and Engineering Systems, 1991.
Semmens, L. T., France, R. B. & Docker, T. W. G., Integrated structured analysis and formal specification techniques, The Computer Journal, 35 (6), 600–610, 1992.
Shlaer, S. & Mellor, S. J., Object-Oriented Systems Analysis: Modeling the World in Data, Yourdon Press, Englewood Cliffs, N.J., 1988.
Spivey, J. M., The Z Notation: A Reference Manual, (2nd edition) Prentice-Hall, 1992.
SSADM Version 4 Reference Manual, NCC/Blackwell, Oxford, 1990
West, M. M. & Eaglestone, B. M., Software Development: Two approaches to animation of Z specifications using Prolog, Software Engineering Journal, 7 (4), 264–276, 1992.
Yourdon, E., Modern Structured Analysis, Prentice-Hall, Englewood Cliffs, N.J., 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Allen, P., Semmens, L. (1995). An integrated approach to teaching requirements modelling. In: Ibrahim, R.L. (eds) Software Engineering Education. CSEE 1995. Lecture Notes in Computer Science, vol 895. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58951-1_106
Download citation
DOI: https://doi.org/10.1007/3-540-58951-1_106
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58951-8
Online ISBN: 978-3-540-49167-5
eBook Packages: Springer Book Archive