author | Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> |
Wed, 12 Mar 2014 17:43:22 +0100 | |
changeset 55404 | ab97437e021a |
child 55466 | 55c2d2ee3f92 |
permissions | -rw-r--r-- |
1 \chapter{Isabelle and {\isac}}
2 \label{cha:isabelle_isac}
5 \section{Isabelle}
6 \label{sec:isabelle}
8 \subsection{User Requirements}
9 about half page
11 \subsection{Technologies}
12 about 4 pages
14 \subsection{Architecture}
15 about 2 pages
17 \subsection{Integration of Standard ML and Scala}
18 about 1 page
20 \subsection{Introduction of Parallelism and Concurrency}
21 about 3 pages
24 \section{{\isac}}
25 \label{sec:isac}
27 \subsection{Philosophy and User Requirements}
28 about 2 pages
30 \subsection{Initial Architecture}
31 about 2 pages
33 \subsection{Integration with Isabelle\'s Parallelism}
34 about 2 pages
36 \subsection{Concurrent User Session Management}
37 about 5 pages