summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex')
-rw-r--r--Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex126
1 files changed, 126 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex
new file mode 100644
index 00000000000..78ea705fa5f
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex
@@ -0,0 +1,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:
+