Skip to main content
SpringerLink
Log in

Transformations of normal and inverted function tables

  • Published:
Formal Aspects of Computing

Abstract

We develop a theory of function tables, similar to, and inspired by, that given in the work of D. Parnas. We consider, in particular, two classes of function tables: normal and inverted. We study effective transformations between tables of these two classes, as well as transformations which change the dimension of a table. We also consider the interrelationship between these three types of transformation.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Heninger, K. L.: Specifying Software Requirements for Complex Systems: New Techniques and Their Application,IEEE Transactions on Software Engineering,SE-6, 2–13 (1980).

    Article  Google Scholar 

  2. Heninger, K. L., Kallander, J., Parnas, D. L. and Shore, J. E.: Software Requirements for the A-7E Aircraft. United States Naval Research Laboratory, Washington DC, NRL Memorandun Report 3876, 1978.

    Google Scholar 

  3. Janicki, R. Towards a Formal Semantics of Parnas Tables In:Proceedings of the 17th International Conference on Software Engineering, Seattle, April 1995 pp. 231–240, ACM/IEEE, 1995.

    Google Scholar 

  4. Janicki, R., Parnas, D. L. and Zucker, J. I.: Tabular representations in relational documents. In:Relational Methods in Computer Science C. Brink and Schmidt. G. (eds, in cooperation with R. Albrecht) Springer-Verlag 1996. To appear.

  5. Kreisel, G. and Krivine, J. L.:Elements of Mathematical Logic North-Holland, 1971.

  6. Matiyasevich, Y. V.:Hilbert's Tenth Problem, The MIT Press, 1993.

  7. Meinke, K. and Tucker, J. V.: Universal Algebra. In:Handbook of Logic in Computer Science, Vol.1, S. Abramsky, D. Gabbay and T. Maibaum (eds), pp. 189–411, Oxford University Press, 1992.

  8. Parnas, D. L.: Tabular Representation of Relations. Communications Research Laboratory, McMaster University, CRL Report 260, 1992.

  9. Parnas, D. L.: Predicate Logic for Software Engineering.IEEE Transactions on Software Engineering,19, 856–862 (1993).

    Article  Google Scholar 

  10. Parnas, D. L.: Inspection of Safety-Critical Software Using Program-Function Tables. In:Proceedings of the IFIP World Congress, August 1994, Vol. III pp. 270–277, 1994.

    Google Scholar 

  11. Parnas, D. L., Asmis, G. J. K. and Madey, J.: Assessment of Safety-Critical Software in Nuclear Power Plants.Nuclear Safety,32, 189–198 (1991).

    Google Scholar 

  12. Parnas, D. L., Madey, J. and Iglewski, M.: Formal Documentation of Well-Structured Programs. Communications Research Laboratory, McMaster University, CRL Report 259, 1992.

  13. Shen, H., Zucker, J. and Parnas, D. L.: Table Transformation Tools: Why and How. In: COMPASS '96: Proceedings of the Eleventh Annual Conference on Computer Assurance, Gaithersburg, Maryland, June 1996, pp. 3–11, IEEE, 1996.

    Google Scholar 

  14. Shen, H.: Implementation of Table Inversion Algorithms. Department of Electrical and Computer Engineering, McMaster University, M. Eng. Thesis, 1995

  15. Tucker, J. V., and Zucker, J. I.:Program Correctness over Abstract Data Types, with Error-State Semantics. CWI Monographs, Vol. 6, North-Holland, 1988.

  16. Wilder, A. J. and Tucker, J. V.: System Documentation Using Tables — a Short Course. Communications Research Laboratory, McMaster University, CRL Report 306, 1995

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Systems, McMaster University, Hamilton, Ontario, Canada

    J. I. Zucker

Authors
  1. J. I. Zucker
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to J. I. Zucker.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zucker, J.I. Transformations of normal and inverted function tables. Formal Aspects of Computing 8, 679–705 (1996). https://doi.org/10.1007/BF01213494

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01213494

Keywords

Search

Navigation