diff --git a/BlankProjectTemplate/docs/SRS/SRS.pdf b/BlankProjectTemplate/docs/SRS/SRS.pdf index 75847749155e08254daeac290192775b26dfaf2e..3f915064600486820d749f7de50f5aa3887494b8 100644 Binary files a/BlankProjectTemplate/docs/SRS/SRS.pdf and b/BlankProjectTemplate/docs/SRS/SRS.pdf differ diff --git a/BlankProjectTemplate/docs/SRS/SRS.tex b/BlankProjectTemplate/docs/SRS/SRS.tex index 39823b0a67935b4140269d969d691f56683b1745..308d964438e88f44e536da898f03072a5ac4e094 100644 --- a/BlankProjectTemplate/docs/SRS/SRS.tex +++ b/BlankProjectTemplate/docs/SRS/SRS.tex @@ -738,6 +738,45 @@ Symbol &$q_C$\\ \end{tabular} \end{minipage}\\ +\subsubsection{Data Types}\label{sec_datatypes} + +\plt{This section is optional. In many scientific computing programs it isn't + necessary, since the inputs and outpus are straightforward types, like reals, + integers, and sequences of reals and integers. However, for some problems it + is very helpful to capture the type information.} + +\plt{The data types are not derived; they are simply stated and used by other + models.} + +\plt{All data types must be used by at least one of the models.} + +\plt{For the mathematical notation for expressing types, the recommendation is + to use the notation of~\citet{HoffmanAndStrooper1995}.} + +This section collects and defines all the data types needed to document the +models. \plt{Modify the examples below for your problem, and add additional + definitions as appropriate.} + +~\newline + +\noindent +\begin{minipage}{\textwidth} +\renewcommand*{\arraystretch}{1.5} +\begin{tabular}{| p{\colAwidth} | p{\colBwidth}|} + \hline + \rowcolor[gray]{0.9} + Type Name & Name for Type\\ + \hline + Type Def & mathematical definition of the type\\ + \hline + Description & description here + \\ + \hline + Sources & Citation here, if the type is borrowed from another source\\ + \hline +\end{tabular} +\end{minipage}\\ + \subsubsection{Instance Models} \label{sec_instance} \plt{The motivation for this section is to reduce the problem defined in