IntelliJML: a JML plugin for IntelliJ IDEA

Autor: Monteiro, Steven, Sokolovas, Erikas, Wittingen, Ellen, Dijk, Tom Van, Huisman, Marieke, Cok, David R.

Publikováno v: FTfJP 2021-Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021, 39-42
STARTPAGE=39;ENDPAGE=42;TITLE=FTfJP 2021-Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021

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,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e02819fadf75ccdbda283a64e1c83578
https://doi.org/10.1145/3464971.3468423