Studienarbeit aus dem Jahr 2005 im Fachbereich Informatik - Software, Note: 1, Universitat Leipzig (Institut fur 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 ermoglichen eine Uberwachung 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...