%0 Journal Article
%T Beweisen statt Testen - H here Zuverl ssigkeit durch die Java Modeling Language
%A Lederer Edgar
%J IMVS Fokus Report
%D 2008
%I Fachhochschule Nordwestschweiz FHNW, Institut f¨¹r Mobile und Verteilte Systeme
%X Unser t gliches Leben wird immer st rker von Software durchdrungen; daher ist die Korrektheit von Software von fundamentaler Bedeutung. Gleichzeitig wird Software immer komplizierter; daher sind m chtige Methoden zum Nachweis dieser Korrektheit erforderlich. Der wichtigste Ansatz in dieser Sache ¨C der mathematische Beweis der Korrektheit ¨C gewinnt zusehends an Bedeutung f¨¹r die industrielle Praxis. Im Folgenden werden die grundlegenden Ideen zu diesem Ansatz erl utert sowie eine aktuelle Sprache, die Java Modeling Language, zusammen mit ihren wichtigsten Werkzeugen zur Realisierung dieses Ansatzes vorgestellt.
%K Software Korrektheit
%K JML
%K Software Verifikation
%K Zusicherungen
%K Hoare-Logik
%U http://www.fhnw.ch/technik/imvs/publikationen/artikel-2008/beweisen-statt-testen-2013-hoehere-zuverlaessigkeit-durch-die-java-modeling-language/at_download/file