http://dl.gi.de/handle/20.500.12116/16036 2026-07-21T12:52:33Z http://dl.gi.de/handle/20.500.12116/9447 IT-Compliance Strasser, Artur; Wittek, Michael 2012-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/9445 Mitteilungen der Schweizer Informatik Gesellschaft / 1_2012 2012-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/9444 Mitteilungen der Gesellschaft für Informatik 213. Folge (Fortsetzung) 2012-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/9446 Eine formale Semantik für die Java Modeling Language Bruns, Daniel Die Java Modeling Language (JML) wurde als Ansatz konzipiert, um das Spezifizieren von Software-Produkten einer breiteren Masse zugänglich zu machen. Die Sprache baut auf Java auf und wird in einer Vielzahl von Verifikationswerkzeugen eingesetzt. Im Gegensatz zu anderen Modellierungssprachen mangelt es JML jedoch weiterhin an einer fundierten formalen Referenzsemantik. In diesem Beitrag wird ein Schritt zu diesem Ziel unternommen, der ausschließlich auf elementaren mathematischen Notationen beruht und unabhängig von der Semantikdefinition von Java selbst ist. 2012-01-01T00:00:00Z