\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: 

