Diplomarbeit aus dem Jahr 1999 im Fachbereich Informatik - Software, Karlsruher Institut fur Technologie (KIT) (Informatik, Programmstrukturen und Datenorganisation), Sprache: Deutsch, Abstract: Inhaltsangabe: Einleitung: Die meisten Artikel zum Thema Zusicherungen, darunter auch fast alle hier angesprochenen, heben die Vorzuge von Zusicherungen als Hilfsmittel beim Programmieren hervor, ohne aber ihre Kernaussage - mit Zusicherungen kann man besser programmieren als ohne - empirisch zu untermauern. Einige Autoren, wie z. B. Rosenblum und McKim, haben selbst viel mit Zusicherungen...