agriesma@306
|
1 |
%\date{$Revision$}
|
agriesma@306
|
2 |
\documentclass[a4wide]{report}
|
wneuper@1764
|
3 |
\usepackage{listings}
|
agriesma@306
|
4 |
\usepackage{epsfig}
|
agriesma@306
|
5 |
\usepackage{latexsym}
|
agriesma@685
|
6 |
\usepackage{times}
|
agriesma@306
|
7 |
\bibliographystyle{alpha}
|
agriesma@306
|
8 |
|
wneuper@1764
|
9 |
\def\zB{z.B.}
|
wneuper@1764
|
10 |
\def\dah{d.h.}
|
wneuper@1764
|
11 |
\newcommand {\url}[1]{\tt#1}
|
wneuper@1764
|
12 |
\lstdefinelanguage{ISACXML}
|
wneuper@1764
|
13 |
{morekeywords={NODE,ID,CONTENTREF,NODECONTENT,STRING,STRINGLIST,META,GIVEN,WHERE,FIND,MATHML,ISA,
|
wneuper@1764
|
14 |
RELATE,THEORY,METHODS,EXPLANATIONS,CAS,EVALPRECOND,DESCRIPTION,FORMALIZATION,VARIANT,
|
wneuper@1764
|
15 |
TERMLIST,PROBLEM,METHOD,KEY,SPECIFICATION,HIDE,DETAIL,EXAMPLE},
|
wneuper@1764
|
16 |
sensitive=false
|
wneuper@1764
|
17 |
}
|
wneuper@1764
|
18 |
\lstset{% general command to set parameters for the lstinputlisting command
|
wneuper@1764
|
19 |
basicstyle=\footnotesize,
|
wneuper@1764
|
20 |
%numbers=left,
|
wneuper@1764
|
21 |
%stepnumber=5,
|
wneuper@1764
|
22 |
%numberstyle=\tiny,
|
wneuper@1764
|
23 |
captionpos=b,
|
wneuper@1764
|
24 |
commentstyle=\ttfamily,
|
wneuper@1764
|
25 |
breaklines=true,
|
wneuper@1764
|
26 |
breakindent=10pt,
|
wneuper@1764
|
27 |
stringstyle=\ttfamily,
|
wneuper@1764
|
28 |
tabsize=2,
|
wneuper@1764
|
29 |
}
|
wneuper@1764
|
30 |
|
agriesma@306
|
31 |
\newcommand {\kommentar}[1]{\marginpar{\begin{flushright}\tiny#1\end{flushright}}}
|
agriesma@306
|
32 |
\newcommand {\frage}[1]{
|
agriesma@306
|
33 |
\marginpar{
|
agriesma@306
|
34 |
\begin{tabular}{p{5mm} p{2cm}}
|
agriesma@306
|
35 |
\begin{flushleft}
|
agriesma@306
|
36 |
{\large?}
|
agriesma@306
|
37 |
\end{flushleft}
|
agriesma@306
|
38 |
&
|
agriesma@306
|
39 |
\begin{flushright}
|
agriesma@306
|
40 |
\tiny #1
|
agriesma@306
|
41 |
\end{flushright}
|
agriesma@306
|
42 |
\\
|
agriesma@306
|
43 |
\end{tabular}
|
agriesma@306
|
44 |
}
|
agriesma@306
|
45 |
|
agriesma@306
|
46 |
}
|
agriesma@306
|
47 |
\newcommand {\bigquest}{\marginpar{\huge?}}
|
agriesma@306
|
48 |
|
agriesma@306
|
49 |
\def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
|
agriesma@306
|
50 |
\def\sisac{{\small${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
|
agriesma@306
|
51 |
|
wneuper@1764
|
52 |
\title{\isac{} Design Documents\\
|
wneuper@1764
|
53 |
\framebox{\bf Software Design Document}}
|
wneuper@1691
|
54 |
\author{The \isac-Team\\
|
wneuper@1691
|
55 |
{\tt www.ist.tugraz.at/projects/isac} $<$people$>$ $<$credits$>$}
|
agriesma@306
|
56 |
\date{$Revision$}
|
wneuper@1691
|
57 |
%AG.2.1.03 Dialog Layer
|
agriesma@306
|
58 |
|
agriesma@306
|
59 |
\includeonly{sdd-content}
|
agriesma@306
|
60 |
\begin{document}
|
agriesma@306
|
61 |
\maketitle
|
agriesma@306
|
62 |
\tableofcontents
|
agriesma@306
|
63 |
|
agriesma@306
|
64 |
\input{common}
|
agriesma@306
|
65 |
\bibliography{bib/didact,bib/math-eng,bib/dia-form,bib/RISC_1,bib/RISC_2,bib/misc,bib/hci,bib/isac}
|
agriesma@306
|
66 |
\end{document}
|