diff --git a/html/TT_gs_ref.m b/html/TT_gs_ref.m new file mode 100644 index 0000000000000000000000000000000000000000..158380305bd84c31e70bdef179a2ea077cabb5b0 --- /dev/null +++ b/html/TT_gs_ref.m @@ -0,0 +1,18 @@ +%% Tabular Expressions References +%% Background Information +% Tabular Expressions have been around for many years, below are some +% papers discussing some of the fundamentals behind tabular expressions. +% +% * Y. Jin and D. L. Parnas, "Defining the meaning of tabular mathematical +% expressions," Science of Computer Programming, vol. In Press, Corrected Proof, 2010. +% * D. L. Parnas, "Tabular representation of relations," tech. rep., 1992. +% * R. Janicki, D. L. Parnas, and J. Zucker, "Tabular representations in +% relational documents," in in Relational Methods in Computer Science, pp. 184-196, Springer Verlag, 1996. +%% Tabular Expressions in Industry +% Tabular Expressions have been used in numerous industrial projects, below +% are some papers describing some of such projects. +% +% * A. Wassyng and M. Lawford, "Lessons learned from a successful +% implementation of formal methods in an industrial project," in FME 2003: International Symposium of Formal Methods Europe Proceedings (K. Araki, S. Gnesi, and D. Mandrioli, eds.), vol. 2805 of Lecture Notes in Computer Science, pp. 133-153, Springer-Verlag, Aug. 2003. +% * R. L. Baber, D. L. Parnas, S. A. Vilkomir, P. Harrison, and +% T. O'Connor, "Disciplined methods of software specification: A case study," in ITCC '05: Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II, (Washington, DC, USA), pp. 428-437, IEEE Computer Society, 2005. \ No newline at end of file diff --git a/html/html/TT_gs_ref.html b/html/html/TT_gs_ref.html new file mode 100644 index 0000000000000000000000000000000000000000..b8d015b1c0880c8e24e0d8a7aa474599741915ee --- /dev/null +++ b/html/html/TT_gs_ref.html @@ -0,0 +1,87 @@ + + + + + Tabular Expressions References

Tabular Expressions References

Contents

Background Information

Tabular Expressions have been around for many years, below are some papers discussing some of the fundamentals behind tabular expressions.

Tabular Expressions in Industry

Tabular Expressions have been used in numerous industrial projects, below are some papers describing some of such projects.

\ No newline at end of file