Skip to main content
SpringerLink
Log in

Extending the Useful Application Domain for Formal Methods

  • Conference paper
Z User Workshop, York 1991

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

Research into the industrial application of formal methods has concentrated almost exclusively on the specification of software systems in high-risk or safety critical applications Thus, attention has been directed to technical problems with technical systems.

In this paper we justify and report early results from a research project which aims to evaluate the implications of using the formal specification language Object-Z as an analytic tool in an Information Systems environment.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anon.Information systems research methods—summary of a questionnaire investigation carried out by IFIP WG 8.2 TG. Information Age, 9(4): 238–241, October 1987.

    Google Scholar 

  2. D.E. Avison and G. Fitzgerald. Information Systems Development: Methodologies, Techniques and Tools, Blackwell Scientific Publications, Oxford, 1988.

    Google Scholar 

  3. N. D. Birrell and M. A. Ould. A Practical Handbook for Software Development Cambridge University Press, Cambridge, 1985.

    Book  Google Scholar 

  4. J.J. Bloombecker. Malpractice in IS? Datamation, pages 85–86, Oct 15 1989.

    Google Scholar 

  5. R.E. Bloomfield and P.K.D. Froome. The application of formal methods to the assessment of high integrity software. IEEE Transactions on Software Engineering, SE-12(9): 988–993, September 1986.

    Google Scholar 

  6. B. W. Boehm. Software engineering. IEEE Transactions on Computers, C-25(12): 1226–1241, December 1976.

    Article  Google Scholar 

  7. R.J. Boland and R.A. Hirschheim. Critical Issues in Information Systems Research. Wiley, Chichester, 1987.

    Google Scholar 

  8. R.A. Buckingham, R.A. Hirschheim, Frank F. Land, and Colin J. Tully, editors. Information Systems Education: Recommendations and Implementation. Cambridge University Press., Cambridge, 1987.

    Google Scholar 

  9. P.B. Checkland. Systems Thinking, Systems Practice. Wiley, Chichester, 1981.

    Google Scholar 

  10. Peter Checkland and Jim Scholes. Soft Systems Methodology in Practice. Wiley, Chichester, 1990.

    Google Scholar 

  11. B. Cohen, W.T. Harwood, and M.I. Jackson. Specification of Complex Systems. Addison Wesley, Wokingham, 1986.

    Google Scholar 

  12. R.J. Cunningham, A. Finkelstein, S. Goldsack, T. Maibaum, and C. Potts. Formal requirements specification—the Forest project. In Proceedings of the International Workshop on Software Specification and Design, pages 186–191, London, August 1985.

    Google Scholar 

  13. J. Dearden. The withering away of the IS organisation. Sloan Management Review, pages 87–91, Summer 1987.

    Google Scholar 

  14. Tom DeMarco. Structured Analysis and System Specification. Yourdon Press, New York, 1978.

    Google Scholar 

  15. R. Duke, P. King, G. Rose, and G. Smith. The Object-Z specification language: Version 1. Technical Report 91-1, Software Verification Research Centre, Dept. of Computer Science, Univ. of Queensland, Australia, 1991.

    Google Scholar 

  16. A.L. Eliason. Systems Development: Analysis, Design, and Implementation. Scott, Foresman/Little, Brown Higher Education, Glenview, Illinois, 2nd edition, 1990.

    Google Scholar 

  17. R.D. Galliers, editor. Information Analysis: Selected Readings. Addison Wesley, Sydney, Australia, 1987.

    Google Scholar 

  18. Anthony Hall. Seven myths of formal methods. IEEE Software, 7(5): 11–19, September 1990.

    Article  Google Scholar 

  19. I. Hayes, editor. Specification Case Studies. Prentice Hall International (UK), London, 1987.

    Google Scholar 

  20. Ian Hayes. Applying formal specification to software development in industry. IEEE Transactions on Software Engineering, SE-11(2): 169–178, February 1985.

    Article  Google Scholar 

  21. Darryl C. Ince. A standard for formal education. Computing (UK), May 25 1989.

    Google Scholar 

  22. G.W. Jones. Software Engineering. John Wiley and Sons, New York, 1990.

    MATH  Google Scholar 

  23. P. Keen. MIS Research: Reference Disciplines and a Cummulative Tradition, pages 1–13. In Buckingham et al. [8], 1987.

    Google Scholar 

  24. P.G.W. Keen. MIS research: Reference disciplines and a cumulative tradition. In Proceedings of the 1st International Conference on Information Systems, Philadelphia, PA, 8–10 December 1980.

    Google Scholar 

  25. A. Macro. Software Engineering: Concepts and Management. Prentice Hall International (UK) Ltd, Hemel Hempstead, Herts, 1990.

    Google Scholar 

  26. A. Macro and J.N. Buxton. The Craft of Software Engineering. Addison Wesley, Reading, 1987.

    Google Scholar 

  27. H.E. McKenzie Sibbitt. Software quality: A formal introduction to def stan. Systems International, April 1989.

    Google Scholar 

  28. C.C. Morgan and B.A. Sufrin. Specification of the UNIX filing system. IEEE Transactions on Software Engineering, SE-10(2): 128–142, February 1984.

    Article  Google Scholar 

  29. E. Mumford, R. Hirschheim, G. Fitzgerald, and A.T. Wood-Harper, editors. Research Methods in Information Systems. Elsevier Science Publishers B.V., Amsterdam, 1985.

    Google Scholar 

  30. M. Norris. Z: A formal specification method. Starts: Software tools for application to large real-time systems: Debrief report, National Computing Centre Ltd, Manchester, 1986.

    Google Scholar 

  31. J.F. Nunamaker. Educational programs in information systems: A report of the ACM Curriculum Committee on Information Systems. Communications of the ACM, 24(3): 124–133, March 1981.

    Article  Google Scholar 

  32. B.W. Oakley. The Alvey programme: Progress report—1985 (poster supplement). Technical report, Alvey Directorate, 1985.

    Google Scholar 

  33. T.W. Olle, J. Hagelstein, LG. Macdonald, C. Roland, H.G. Sol, F.J.M. Van Assche, and A.A. Verrijn-Stuart. Information Systems Methodologies: A Framework for Understanding. Addison Wesley, Wokingham, 1988.

    Google Scholar 

  34. Meilir Page-Jones. The Practical Guide to Structured Systems Design. Yourdon Press, New York, 2nd edition, 1988.

    Google Scholar 

  35. B. Ratcliff. Software Engineering: Priciples and Methods. Blackwell Scientific Publications, Oxford, 1987.

    Google Scholar 

  36. J.A. Senn. Information Systems in Management. Wadsworth Publishing Co., Belmont, California, 4th edition, 1990.

    Google Scholar 

  37. Mary Shaw. Prospects for an enineering discipline of software. IEEE Software, 7(6): 15–24, November 1990.

    Article  Google Scholar 

  38. Ian Sommerville. Software Engineering. Addison Wesley, Wokingham, third edition, 1989.

    MATH  Google Scholar 

  39. D.V. Steward. Software Engineering with Systems Analysis and Design. Brooks/Cole Publishing Co., Monteray, California, 1987.

    Google Scholar 

  40. G.I. Susman and R.D. Evered. An assessment of the scientific merit of action research. Administrative Science Quarterly, 23: 582–603, 1978.

    Article  Google Scholar 

  41. P.A. Swatman and P.M.C. Swatman. The software reusability issue: Perspectives from software engineering and information systems. In Proceedings of the 1st Australian Conference on Information Systems, February 1990.

    Google Scholar 

  42. P.A. Swatman and P.M.C. Swatman. Formal specification: An analytic tool for (management) information systems. Journal of Information Systems, 2(2), April 1992. forthcoming.

    Google Scholar 

  43. P.A. Swatman, P.M.C. Swatman, and R. Duke. Electronic Data Interchange: A high-level formal specification in Object-Z. In P.A. Bailes, editor, 6th Australian Software Engineering Conference (ASWEC’91): Engineering Safe Software, Sydney, NSW, 1991.

    Google Scholar 

  44. P.A. Swatman, P.M.C. Swatman, and J.E. Everett. Stages of growth of an innovative software house: An additional criterion for software package selection. Australian Computer Journal, 22(3): 81–91, August 1990.

    Google Scholar 

  45. Ludwig von Bertalanffy. The theory of open systems in physics and biology. Science, 3: 23–29, 1950.

    Article  Google Scholar 

  46. Brian Wilson. Systems: Concepts, Methodologies and Applications. Wiley, Chichester, 2nd edition, 1990.

    Google Scholar 

  47. J. Wordsworth. Teaching formal specification methods in an industrial environment. In Software Engineering 86, pages 43–51. Peter Perigrinus, London, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing Science, Curtin University of Technology, GPO Box U1987, Perth, 6001, Western Australia

    Paul A. Swatman, Danielle Fowler & C. Y. Michael Gan

Authors
  1. Paul A. Swatman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Danielle Fowler
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. C. Y. Michael Gan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Programming Research Group, Oxford University Computing Laboratory, 8-11 Keble Road, Oxford, 0X1 3QD, UK

    J. E. Nicholls MA

Rights and permissions

Reprints and permissions

Copyright information

© 1992 British Computer Society

About this paper

Cite this paper

Swatman, P.A., Fowler, D., Gan, C.Y.M. (1992). Extending the Useful Application Domain for Formal Methods. In: Nicholls, J.E. (eds) Z User Workshop, York 1991. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3203-5_6

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3203-5_6

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19780-5

  • Online ISBN: 978-1-4471-3203-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation