diff --git a/@GUI/help_call.m b/@GUI/help_call.m index eeaf9eac50deab0a82ecbe64161b3ca682e0e6c3..c295aad036d3e433a3f61cb0a1e620a2c4692b61 100644 --- a/@GUI/help_call.m +++ b/@GUI/help_call.m @@ -1,3 +1,3 @@ function [] = help_call(object,src,event) - + web(fullfile(fileparts(which('TTdiag')),'html','html','TT_help.html'),'-helpbrowser') end \ No newline at end of file diff --git a/html/TT_gs_ref.m b/html/TT_gs_ref.m index 158380305bd84c31e70bdef179a2ea077cabb5b0..7527dcd5f596691fa6d30736b8ac8fa432fc6c61 100644 --- a/html/TT_gs_ref.m +++ b/html/TT_gs_ref.m @@ -5,7 +5,9 @@ % % * 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. +% * Parnas, D.L., "Tabular Representation of Relations", CRL Report 260, +% McMaster University, Communications Research Laboratory, TRIO +% (Telecommunications Research Institute of Ontario), October 1992, 17 pgs. % * 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 diff --git a/html/TT_help.m b/html/TT_help.m index 9670b6a8ec5bc66f119d588c903f468438513f70..c8970b6a73c516840d4ff9f36da529039af9a82e 100644 --- a/html/TT_help.m +++ b/html/TT_help.m @@ -2,10 +2,7 @@ % % *Available Documentation* % -% * -% * % * -% * % % % Copyright 2010 Colin Eles diff --git a/html/html/TT_gs_ref.html b/html/html/TT_gs_ref.html index b8d015b1c0880c8e24e0d8a7aa474599741915ee..214322ab314b79b09e75e677786ba20da3b5388c 100644 --- a/html/html/TT_gs_ref.html +++ b/html/html/TT_gs_ref.html @@ -6,7 +6,7 @@ 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.

  • 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.

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.

  • Y. Jin and D. L. Parnas, "Defining the meaning of tabular mathematical expressions," Science of Computer Programming, vol. In Press, Corrected Proof, 2010.
  • Parnas, D.L., "Tabular Representation of Relations", CRL Report 260, McMaster University, Communications Research Laboratory, TRIO (Telecommunications Research Institute of Ontario), October 1992, 17 pgs.
  • 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.
Table Toolbox

Table Toolbox

Available Documentation

Copyright 2010 Colin Eles

Table Toolbox

Available Documentation

Copyright 2010 Colin Eles