Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
master's thesis1 Design By Contract for Java -Revised
 

Summary: master's thesis1
Design By Contract for Java - Revised
Johannes Rieken
April 24th
, 2007
-- Correct System Design Group --
Responsible Supervisor: Prof. Dr. Ernst-R¨udiger Olderog
Second Supervisor: Dipl.-Inform. Andr´e Platzer
Advisor: Dipl.-Inform. Michael M¨oller
1
In German: Diplomarbeit, Studiengang Diplom Informatik
ii
Abstract
The software development method Design by Contract (DBC) bases on the idea of having
contracts between two software modules. A client-module guarantees to fulfil certain
conditions before calling a method from a supplier-module which in return guarantees
certain properties to be true after the method call returns [Mey92]. Some programming
languages like Eiffel [ECM06] or D [Wik07] support design by contract out of the box,
while the Java programming language [GJSB05] has minimal support for design by
contract only.

  

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

 

Collections: Computer Technologies and Information Sciences