diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex')
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex | 136 |
1 files changed, 136 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..0288bfdd402 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex @@ -0,0 +1,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: + |