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 Universitt Leipzig (Institut fr 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 ermglichen 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. (Ergnzt wird dieser Text durch eine weitere Ausarbeitung im Rahmen des o.g. Seminars. Titel: Assertions in Java )