http://dl.gi.de/handle/20.500.12116/16036 Thu, 23 Jul 2026 15:01:13 GMT 2026-07-23T15:01:13Z http://dl.gi.de/handle/20.500.12116/9447 IT-Compliance Strasser, Artur; Wittek, Michael Sun, 01 Jan 2012 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/9447 2012-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/9445 Mitteilungen der Schweizer Informatik Gesellschaft / 1_2012 Sun, 01 Jan 2012 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/9445 2012-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/9444 Mitteilungen der Gesellschaft für Informatik 213. Folge (Fortsetzung) Sun, 01 Jan 2012 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/9444 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. Sun, 01 Jan 2012 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/9446 2012-01-01T00:00:00Z