diff options
author | Karl Berry <karl@freefriends.org> | 2012-03-30 23:23:02 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-03-30 23:23:02 +0000 |
commit | 849996eca72af498b48b10fbea7f14c4b9d21b8f (patch) | |
tree | 2d40d42dfc9fc0b0622212cc220868f98345305f /Master/texmf-dist/doc/latex/stex/reqdoc | |
parent | d82e1c23973fd0271f93686f487bd1cee8dcd947 (diff) |
restore stex (ca. 28jan12)
git-svn-id: svn://tug.org/texlive/trunk@25792 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/reqdoc')
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/reqdoc/README | 12 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf | bin | 0 -> 287460 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf | bin | 0 -> 110091 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex | 136 |
4 files changed, 148 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/README b/Master/texmf-dist/doc/latex/stex/reqdoc/README new file mode 100644 index 00000000000..adc3131dbbd --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/reqdoc/README @@ -0,0 +1,12 @@ +reqdoc.sty: Semantic Markup for Requirement Specification Documents + +This package supplies a the infrastructure for writing requirement +specification documents with embedded semantic markup, and to generate +XML-based documents from them via the LaTeXML system. + +Copyright (c) 2008 Michael Kohlhase +The package is distributed under the terms of the +LaTeX Project Public License (LPPL) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/reqdoc diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf b/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf Binary files differnew file mode 100644 index 00000000000..1aa4d8127f0 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf Binary files differnew file mode 100644 index 00000000000..e3edea34302 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf 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: + |