Eine formale Semantik für die Java Modeling Language
Autor(en):
Zusammenfassung
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.
- Vollständige Referenz
- BibTeX
Bruns, D.,
(2012).
Eine formale Semantik für die Java Modeling Language.
Informatik-Spektrum: Vol. 35, No. 1.
Berlin Heidelberg:
Springer-Verlag.
(S. 45-49).
DOI: 10.1007/s00287-011-0532-0
@article{mci/Bruns2012,
author = {Bruns, Daniel},
title = {Eine formale Semantik für die Java Modeling Language},
journal = {Informatik-Spektrum},
volume = {35},
number = {1},
year = {2012},
,
pages = { 45-49 } ,
doi = { 10.1007/s00287-011-0532-0 }
}
author = {Bruns, Daniel},
title = {Eine formale Semantik für die Java Modeling Language},
journal = {Informatik-Spektrum},
volume = {35},
number = {1},
year = {2012},
,
pages = { 45-49 } ,
doi = { 10.1007/s00287-011-0532-0 }
}
Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.1007/s00287-011-0532-0
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
ISSN: 1432-122X
Datum: 2012
Typ: Text/Journal Article