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 )