References
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)
Parnas, D.L. “Predicate Logic for Software Engineering” IEEE Transactions on Software Engineering Vol. 19, No. 9, September 1993
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.
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.
Parnas, D.L. “Mathematical Descriptions and Specification of Software”, Proceedings of IFIP World Congress 1994, Volume I August 1994, pp. 354–359.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights 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