author | Jan Rocnik <jan.rocnik@student.tugraz.at> |
Fri, 31 Aug 2012 19:19:07 +0200 | |
changeset 42461 | 94c9a0735e2f |
parent 42381 | 8b94d811cb41 |
permissions | -rwxr-xr-x |
jan@42368 | 1 |
\section*{Preamble} |
jan@42381 | 2 |
This part gives a detailed review on the development and testing process of new programms. All of the following part is automatically generated out of an {\sisac{}}-theory file (\texttt{.thy} - extension). In this case the file is called \texttt{Build\_Inverse\_Z\_Transform} it can be found in the {\sisac{}} directory: |
jan@42381 | 3 |
\begin{center}\texttt{test/Tools/isac/ADDTESTS/course/}\end{center} |
jan@42381 | 4 |
{\sisac{}} provides inbuild tools for translating theories into latex documents. To set up such an envoriemt a file called \texttt{isacmakefile} is needed. Further information about this automatic generation can be found in \cite{wenzel2011system}. |
jan@42381 | 5 |
\par The following theory can be modified and used as a guiedline for implementing new material. Everything found here is just a snapshot of the work by \today. |