MuPAD Report: Ein denotationales Modell für ... - webexams.ch
MuPAD Report: Ein denotationales Modell für ... - webexams.ch
MuPAD Report: Ein denotationales Modell für ... - webexams.ch
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
INHALTSVERZEICHNIS<br />
11 <strong>Ein</strong>e denotationale Semantik für <strong>MuPAD</strong><br />
12 Überblick<br />
12.1 <strong>Modell</strong>ierung von Clustern<br />
12.2 Zusammenfassung von Clustern<br />
12.3 Na<strong>ch</strong>ri<strong>ch</strong>ten . . . . . . . . . . .<br />
12.3.1 Interne Na<strong>ch</strong>ri<strong>ch</strong>ten .<br />
12.3.2 Externe Na<strong>ch</strong>ri<strong>ch</strong>ten .<br />
12.4 Bes<strong>ch</strong>reibung von Objekten und Übertragungseinheiten<br />
13 Na<strong>ch</strong>ri<strong>ch</strong>ten<br />
13.1 Zieladresse Dest<br />
13.2 Sender Sender<br />
13.3 Typ Type . . . .<br />
13.4 Label Label . . . . .<br />
13.5 Interner Typ IType und Domain Dom<br />
13.6 Referenzen Re!<br />
13.7 Inhalt Cant ..<br />
13.8 Umgebung Env<br />
14 Bes<strong>ch</strong>reibung eines Clusters<br />
14.1 Daten-Objekte .<br />
14.1.1 Zustände von Daten-Objekten .<br />
14.1.2 Vor-Objekte . . . . . .<br />
14.1.3 Objekte .<br />
14.2 Funktions-Objekte .<br />
14.3 Die Übertragungseinheit innerhalb der Cluster.<br />
14.3.1 Objektmenge .<br />
14.3.2 Na<strong>ch</strong>ri<strong>ch</strong>ten .<br />
14.3.3 Zustände. . . . . . . . .<br />
14.3.4 Vor-Übertragungseinheit<br />
14.3.5 Übertragungseinheit<br />
15 Die Semantik von <strong>MuPAD</strong><br />
15.1 Objektmenge und Na<strong>ch</strong>ri<strong>ch</strong>ten.<br />
15.2 Zustände .<br />
15.3 Vor-Übertragungseinheit ....<br />
15.4 Übertragungseinheit<br />
15.5 <strong>MuPAD</strong> ....<br />
16 Zusammenfassung<br />
ix<br />
109<br />
112<br />
.112<br />
· 113<br />
· 113<br />
· 113<br />
· . 114<br />
· 114<br />
115<br />
· . 115<br />
· 115<br />
· 116<br />
· . 118<br />
.118<br />
· 118<br />
· 118<br />
· 118<br />
120<br />
· 120<br />
· . 120<br />
· 122<br />
· 126<br />
· 126<br />
· 127<br />
· . 127<br />
· 127<br />
· 128<br />
· . 128<br />
· 129<br />
130<br />
· 130<br />
· 131<br />
· . 131<br />
... 132<br />
· 132<br />
133