Academic Journals Database
Disseminating quality controlled scientific knowledge

Beweisen statt Testen - Höhere Zuverlässigkeit durch die Java Modeling Language

ADD TO MY LIST
 
Author(s): Lederer Edgar

Journal: IMVS Fokus Report
ISSN 1662-2014

Volume: 2;
Issue: 1;
Start page: 41;
Date: 2008;
Original page

Keywords: Software Korrektheit | JML | Software Verifikation | Zusicherungen | Hoare-Logik

ABSTRACT
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 – der mathematische Beweis der Korrektheit – 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.
Why do you need a reservation system?      Affiliate Program