Martin Czygan 
Konzept der Assertions und Prinzip von Design-by-Contract in einer kurzen Darstellung (Stand 2005) 

Studienarbeit aus dem Jahr 2005 im Fachbereich Informatik — Software, Note: 1, Universität Leipzig (Institut für angewandte Telematik), Veranstaltung: Wegweisende Arbeiten in der Softwaretechnik II. WS 2004/2005., Sprache: Deutsch, Abstract: Die vorliegende Ausarbeitung stellt das Konzept der Assertions vor. Assertions stellen eine Umsetzung des Design-by-Contract-Prinzips dar
und ermöglichen eine Überwachung von Code zur Laufzeit. Im folgenden sollen, ausgehend von David S. Rosenblums Paper “Toward a Method of Programming with Assertions” sowohl das Konzept der Assertions, als auch das Prinzip von Design-By-Contract vorgestellt werden. (Ergänzt wird dieser Text durch eine weitere Ausarbeitung im Rahmen des o.g. Seminars. Titel: Assertions in Java )