Abstract
A framework based on an integration of structured and formal methods is proposed for an investigation of the correctness and appropriateness of structured design methods in current use. Integrating structured and formal methods enables the assignment of a formal semantics to various structured methods and permits a formal examination of their appropriateness. The approach is illustrated by means of a case study — investigating how Jackson System Development can be modified and made more appropriate for use in the design of real-time systems. The approach is valid for any structured design method provided that an appropriate formal specification language is chosen.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Barnes, J.: A Study of JSD as a formal design method, M.Sc. dissertation, Oxford University, Programming Research Group, Sept. 1990
Bryant, T.: Structured Methodologies & Formal Notations, Developing a Framework for Synthesis and Investigation, In Proc. Z User Meeting 1989, Springer-Verlag LNCS, 1990
Cameron, J.R.: An Overview of JSD, IEEE Trans. Software Engineering, Vol. SE-12, No. 2, Februrary 1986
Draper, C: Practical Experiences of Z and SSADM, In Proc. Z User Meeting 1992, Springer-Verlag LNCS, 1993
Hinchey, M.G.: JSD, RPT & the Design of Real-Time Systems, M.Sc. dissertation, Oxford University, Programming Research Group, Sept. 1992
Hoare, C.A.R.: Communicating Sequential Processes, Prentice-Hall International Series in Computer Science, 1985
Jackson, M.A.: System Development, Prentice-Hall International Series in Computer Science, 1983
Josephs, M.B.: Receptive Process Theory, Acta Informatica, Vol. 29(1), February 1992
Josephs, M.B., Hoare, C.A.R. & He, J.: A Theory of Asynchronous Processes, Technical Report PRG-TR-6-89, Programming Reseach Group, Oxford University, 1989
Kemmerer, R.A.: Integrating Formal Methods into the Development Process, IEEE Software 7(5), Sept. 1990
Larsen, P.G., Plat, N. & Toetenel, N.: A Formal Semantics of Data Flow Diagrams, submitted for publication
Larsen, P.G., van Katwijk, J., Plat, N., Pronk, K. & Toetenel, H.: SVDM: An Integrated Combination of SA and VDM, submitted for publication
Learmonth-Burchett Management Systems: Introduction to LBMS Jackson System Development (JSD), Wiley Press, 1992
Leveson, N.G.: Software Safety in Embedded Computer Systems, Comm. ACM, 34(2), February 1991
Renold, A.: Jackson System Development for Real-Time Systems, Scientia Electra, Vol. 34, No. 2, 1988
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hinchey, M.G. (1996). Structured and formal methods: An investigative framework. In: Lamb, D.A. (eds) Studies of Software Design. WSSD 1993. Lecture Notes in Computer Science, vol 1078. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030527
Download citation
DOI: https://doi.org/10.1007/BFb0030527
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61285-8
Online ISBN: 978-3-540-68434-3
eBook Packages: Springer Book Archive