On a formal semantics of tabular expressions

Science of Computer Programming

Volumn 39, Issue 2-3, 2001, Pages 189-213

  Janicki, Ryszard ^a   Khedri, Ridha ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT SENSITIVE LANGUAGES; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

FORMAL SEMANTICS; TABULAR EXPRESSIONS;

COMPUTATIONAL LINGUISTICS;

EID: 0035284231     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(00)00004-6     Document Type: Article

References (45)

1. R. Abraham, Evaluating generalized tabular expressions in software documentation, M. Eng. Thesis, Dept. of Electrical and Computer Engineering, McMaster University 1997, also CRL Report 346, McMaster University, Hamilton, Ontario, Canada, 1997. Available at http://www.crl.mcmaster.ca/SERG/serg.publications.html.
2. Aho A.V., Ullman J.D. Foundations of Computer Science. 1992;Computer Science Press, Rockville, MD.
3. Andréka H., Németi I. On cylindric-relativized set algebras. Dold A., Eckmann B. Cylindric Set Algebras. Lecture Notes in Mathematics. Vol. 883:1981;131-315 Springer, Berlin.
4. G.H. Archinoff, R.J. Hohendorf, A. Wassyng, B. Quigley, M.R. Borsch, Verification of the shutdown system software at the Darlington nuclear generating station, Int. Conf. on Control and Instrumentation in Nuclear Installations, Glasgow, UK, 1990, No. 4.3.
5. Berghammer R., Zierer H. Relational algebraic semantics of deterministic and nondeterministic programs. Theoret. Comput. Sci. 43:1986;123-147.
6. Cantrell H.N., King J., King F.E.H. Logic structure tables. Commun. ACM. 4(6):1961;272-275.
7. Chapin N. An introduction to decision tables. DPMA Quart. 3(3):1967;2-23.
8. Chin L., Tarski A. Distributive and modular laws in the arithmetic of relation algebras. Univ. Calif. Publ. 1:1951;341-384.
9. P.C. Clements, Function specification for the A-7E function driver module, NRL Memorandum Report 4658, U.S. Naval Research Lab., 1981.
10. J. Desharnais, R. Khédri, A. Mili, Towards a uniform relational semantics for tabular expressions, Proc. RELMICS 98, Warsaw 1998.
11. Grad B. Tabular form in decision logic. Datamation. 7(7):1961;22-26.
12. Halmos P.R. Naive Set Theory. 1960;Springer, Berlin.
13. M.P.E. Heimdahl, N.G. Leveson, Completeness and consistency analysis of state-based requirements, 17th Int. Conf. on Software Engineering (ICSE'95), IEEE Computer Society, Seattle, WA, 1995, pp. 3-14.
14. * : a toolset for specifying and analyzing requirements Proc. 9th Annual Conf. on Computer Assurance (COMPASS'95). 1995;Gaithersburg, MD.
15. Heninger K.L. Specifying software requirements for complex systems: new techniques and their applications. IEEE Trans. Software Eng. 6(1):1980;2-13.
16. K.L. Heninger, J. Kallander, D.L. Parnas, J.E. Shore, Software requirements for the A-7E aircraft, NRL Memorandum Report 3876, U.S. Naval Research Lab., 1978.
17. Henkin L., Monk J.D., Tarski A. Cylindric Algebras, Part I. 1971;North-Holland, Amsterdam.
18. Henkin L., Monk J.D., Tarski A. Cylindric set algebras and related structures. Dold A., Eckmann B. Cylindric Set Algebras. Lecture Notes in Mathematics. Vol. 883:1981;1-129 Springer, Berlin.
19. Hoover D.N., Chen Z. Tablewise, a decision table tool, Proc. 9th Annual Conf. on Computer Assurance (COMPASS'95). 1995;Gaithersburg, MD.
20. Hurlay R.B. Decision Tables in Software Engineering. 1983;Van Nostrand Reinhold Company, New York.
21. IBM Corp, Hipo-a Design Aid and Documentation Technique, IBM corp., White Plains, NY, 1974.
22. R. Janicki, Towards a formal semantics of parnas tables, 17th Int. Conf. on Software Engineering (ICSE'95), IEEE Computer Society, Seattle, WA, 1995, pp. 231-240.
23. R. Janicki, On formal semantics of tabular expressions, CRL Report 355, McMaster University, Hamilton, Ontario 1997. Available at http://www.crl.mcmaster.ca/SERG/serg.publications.html.
24. Janicki R., Parnas D.L., Zucker J. Tabular representations in relational documents. Brink C., Kahl W., Schmidt G. Relational Methods in Computer Science. 1997;Springer, Berlin.
25. R. Khédri, Concurrence, bisimulation et équation d'interface: une approche relationnelle, Ph.D. Thesis, Facult des sup de l'Universit Laval, Qu, Canada, 1998.
26. L. Lamport, How to write a long formula, SRC Research Report 119, DEC System Research Centre, Palo Alto, CA, 1993.
27. Leveson N.G., Heimdahl M.P.E., Hildreth H., Reese J.D. Requirements specifications for process-control systems. IEEE Trans. Software Eng. 20(9):1994;689-707.
28. Maes R. On the representation of program structures by decision tables: a critical assessment. Comput. J. 21(4):1978;290-295.
29. McDaniel H. An Introduction to Decision Logic Tables. 1968;Wiley, New York.
30. J. McDougall, E. Jankowski, Procedure for the specification of software requirements for safety critical systems, Report CE-1001-PROC, Computer Centre of Excellence, 1995.
31. Montalbano M. Decision Tables. 1974;Science Research Associates, Palo Alto, CA.
32. Nickerson R.C. An engineering application of logic-structure tables. Commun. ACM. 4(11):1961;516-520.
33. Parnas D.L. A generalized control structure and its formal definition. Commun. ACM. 26(8):1983;572-581.
34. D.L. Parnas, Tabular representation of relations, CRL Report 260, Telecommunications Research Institute of Ontario (TRIO), McMaster University, Hamilton, Ontario, Canada, 1992.
35. D.L. Parnas, Personal communication, 1993.
36. D.L. Parnas, G.J.K. Asmis, J.D. Kendall, Reviewable development of safety critical software, Int. Conf. on Control and Instrumentation in Nuclear Installations, Glasgow, UK, 1990, No. 4.3.
37. Parnas D.L., Asmis G.L.K., Madey J. Assessment of safety-critical software in nuclear power plants. Nucl. Safety. 32(2):1991;189-198.
38. Parnas D.L., Madey J. Functional documentation for computer systems engineering. Sci. Comput. Programm. 25(1):1995;41-61.
39. Parnas D.L., Madey J., Iglewski M. Precise documentation of well-structured programs. IEEE Trans. Software Eng. 20(12):1994;948-976.
40. Schmidt G., Ströhlein T. Relations and Graphs, EATCS Monographs in Computer Science. 1993;Springer, Berlin.
41. Schmidt G., Strölein T. Relations algebras. concept of points and representability DISCR. 54:1985;83-92.
42. A.J. van Schouwen, The A-7 requirements model: re-examination for real-time systems and an application to monitoring systems, Technical Report 90-276, Queen's University, CIS, TRIO, Kingston, Ontario, Canada, 1990.
43. SERG - Software Engineering Group, Table Tool System Developer's Guide, CRL REport 339, TRIO, McMaster University, Hamilton, Ontario, Canada, 1997.
44. Strzednicki J.T.J., Rickey V.F. Lesniewski's Systems. 1984;Kluwer Academic, Dordrecht.
45. Zucker J. Transformations of normal and inverted function tables. Formal Aspects Programm. 8:1996;679-705.