Spezifikationsmodule - Software and Systems Engineering - TUM

Weitere Magazine

Empfehlungen

Info

Technische Universität München Fakultät für Informatik Modellbasierte Entwicklung: <strong>Spezifikationsmodule</strong> Diplomarbeit Aufgabensteller: Betreuer: Bearbeiter: Prof. Dr. Dr. h.c. Manfred Broy Dr. Bernhard Schätz Florian Hölzl Abgabedatum: 13. Mai 2005
Ich versichere, dass ich diese Diplomarbeit selbständig verfasst und nur die angegebenen Quellen und Hilfsmittel verwendet habe. Unterschleissheim, den 12. Mai 2005 (Florian Hölzl)
Seite 1: Modellbasierte Entwicklung: Spezifi
Seite 5 und 6: Zusammenfassung Im Bereich eingebet
Seite 7 und 8: 6 Fazit und Ausblick 58 6.1 Einordn
Seite 9 und 10: Entwicklungsprozesses und der Einze
Seite 11 und 12: Kapitel 2 Modelltransformationen, W
Seite 13 und 14: Recheneinheiten bzw. -funktionen da
Seite 15 und 16: oder Ausgabeschnittstelle der Kompo
Seite 17 und 18: Modellschnittstellen Datentypen, Te
Seite 19 und 20: ) result has Name(np, data.s) and r
Seite 21 und 22: ErrorTreatment Verhalten :Cntrl?Sta
Seite 23 und 24: 2.5 Einschränkungen für die Model
Seite 25 und 26: Kapitel 3 Einführungsbeispiel: Typ
Seite 27 und 28: DTD 0..* DTDModule 0..* TypeDef 0..
Seite 29 und 30: 1. eines der beiden Zeichen ist ein
Seite 31 und 32: Haben wir namensgleiche Konstruktor
Seite 33 und 34: Abschließend erzeugen wir die Kons
Seite 35 und 36: 30 Abbildung 3.3: Eingabedialog zur
Seite 37 und 38: Kapitel 4 Spezifikationsvereinigung
Seite 39 und 40: ErrorTreatment Verhalten :Cntrl?Sta
Seite 41 und 42: DataDefinition Component Constructo
Seite 43 und 44: ... exists constructorMap: set (Con
Seite 45 und 46: Kapitel 5 Interaktive Spezifikation
Seite 47 und 48: 5.2.1 Struktursicht Die Struktursic
Seite 49 und 50: Abbildung 5.3: Dialog für Zuständ
Seite 51 und 52: leiten wir die zu vereinigenden Kon
Seite 53 und 54:
5.4 Umsetzung der Dialogführung in
Seite 55 und 56:
tm_fp3.one = fp3_it.one.TransitionS
Seite 57 und 58:
Abhängigkeiten bezüglich dieser b
Seite 59 und 60:
deten Quellstrukturen identisch zum
Seite 61 und 62:
esult has Name(mk_prt.copy, concat(
Seite 63 und 64:
Kapitel 6 Fazit und Ausblick Abschl
Seite 65 und 66:
nisch umsetzbar, da die bisherigen
Seite 67 und 68:
Anhang A ODL Programm der Spezifika
Seite 69 und 70:
Das im nächsten Abschnitt abgedruc
Seite 71 und 72:
sel1:Selector, sel2:Selector ) := (
Seite 73 und 74:
* LocVariable */ exists lvar_map_po
Seite 75 und 76:
exists lvm_fpactm:lvar_map . ( fpac
Seite 77 und 78:
forall ap1:(ae.one.Args) . exists a
Seite 79 und 80:
fpclvrs_it.Component = component_pa
Seite 81 und 82:
exists copy_action_set: lfp FP_CACT
Seite 83 und 84:
exists new_automaton:new Automaton
Seite 85 und 86:
)) and /* copy constructors not mer
Seite 87 und 88:
* merged states are part of root st
Seite 89 und 90:
nctsgm_mkifp.orig.SourcePoint = mk_
Seite 91 und 92:
nlvm_elem_lvcnm.orig.one = mk_lvc.o
Seite 93 und 94:
nlvarcopy_arg.orig = param and resu
Seite 95 und 96:
exists new_copy_output_map:map orig
Seite 97 und 98:
new_constructor_map, new_copy_const
Seite 99:
[TUM04b] AutoRaid. http://www4.in.t
Alle anzeigen

Spezifikationsmodule - Software and Systems Engineering - TUM

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?