Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Fachbereich Informatik Diplomarbeit
 

Summary: Fachbereich Informatik
Diplomarbeit
Graphische Spezifikationssprachen:
Der Zusammenhang zwischen
Constraint Diagrams und
Real­Time Symbolic Timing Diagrams
Vorgelegt von: Jochen Hoenicke
Erstpr˜ ufer: Prof. Dr. E.­R. Olderog
Zweitpr˜ ufer: Prof. Dr. W. Damm
Oldenburg, den 14. Juni 1999

Inhaltsverzeichnis
1 Einleitung 4
1.1 Fallstudie Bahn˜ ubergang . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Constraint Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.1 Beispiel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.2 Aktionsdiagramme . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Real­Time Symbolic Timing Diagrams . . . . . . . . . . . . . . . 9
1.3.1 Beispiel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.2 Informelle Semantik . . . . . . . . . . . . . . . . . . . . . 10

  

Source: Appelrath, Hans-Jürgen - Department für Informatik, Carl von Ossietzky Universität Oldenburg

 

Collections: Computer Technologies and Information Sciences