Skip to main content
SpringerLink
Log in

Language-free mathematical methods for software design extended abstract

  • Methods
  • Conference paper
  • First Online:
ZUM '95: The Z Formal Specification Notation (ZUM 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 967))

Included in the following conference series:

  • 177 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. Parnas, D.L., Madey, J., “Functional Documentation for Computer Systems Engineering (Version 2)”, CRL Report 237, McMaster University, TRIO (Telecommunications Research Institute of Ontario), September 1991, 14 Pgs. (Substantially Revised Version to appear in Science of Computer Programming, 1995)

    Google Scholar 

  2. Parnas, D.L. “Predicate Logic for Software Engineering” IEEE Transactions on Software Engineering Vol. 19, No. 9, September 1993

    Google Scholar 

  3. Janicki, R., “Towards a Formal Semantics of Tables”, Proceedings of the 17th International Conference on Software Engineering, Seattle WA, April 23–30 1995, pp. 231–240.

    Google Scholar 

  4. Parnas, D.L., “The Use of Precise Specifications in the Development of Software”, Proceedings of the IFIP 1977, North-Holland Publishing Company, Amsterdam, New York, Oxford, pp. 861–867.

    Google Scholar 

  5. Parnas, D.L. “Mathematical Descriptions and Specification of Software”, Proceedings of IFIP World Congress 1994, Volume I August 1994, pp. 354–359.

    Google Scholar 

  6. Zucker, J.I., “Normal and Inverted Function Tables”, CRL Report 265, McMaster University, Communications Research Laboratory, TRIO (Telecommunications Research Institute of Ontario), December 1993, 15 pgs.

    Google Scholar 

  7. Zucker, J.I., “Transformations of Normal and Inverted Function Tables”, CRL Report 291, McMaster University, Communications Research Laboratory, TRIO (Telecommunications Research Institute of Ontario), August 1994, 26 pgs.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical and Computer Engineering CRL, McMaster University, L8S 4K1, Hamilton, Ontario, Canada

    David Lorge Parnas

Authors
  1. David Lorge Parnas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jonathan P. Bowen Michael G. Hinchey

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Parnas, D.L. (1995). Language-free mathematical methods for software design extended abstract. 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_109

Download citation

  • DOI: https://doi.org/10.1007/3-540-60271-2_109

  • 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

Publish with us

Policies and ethics

Search

Navigation