From 47ce3a90f364e33ece28e97ad644fec23adacd2e Mon Sep 17 00:00:00 2001 From: Colin Eles Date: Mon, 30 Aug 2010 18:17:18 +0000 Subject: [PATCH] references page for help git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6156 57e6efec-57d4-0310-aeb1-a6c144bb1a8b --- html/TT_gs_ref.m | 18 +++++++++ html/html/TT_gs_ref.html | 87 ++++++++++++++++++++++++++++++++++++++++ 2 files changed, 105 insertions(+) create mode 100644 html/TT_gs_ref.m create mode 100644 html/html/TT_gs_ref.html diff --git a/html/TT_gs_ref.m b/html/TT_gs_ref.m new file mode 100644 index 0000000..1583803 --- /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 0000000..b8d015b --- /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.

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


+ Published with MATLAB® 7.10

\ No newline at end of file -- GitLab