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,...