1.1 --- a/doc-src/isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Sun Sep 09 16:29:03 2012 +0200
     1.2 +++ b/doc-src/isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Sun Sep 09 17:32:22 2012 +0200
     1.3 @@ -1075,10 +1075,27 @@
     1.4  
     1.5  \section{Workflow of Programming in the Prototype}\label{workflow}
     1.6  The previous section presented all the duties and tasks to be accomplished by
     1.7 -programmers of TP-based languages. The tasks are interrelated
     1.8 +programmers of TP-based languages. Some tasks are interrelated and comprehensive,
     1.9 +so first experiences with the workflow in programming are noted below. The notes
    1.10 +also capture requirements for future language development.
    1.11  
    1.12  \subsection{Preparations and Trials}\label{flow-prep}
    1.13 -TODO Build\_Inverse\_Z\_Transform.thy ... ``imports PolyEq DiffApp Partial\_Fractions''
    1.14 +% Build\_Inverse\_Z\_Transform.thy ... ``imports PolyEq DiffApp Partial\_Fractions''
    1.15 +The new graphical user-interface of Isabelle~\cite{makar-jedit-12} is a great
    1.16 +step forward for interactive theory and proof development --- and so it is for
    1.17 +interactive program development; the specific requirements raised by interactive
    1.18 +programming will be mentioned separately.
    1.19 +
    1.20 +The development in the {\sisac}-prototype was done in a separate
    1.21 +theory~\footnote{http://www.ist.tugraz.at/projects/isac/publ/Build\_Inverse\_Z\_Transform.thy}.
    1.22 +The workflow tackled the tasks more or less following the order of the
    1.23 +above sections from \S\ref{isabisac} to \S\ref{funs}. At each stage the
    1.24 +interactivity of Isabelle/jEdit is very supportive. For instance, as soon as the 
    1.25 +theorems for the Z-transform are established (see \S\ref{isabisac}) it is tempting
    1.26 +to see them at work:
    1.27 +
    1.28 +
    1.29 +
    1.30  .\\.\\.\\
    1.31  
    1.32  %JR: Hier sollte eigentlich stehen was nun bei 4.3.1 ist. Habe das erst kürzlich
    1.33 @@ -1149,7 +1166,7 @@
    1.34  TODO http://www.ist.tugraz.at/isac/index.php/Extend\_ISAC\_Knowledge\#Add\_an\_example ?
    1.35  
    1.36  
    1.37 -
    1.38 +http://www.ist.tugraz.at/projects/isac/publ/Inverse\_Z\_Transform.thy
    1.39  
    1.40  % \newpage
    1.41  % -------------------------------------------------------------------