Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Carl von Ossietzky Universitt Oldenburg Department fr Informatik -Abteilung Correct System Design
 

Summary: Carl von Ossietzky Universität Oldenburg
Department für Informatik - Abteilung Correct System Design
Diplomstudiengang Informatik
Diplomarbeit
Runtime-Checking von
JML-Spezifikationen mit Jass
Vorgelegt von: Martin Schnaidt
Betreuender Gutachter: Prof. Dr. Ernst-Rüdiger Olderog
Zweiter Gutachter: Dipl. inf. André Platzer
Oldenburg, den 28.02.2006
Inhaltsverzeichnis
1 Einleitung 10
1.1 Aufgaben und Ziele . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2 Aufbau der Arbeit . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2 Grundlagen 13
2.1 JML - Die Java Modeling Language . . . . . . . . . . . . . . . . . 13
2.1.1 Einführung . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.1.2 Invarianten und Constraints . . . . . . . . . . . . . . . . . 16
2.1.3 JML-spezifische Ausdrücke und Operatoren . . . . . . . . . 21
2.1.4 Modellvariablen und Initiallies . . . . . . . . . . . . . . . . 27

  

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

 

Collections: Computer Technologies and Information Sciences