Softwaretechnik 3 SS 2010 EinfÃ¼hrung in TLA+

Weitere Magazine

Empfehlungen

Info

Was ist TLA + ◮ Notation zur Spezifikation von Systemen ◮ Basierend auf temporaler Logik (LTL-{X}) ◮ TLA – Temporal Logic of Actions ◮ Mengenlehre ◮ Prädikatenlogik erster Stufe ◮ Modularisierung von Spezifikationen ◮ Komposition von Spezifikationen
Inhalt Allgemeines Beispiel einer Spezifikation Beispiel Semantik anhand des Beispiels Kompositionalität Stottern Das Beispiel vollständig erklärt Notation für temporale Formeln Über Fairness Mehr Notation und ein größeres Beispiel
Seite 1 und 2: Softwaretechnik 3 SS 2010 Einführu
Seite 3: Inhalt Allgemeines Beispiel einer S
Seite 7 und 8: Beispiel einer TLA + -Spezifikation
Seite 9 und 10: Bemerkung ◮ TLA + ist untypisiert
Seite 11 und 12: Terminologie ◮ Zustand (engl. sta
Seite 13 und 14: Inhalt Allgemeines Beispiel einer S
Seite 15 und 16: Spezifikation der Verhalten der Uhr
Seite 17 und 18: Inhalt Allgemeines Beispiel einer S
Seite 19 und 20: Typinvariante ◮ Der Wert der Vari
Seite 21 und 22: Die TLA + -Spezifikation einer Uhr
Seite 23 und 24: Operatoren von TLA + Operatoren fü
Seite 25 und 26: Kategorien von Systemeigenschaften
Seite 27 und 28: SF e (A) impliziert WF e (A). Bewei
Seite 29: Mehr Notation und ein größeres Be

Softwaretechnik 3 SS 2010 EinfÃ¼hrung in TLA+

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?