Nächste Seite:
Übungen
Aufwärts:
Softwaretechnik I Vorlesung Wintersemster
Vorherige Seite:
Beispiel Spezifikation (dynamisch)
Mathematische Hilfsmittel
Objekte (Daten):
Mengen
Relationen, Funktionen
Strukturen (Graphen, Bäume)
Zustandsübergangssysteme:
(endliche) Automaten
Petri-Netze
Eigenschaften:
Aussagenlogik
Prädikatenlogik
Johannes Waldmann 2012-02-01