wneuper@2372
|
1 |
%all the definitions for the ISAC standard for documents
|
wneuper@2372
|
2 |
|
wneuper@2372
|
3 |
\usepackage{listings}
|
wneuper@2372
|
4 |
\usepackage{latexsym}
|
wneuper@2372
|
5 |
\usepackage{epsfig}
|
wneuper@2372
|
6 |
%\usepackage[active]{srcltx}
|
wneuper@2372
|
7 |
\bibliographystyle{alpha}
|
wneuper@2372
|
8 |
|
wneuper@2372
|
9 |
%AK macros for labelling and referencing use cases, user requirements etc
|
wneuper@2372
|
10 |
\newcommand{\preAuth}{AK}
|
wneuper@2372
|
11 |
\newcommand{\preUC}{\preAuth:UC}
|
wneuper@2372
|
12 |
\newcommand{\preUR}{\preAuth:UR}
|
wneuper@2372
|
13 |
\newtheorem{usecase}{UC}[section]
|
wneuper@2372
|
14 |
\newtheorem{userreq}{UR}[section]
|
wneuper@2372
|
15 |
\newtheorem{softreq}{SR}[section]
|
wneuper@2372
|
16 |
\newcommand{\refUC}[1]{UC \ref{\preUC:#1}}
|
wneuper@2372
|
17 |
\newcommand{\refUR}[1]{UR \ref{\preUR:#1}}
|
wneuper@2372
|
18 |
\newcommand{\refSR}[1]{SR \ref{#1}}
|
wneuper@2372
|
19 |
%\newcommand{\UC} below could replace \newtheorem{UC} in common.tex
|
wneuper@2372
|
20 |
%\newcommand{\UC}[2]{\begin{usecase}\bf#1\label{\preUC:#2}\end{usecase}}
|
wneuper@2372
|
21 |
%\newcommand{\UR}[2]{\begin{userreq}\bf#1\label{\preUR:#2}\end{userreq}}
|
wneuper@2372
|
22 |
%...the latter two are already used differently
|
wneuper@2372
|
23 |
|
wneuper@2372
|
24 |
%others
|
wneuper@2372
|
25 |
\def\zB{z.B.}
|
wneuper@2372
|
26 |
\def\dah{d.h.}
|
wneuper@2372
|
27 |
\newcommand {\url}[1]{\tt#1}
|
wneuper@2372
|
28 |
\lstdefinelanguage{ISACXML}
|
wneuper@2372
|
29 |
{morekeywords={NODE,ID,CONTENTREF,NODECONTENT,STRING,STRINGLIST,META,GIVEN,WHERE,FIND,MATHML,ISA,
|
wneuper@2372
|
30 |
RELATE,THEORY,METHODS,EXPLANATIONS,CAS,EVALPRECOND,DESCRIPTION,FORMALIZATION,VARIANT,
|
wneuper@2372
|
31 |
TERMLIST,PROBLEM,METHOD,KEY,SPECIFICATION,HIDE,DETAIL,EXAMPLE},
|
wneuper@2372
|
32 |
sensitive=false
|
wneuper@2372
|
33 |
}
|
wneuper@2372
|
34 |
\lstset{% general command to set parameters for the lstinputlisting command
|
wneuper@2372
|
35 |
basicstyle=\footnotesize,
|
wneuper@2372
|
36 |
%numbers=left,
|
wneuper@2372
|
37 |
%stepnumber=5,
|
wneuper@2372
|
38 |
%numberstyle=\tiny,
|
wneuper@2372
|
39 |
captionpos=b,
|
wneuper@2372
|
40 |
commentstyle=\ttfamily,
|
wneuper@2372
|
41 |
breaklines=true,
|
wneuper@2372
|
42 |
breakindent=10pt,
|
wneuper@2372
|
43 |
stringstyle=\ttfamily,
|
wneuper@2372
|
44 |
tabsize=2,
|
wneuper@2372
|
45 |
}
|
wneuper@2372
|
46 |
|
wneuper@2372
|
47 |
\newcommand {\kommentar}[1]{\marginpar{\begin{flushright}\tiny#1\end{flushright}}}
|
wneuper@2372
|
48 |
\newcommand {\frage}[1]{
|
wneuper@2372
|
49 |
\marginpar{
|
wneuper@2372
|
50 |
\begin{tabular}{p{5mm} p{2cm}}
|
wneuper@2372
|
51 |
\begin{flushleft}
|
wneuper@2372
|
52 |
{\large?}
|
wneuper@2372
|
53 |
\end{flushleft}
|
wneuper@2372
|
54 |
&
|
wneuper@2372
|
55 |
\begin{flushright}
|
wneuper@2372
|
56 |
\tiny #1
|
wneuper@2372
|
57 |
\end{flushright}
|
wneuper@2372
|
58 |
\\
|
wneuper@2372
|
59 |
\end{tabular}
|
wneuper@2372
|
60 |
}
|
wneuper@2372
|
61 |
|
wneuper@2372
|
62 |
}
|
wneuper@2372
|
63 |
\newcommand {\bigquest}{\marginpar{\huge?}}
|
wneuper@2372
|
64 |
\newcommand {\cnumber}[1]{\put(8,4){\circle{11}}\put(5,1){#1}\hspace{5mm}}
|
wneuper@2372
|
65 |
|
wneuper@2372
|
66 |
\def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
|
wneuper@2372
|
67 |
\def\sisac{{\small${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
|
wneuper@2372
|
68 |
\def\see{$\rightarrow$}
|
wneuper@2372
|
69 |
|
wneuper@2372
|
70 |
% macro for relating to buttons on the gui
|
wneuper@2372
|
71 |
\newcommand {\button}[1]{$\langle${\it#1}$\rangle$}
|
wneuper@2372
|
72 |
|