IntelliJML: A JML plugin for IntelliJ IDEA

Steven Monteiro; Erikas Sokolovas; Ellen Wittingen; Tom van Dijk; Marieke Huisman

doi:10.1145/3464971.3468423

IntelliJML: A JML plugin for IntelliJ IDEA

Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

148 Downloads (Pure)

Abstract

Java code can be annotated with formal specifications using the Java Modelling Language (JML). Previous work has provided IDE plugins intended to help write JML, but mostly for the Eclipse IDE. We introduce IntelliJML, a JML plugin for IntelliJ IDEA, with a focus on ease of use and maintainability. Features such as syntax, semantic, and type checking, as well as syntax highlighting and code completion are integrated into the plugin. The plugin can also be extended in the future to add more features. The source code for the plugin can be found at https://gitlab.utwente.nl/fmt/intellijml.

Original language	English
Title of host publication	FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021
Editors	David R. Cok
Place of Publication	New York, NY
Publisher	Association for Computing Machinery
Pages	39-42
Number of pages	4
ISBN (Electronic)	978-1-4503-8543-5
ISBN (Print)	978-1-4503-8543-5
DOIs	https://doi.org/10.1145/3464971.3468423
Publication status	Published - 13 Jul 2021
Event	23rd ACM International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2021 - Virtual, Online, Denmark Duration: 13 Jul 2021 → 13 Jul 2021 Conference number: 23

Conference

Conference	23rd ACM International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2021
Abbreviated title	FTfJP 2021
Country/Territory	Denmark
City	Virtual, Online
Period	13/07/21 → 13/07/21
Other	Co-located with ECOOP/ISSTA 2021

Keywords

Error checking
IDE
IntelliJ IDEA
Interactive Development Environment
Java
Java Modelling Language
JML
Plugin

Access to Document

10.1145/3464971.3468423

IntelliJMLFinal published version, 716 KBLicence: Taverne

Cite this

Monteiro, S., Sokolovas, E., Wittingen, E., Dijk, T. V., & Huisman, M. (2021). IntelliJML: A JML plugin for IntelliJ IDEA. In D. R. Cok (Ed.), FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021 (pp. 39-42). Association for Computing Machinery. https://doi.org/10.1145/3464971.3468423

@inproceedings{7591768dd9d94ad9b7164caf3dbfb692,

title = "IntelliJML: A JML plugin for IntelliJ IDEA",

abstract = "Java code can be annotated with formal specifications using the Java Modelling Language (JML). Previous work has provided IDE plugins intended to help write JML, but mostly for the Eclipse IDE. We introduce IntelliJML, a JML plugin for IntelliJ IDEA, with a focus on ease of use and maintainability. Features such as syntax, semantic, and type checking, as well as syntax highlighting and code completion are integrated into the plugin. The plugin can also be extended in the future to add more features. The source code for the plugin can be found at https://gitlab.utwente.nl/fmt/intellijml. ",

keywords = "Error checking, IDE, IntelliJ IDEA, Interactive Development Environment, Java, Java Modelling Language, JML, Plugin",

author = "Steven Monteiro and Erikas Sokolovas and Ellen Wittingen and Dijk, {Tom van} and Marieke Huisman",

note = "Publisher Copyright: {\textcopyright} 2021 ACM.; 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2021, FTfJP 2021 ; Conference date: 13-07-2021 Through 13-07-2021",

year = "2021",

month = jul,

day = "13",

doi = "10.1145/3464971.3468423",

language = "English",

isbn = "978-1-4503-8543-5",

pages = "39--42",

editor = "Cok, {David R.}",

booktitle = "FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021",

publisher = "Association for Computing Machinery",

address = "United States",

}

Monteiro, S, Sokolovas, E, Wittingen, E, Dijk, TV & Huisman, M 2021, IntelliJML: A JML plugin for IntelliJ IDEA. in DR Cok (ed.), FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021. Association for Computing Machinery, New York, NY, pp. 39-42, 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2021, Virtual, Online, Denmark, 13/07/21. https://doi.org/10.1145/3464971.3468423

IntelliJML: A JML plugin for IntelliJ IDEA. / Monteiro, Steven; Sokolovas, Erikas; Wittingen, Ellen et al.
FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021. ed. / David R. Cok. New York, NY: Association for Computing Machinery, 2021. p. 39-42.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - IntelliJML

T2 - 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2021

AU - Monteiro, Steven

AU - Sokolovas, Erikas

AU - Wittingen, Ellen

AU - Dijk, Tom van

AU - Huisman, Marieke

N1 - Conference code: 23

PY - 2021/7/13

Y1 - 2021/7/13

N2 - Java code can be annotated with formal specifications using the Java Modelling Language (JML). Previous work has provided IDE plugins intended to help write JML, but mostly for the Eclipse IDE. We introduce IntelliJML, a JML plugin for IntelliJ IDEA, with a focus on ease of use and maintainability. Features such as syntax, semantic, and type checking, as well as syntax highlighting and code completion are integrated into the plugin. The plugin can also be extended in the future to add more features. The source code for the plugin can be found at https://gitlab.utwente.nl/fmt/intellijml.

AB - Java code can be annotated with formal specifications using the Java Modelling Language (JML). Previous work has provided IDE plugins intended to help write JML, but mostly for the Eclipse IDE. We introduce IntelliJML, a JML plugin for IntelliJ IDEA, with a focus on ease of use and maintainability. Features such as syntax, semantic, and type checking, as well as syntax highlighting and code completion are integrated into the plugin. The plugin can also be extended in the future to add more features. The source code for the plugin can be found at https://gitlab.utwente.nl/fmt/intellijml.

KW - Error checking

KW - IDE

KW - IntelliJ IDEA

KW - Interactive Development Environment

KW - Java

KW - Java Modelling Language

KW - JML

KW - Plugin

UR - http://www.scopus.com/inward/record.url?scp=85113224960&partnerID=8YFLogxK

U2 - 10.1145/3464971.3468423

DO - 10.1145/3464971.3468423

M3 - Conference contribution

AN - SCOPUS:85113224960

SN - 978-1-4503-8543-5

SP - 39

EP - 42

BT - FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021

A2 - Cok, David R.

PB - Association for Computing Machinery

CY - New York, NY

Y2 - 13 July 2021 through 13 July 2021

ER -

Monteiro S, Sokolovas E, Wittingen E, Dijk TV , Huisman M. IntelliJML: A JML plugin for IntelliJ IDEA. In Cok DR, editor, FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021. New York, NY: Association for Computing Machinery. 2021. p. 39-42 Epub 2021 Jul 11. doi: 10.1145/3464971.3468423

IntelliJML: A JML plugin for IntelliJ IDEA

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this