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

ISBN-13: 9783640331611 / Niemiecki / Miękka / 2009 / 40 str.

Martin Czygan

Opis

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 Prinzip von Design-By-Contract vorgestellt werden. (Erganzt wird dieser Text durch eine weitere Ausarbeitung im Rahmen des o.g. Seminars. Titel: Assertions in Java )"