equal
deleted
inserted
replaced
14 \item{\bf Calculation} is the document for interactive construction of a |
14 \item{\bf Calculation} is the document for interactive construction of a |
15 result from given items according to some \see Problem definition. It is a |
15 result from given items according to some \see Problem definition. It is a |
16 variant of ``structured derivations''~\cite{Back-SD09}. |
16 variant of ``structured derivations''~\cite{Back-SD09}. |
17 |
17 |
18 \item{\bf Descriptor} is the heading constant of a \see Model-Item in the |
18 \item{\bf Descriptor} is the heading constant of a \see Model-Item in the |
19 fields "Given", "Find" and "Relate" (and not in pre-conditions). It indicates |
19 fields "Given", "Find" and "Relate" (and not in where_-conditions). It indicates |
20 the kind of item and constrains the respective type. |
20 the kind of item and constrains the respective type. |
21 |
21 |
22 \item{\bf Example} specifies a particular \see Calculation. It comprises text |
22 \item{\bf Example} specifies a particular \see Calculation. It comprises text |
23 and/or figure for the student and a \see Formalisation. |
23 and/or figure for the student and a \see Formalisation. |
24 |
24 |
42 |
42 |
43 \item{\bf Model} comprises four fields of \see Model-Items in the line |
43 \item{\bf Model} comprises four fields of \see Model-Items in the line |
44 of~\cite{gries}: |
44 of~\cite{gries}: |
45 \begin{compactitem} |
45 \begin{compactitem} |
46 \item {\bf Given} for the input-items |
46 \item {\bf Given} for the input-items |
47 \item {\bf Where} for the pre-conditions constraining the input-items |
47 \item {\bf Where} for the where_-conditions constraining the input-items |
48 \item {\bf Find} for the output-items |
48 \item {\bf Find} for the output-items |
49 \item {\bf Relate} for a part of the post-condition capturing the essence of |
49 \item {\bf Relate} for a part of the post-condition capturing the essence of |
50 a problem relating input and output |
50 a problem relating input and output |
51 \end{compactitem} |
51 \end{compactitem} |
52 |
52 |