Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Studiengang Informatik Diplomarbeit
 

Summary: Studiengang Informatik
Diplomarbeit
Trace- und Zeit- Zusicherungen
beim Programmieren mit Vertrag
vorgelegt von
Mark Brörkens
Betreuender Gutachter
Prof. Dr. Ernst-Rüdiger Olderog
Zweiter Gutachter
Dipl.-Inform. Dietrich Boles
Oldenburg, 31. Januar 2002
ii
Inhaltsverzeichnis
1 Einleitung 1
1.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Zielsetzung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 Aufbau der Arbeit . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.4 Vorbemerkungen . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2 Programmieren mit Vertrag 5
2.1 Einleitung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

  

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

 

Collections: Computer Technologies and Information Sciences