Transformations of normal and inverted function tables

Formal Aspects of Computing

Volumn 8, Issue 6, 1996, Pages 679-705

  Zucker, J I ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

Formal documentation; Tabular notation

Indexed keywords

EID: 0006496846     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01213494     Document Type: Article

References (16)

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).
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.
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.
4. Janicki, R., Parnas, D. L. and Zucker, J. L: 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).
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
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).
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.
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