Band 35 (2012) http://dl.gi.de/handle/20.500.12116/16034 2026-07-21T13:38:44Z 2026-07-21T13:38:44Z IT-Compliance Strasser, Artur Wittek, Michael http://dl.gi.de/handle/20.500.12116/9447 2019-04-01T15:46:53Z 2012-01-01T00:00:00Z IT-Compliance Strasser, Artur; Wittek, Michael 2012-01-01T00:00:00Z Mitteilungen der Schweizer Informatik Gesellschaft / 1_2012 http://dl.gi.de/handle/20.500.12116/9445 2019-04-01T15:46:53Z 2012-01-01T00:00:00Z Mitteilungen der Schweizer Informatik Gesellschaft / 1_2012 2012-01-01T00:00:00Z Mitteilungen der Gesellschaft für Informatik 213. Folge (Fortsetzung) http://dl.gi.de/handle/20.500.12116/9444 2019-04-01T15:46:53Z 2012-01-01T00:00:00Z Mitteilungen der Gesellschaft für Informatik 213. Folge (Fortsetzung) 2012-01-01T00:00:00Z Eine formale Semantik für die Java Modeling Language Bruns, Daniel http://dl.gi.de/handle/20.500.12116/9446 2019-04-01T15:46:53Z 2012-01-01T00:00:00Z 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