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.tex136
1 files changed, 0 insertions, 136 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex
deleted file mode 100644
index 0288bfdd402..00000000000
--- a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex
+++ /dev/null
@@ -1,136 +0,0 @@
-\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:
-