summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex
blob: 0288bfdd40249663a8a9c1fe8d99cd876b7ca7af (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
\documentclass[twoside]{omdoc}
\usepackage{stex}
\usepackage[recorddeps]{reqdoc}
\usepackage{VMeta}
\usepackage[pdftex, colorlinks=true, linkcolor=blue, citecolor=blue, filecolor=blue, pagecolor=blue, urlcolor=blue, pdftitle=V 1.0, pdfauthor=Administrator, pdfsubject=, pdfkeywords=20.10.97]{hyperref}


\WAperson[id=jdoe,affiliation=dfki,department=skss,
          url=http://dfki.de/jdoe]
         {John Doe}
\WAperson[id=miko,affiliation=jacu,department=case,
          url=http://kwarc.info/kohlhase]
         {Michael Kohlhase}
\WAinstitution[id=case,acronym=CASE,shortname=Center for Adv. Sys. Engineering,
               url=http://jacobs-university.de/ses/case,partof=jacu]
              {Center for Advanced Systems Engineering}
\WAinstitution[id=jacu,url=http://jacobs-university.de]
              {Jacobs University Bremen}
\WAinstitution[id=skss,url=http://dfki.de/sks,partof=dfki,shortname=Safe\&Secure Cognitive
Systems,acronym=SKS]
              {Safe and Secure Cognitive Systems}
\WAinstitution[id=dfki,url=http://dfki.de,shortname=DFKI,acronym=DFKI]
              {German Research Center for Artificial Intelligence}
\begin{document}
\svnInfo $Id: requirements.tex 1968 2012-01-03 07:56:56Z kohlhase $
\svnKeyword $HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/reqdoc/requirements.tex $
\begin{DCmetadata}[maketitle] 
  \DCMtitle{Requirements for Semantic Requirements Documents}
  \DCMcreators{miko,jdoe}
  \DCMdate{\today}
  \DCMabstract{An example of a requirements document marked up with the {\texttt{reqdoc}}
    and {\texttt{VMeta}} from {\stex}}
  \VMversion{1.5}
  \VMdocstate{current} 
  \VMcreated{28.01.2008}
  \VMresponsible{miko}
\end{DCmetadata}

\begin{VMchangelist}
  \begin{VMchange}{07.02.08}{1.0}{miko}
    made initiale version 1.0 (empty skeleton file)
  \end{VMchange}
  \begin{VMchange}{07.03.08}{1.1}{miko}
    added two requirements
  \end{VMchange}
  \begin{VMchange}{12.05.08}{1.2}{miko}
    simplified some formulations
  \end{VMchange}
  \begin{VMchange}{17.05.08}{1.3}{miko}
    added third requirement that depends on the first two.
  \end{VMchange}
\end{VMchangelist}

\begin{VMcertification}
  \begin{VMcertified}{12.02.08}{1.1}{miko}{needs work}
    some formulations still unclear, but correct in principle
  \end{VMcertified}
  \begin{VMcertified}{15.05.08}{1.2}{jdoe}{at DFKI}
    may need another requirement.
  \end{VMcertified}
  \begin{VMcertified}{19.02.08}{1.3}{jdoe}{at DFKI}
    certified: this is what DFKI wants. 
  \end{VMcertified}
\end{VMcertification}
\clearpage

\begin{omgroup}{Introduction} 
\begin{omtext}
In this document we show how to use the {\texttt{reqdoc}} package, unfortauntely, the
requirements themselves are quite phony, since they are only for introductory purposes.
\end{omtext}
\end{omgroup}


\begin{module}[id=user-general-reqs]
\importmodule[cds/background]{background}

\begin{omgroup}{Some Requirements}  

\begin{requirements}[numbering=yes,prefix=U]
  \begin{requirement}[id=acceptdata,prio=2]
    {Accept {\termref[cd=background,name=data]{data}} from heterogeneous 
            {\termref[cd=background,name=source]{data sources}}}
    \reqnote{in particular: $\data$}
  \end{requirement} 

  \begin{requirement}[id=reftest,prio=1]
    {do something with the data to test the reference}
    \reqnote{not really, this is just a test}
  \end{requirement}

  \begin{requirement}[id=areftest,prio=1,refs={acceptdata,reftest}] 
    {do something with the data to test the reference}
    \reqnote{not really, this is just a test}
  \end{requirement}
\end{requirements}
\end{omgroup}

\begin{omgroup}{Requirements as tables}

\begin{omtext}
  We can also format requirements as tables
\end{omtext}

\begin{reqtable}[prefix=U]
  \reqline[id=tabacceptdata,prio=2]
    {Accept {\termref[cd=background,name=data]{data}} from heterogeneous 
            {\termref[cd=background,name=source]{data sources}}}
    {in particular: $\data$}

  \reqline[id=tabreftest,prio=1]
    {do something with the data to test the reference
      
    do something with the data to test the reference}
    {not really, this is just a test}

  \reqline[id=tabareftest,prio=1,refs={tabacceptdata,tabreftest}]
    {do something with the data to test the reference}
    {not really, this is just a test}
\end{reqtable}
\end{omgroup}
\end{module}

\begin{omgroup}{Conclusion}
  \begin{omtext}
    See, it was quite simple
  \end{omtext}
\end{omgroup}
\end{document}
\input{rest}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: