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 条
  • [21] A Formal Semantics for a Quality of Service Contract Language
    Braga, Christiano
    Chalub, Fabricio
    Sztajnberg, Alexandre
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 203 (07) : 103 - 120
  • [22] Formal semantics of an IoT-specific language
    Cacciagrano, Diletta Romana
    Culmone, Rosario
    2018 32ND INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS WORKSHOPS (WAINA), 2018, : 579 - 584
  • [23] Codability and Robustness in Formal Natural Language Semantics
    Liefke, Kristina
    NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, JSAI-ISAI 2014, 2015, 9067 : 6 - 22
  • [24] Formal semantics of a classical-quantum language
    Deng, Yuxin
    Feng, Yuan
    THEORETICAL COMPUTER SCIENCE, 2022, 913 : 73 - 93
  • [25] Formal semantics for an abstract agent programming language
    Hindriks, KV
    de Boer, FS
    van der Hoek, W
    Meyer, JJC
    INTELLIGENT AGENTS IV: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1998, 1365 : 215 - 229
  • [26] Formal Action Semantics for a UML Action Language
    Yang, Mikai
    Michaelson, Greg J.
    Pooley, Rob J.
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (21) : 3608 - 3624
  • [27] On the Formal Semantics of MiniMaple and its Specification Language
    Khan, Muhammad Taimoor
    10TH INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY (FIT 2012), 2012, : 169 - 174
  • [28] Java']Java Jr.: Fully abstract trace semantics for a core Java']Java language
    Jeffrey, A
    Rathke, J
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3444 : 423 - 438
  • [29] Canica: An ide for the Java']Java Modeling Language
    Perez, Angelica B.
    Cheon, Yoonsik
    Gates, Ann Q.
    PROCEEDINGS OF THE 10TH IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND APPLICATIONS, 2006, : 32 - +
  • [30] The virtual reality modeling language and Java']Java
    Brutzman, D
    COMMUNICATIONS OF THE ACM, 1998, 41 (06) : 57 - 64
12345