references page for help (47ce3a90) · Commits · tables / tet

html/TT_gs_ref.m

0 → 100644

+18 −0

Original line number	Diff line number	Diff line
		%% 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

html/html/TT_gs_ref.html

0 → 100644

+87 −0

Original line number	Diff line number	Diff line

		<!DOCTYPE html
		PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
		<html><head>
		<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
		<!--
		This HTML is auto-generated from an M-file.
		To make changes, update the M-file and republish this document.
		--><title>Tabular Expressions References</title><meta name="generator" content="MATLAB 7.10"><meta name="date" content="2010-08-30"><meta name="m-file" content="TT_gs_ref"><style type="text/css">

		body {
		background-color: white;
		margin:10px;
		}

		h1 {
		color: #990000;
		font-size: x-large;
		}

		h2 {
		color: #990000;
		font-size: medium;
		}

		/* Make the text shrink to fit narrow windows, but not stretch too far in
		wide windows. */
		p,h1,h2,div.content div {
		max-width: 600px;
		/* Hack for IE6 */
		width: auto !important; width: 600px;
		}

		pre.codeinput {
		background: #EEEEEE;
		padding: 10px;
		}
		@media print {
		pre.codeinput {word-wrap:break-word; width:100%;}
		}

		span.keyword {color: #0000FF}
		span.comment {color: #228B22}
		span.string {color: #A020F0}
		span.untermstring {color: #B20000}
		span.syscmd {color: #B28C00}

		pre.codeoutput {
		color: #666666;
		padding: 10px;
		}

		pre.error {
		color: red;
		}

		p.footer {
		text-align: right;
		font-size: xx-small;
		font-weight: lighter;
		font-style: italic;
		color: gray;
		}

		</style></head><body><div class="content"><h1>Tabular Expressions References</h1><!--introduction--><!--/introduction--><h2>Contents</h2><div><ul><li><a href="#1">Background Information</a></li><li><a href="#2">Tabular Expressions in Industry</a></li></ul></div><h2>Background Information<a name="1"></a></h2><p>Tabular Expressions have been around for many years, below are some papers discussing some of the fundamentals behind tabular expressions.</p><div><ul><li>Y. Jin and D. L. Parnas, "Defining the meaning of tabular mathematical expressions," Science of Computer Programming, vol. In Press, Corrected Proof, 2010.</li><li>D. L. Parnas, "Tabular representation of relations," tech. rep., 1992.</li><li>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.</li></ul></div><h2>Tabular Expressions in Industry<a name="2"></a></h2><p>Tabular Expressions have been used in numerous industrial projects, below are some papers describing some of such projects.</p><div><ul><li>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.</li><li>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.</li></ul></div><p class="footer"><br>
		Published with MATLAB® 7.10<br></p></div><!--
		##### SOURCE BEGIN #####
		%% 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.
		##### SOURCE END #####
		--></body></html>
		No newline at end of file