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 条
  • [41] A comparative study of two formal semantics of the SIGNAL language
    Zhibin Yang
    Jean-Paul Bodeveix
    Mamoun Filali
    Frontiers of Computer Science, 2013, 7 : 673 - 693
  • [42] FORMAL SEMANTICS AND PHILOSOPHY OF LANGUAGE - FRENCH - PASCAL,E
    VERLEY, X
    REVUE PHILOSOPHIQUE DE LA FRANCE ET DE L ETRANGER, 1992, 117 (01): : 105 - 107
  • [43] Defining a formal coalgebraic semantics for the Rosetta specification language
    Kong, C
    Alexander, P
    Menon, C
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (11) : 1322 - 1349
  • [44] Describing process plans as the formal semantics of a language of shape
    Brown, KN
    McMahon, CA
    Williams, JHS
    ARTIFICIAL INTELLIGENCE IN ENGINEERING, 1996, 10 (02): : 153 - 169
  • [45] LANGUAGE EXTENSION FOR GRAPH PROCESSING AND ITS FORMAL SEMANTICS
    PRATT, TW
    FRIEDMAN, DP
    COMMUNICATIONS OF THE ACM, 1971, 14 (07) : 460 - &
  • [46] A comparative study of two formal semantics of the SIGNAL language
    Zhibin YANG
    JeanPaul BODEVEIX
    Mamoun FILALI
    Frontiers of Computer Science, 2013, 7 (05) : 673 - 693
  • [47] A cooperative service composition language and its formal semantics
    Zhang, Xiuguo
    Zhang, Weishi
    SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS, 2006, : 333 - +
  • [48] Describing process plans as the formal semantics of a language of shape
    Univ of Bristol, Bristol, United Kingdom
    Artif Intell Eng, 2 (153-169):
  • [49] Formal semantics of the ODMG 3.0 object query language
    Zamulin, A
    ADVANCES IN DATABASES AND INFORMATION SYSTEMS, PROCEEDINGS, 2003, 2798 : 293 - 307
  • [50] Formal semantics and natural language. An introductory textbook
    Pafel, J
    BEITRAGE ZUR GESCHICHTE DER DEUTSCHEN SPRACHE UND LITERATUR, 1998, 120 (03): : 450 - 452
12345