Formal semantics for the Java modeling language

被引：0
|
作者：
Bruns, Daniel [1 ]
机构：
[1] Karlsruher Institut für Technologie (KIT), Institut für Theoretische Informatik, Am Fasanengarten 5, 76131 Karlsruhe, Germany
来源：
Informatik-Spektrum | 2012年 / 35卷 / 01期
关键词：
D O I：
10.1007/s00287-011-0532-0
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：45 / 49
页数：4
相关论文
共 50 条
  • [31] Animating the formalised semantics of a Java-like language
    Karlsruher Institut für Technologie, Germany
    不详
    Lect. Notes Comput. Sci., (216-232):
  • [32] FORMAL SEMANTICS OF NATURAL-LANGUAGE - KEENAN,EL
    MORTON, A
    CANADIAN JOURNAL OF PHILOSOPHY, 1982, 12 (04) : 805 - 808
  • [33] FORMAL SEMANTICS OF NATURAL-LANGUAGE - KEENAN,EL
    BENNETT, M
    JOURNAL OF PHILOSOPHICAL LOGIC, 1980, 9 (02) : 103 - 132
  • [34] FORMAL SEMANTICS OF NATURAL-LANGUAGE - KEENAN,EL
    EAGLESON, RD
    AUMLA-JOURNAL OF THE AUSTRALASIAN UNIVERSITIES LANGUAGE AND LITERATURE ASSOCIATION, 1979, (51): : 176 - 178
  • [35] FORMAL SEMANTICS OF NATURAL-LANGUAGE - KEENAN,EL
    BALDWIN, T
    PHILOSOPHICAL QUARTERLY, 1976, 26 (105): : 382 - 384
  • [36] FORMAL SEMANTICS OF NATURAL-LANGUAGE - KEENAN,EL
    OLIVER, GB
    REVIEW OF METAPHYSICS, 1976, 30 (01): : 131 - 132
  • [37] FORMAL SEMANTICS OF NATURAL-LANGUAGE - KEENAN,EL
    GAZDAR, G
    KLEIN, E
    LANGUAGE, 1978, 54 (03) : 663 - 667
  • [38] A comparative study of two formal semantics of the SIGNAL language
    Yang, Zhibin
    Bodeveix, Jean-Paul
    Filali, Mamoun
    FRONTIERS OF COMPUTER SCIENCE, 2013, 7 (05) : 673 - 693
  • [39] FORMAL SEMANTICS OF NATURAL-LANGUAGE - KEENAN,EL
    PLAS, R
    ANNEE PSYCHOLOGIQUE, 1977, 77 (02): : 600 - 601
  • [40] Sentence Generator for English Language using Formal Semantics
    Gore, Ankita
    Yadav, Preeti
    Chouhan, Vaishnavi
    Bajaj, Vanshika
    Kumar, M. Sasi
    Tayal, Madhuri A.
    INTERNATIONAL JOURNAL OF NEXT-GENERATION COMPUTING, 2023, 14 (01): : 292 - 297
12345