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
|
\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}
\DCMperson[id=jdoe,affiliation={DFKI Bremen},
url=http://dfki.de/jdoe]{John Doe}
\DCMperson[id=miko,affiliation={Jacobs University, Bremen},
url=http://kwarc.info/kohlhase]{Michael Kohlhase}
\begin{document}
\svnInfo $Id: requirements.tex 1324 2010-05-07 07:18:32Z 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:
|