IntelliJML: A JML plugin for IntelliJ IDEA (FTfJP 2021 - Workshop on Formal Techniques for Java-like Programs)

Write a Blog >>

Sun 11 - Sat 17 July 2021 Online

co-located with ECOOP and ISSTA 2021

Who

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

Track

FTfJP 2021

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 13 Jul 2021 16:50 - 17:20 at FTfJP - FTfJP Workshop-2

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

File attachments

Slides used in the workshop (IntelliJML.pdf)	262KiB

Steven MonteiroPresenter

University of Twente

Netherlands

Erikas SokolovasPresenter

University of Twente, The Netherlands

Netherlands

Ellen WittingenPresenter

University of Twente

Netherlands

Tom van Dijk

University of Twente

Netherlands

Marieke Huisman

University of Twente

Netherlands

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Tue 13 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

16:50 - 18:50	FTfJP Workshop-2FTfJP at FTfJP

16:50 30m Talk		IntelliJML: A JML plugin for IntelliJ IDEA FTfJP P: Steven Monteiro University of Twente, P: Erikas Sokolovas University of Twente, The Netherlands, P: Ellen Wittingen University of Twente, Tom van Dijk University of Twente, Marieke Huisman University of Twente File Attached
17:20 30m Talk		Ensuring correct cryptographic algorithm and provider usage at compile time FTfJP P: Weitian Xing University of Waterloo, Yuanhui Cheng University of Waterloo, Werner Dietl University of Waterloo Media Attached
17:50 30m Talk		Behavioural Separation with Parallel Usages FTfJP Iaroslav Golovanov Aalborg University, Hans Hüttel Department of Computer Science, Aalborg University, P: Mathias Steen Jakobsen Department of Computer Science, Aalborg University, Denmark, Mikkel Klinke Kettunen Department of Computer Science, Aalborg University, Denmark
18:20 30m Talk		Combining Formal and Machine Learning Techniques for the Generation of JML Specifications FTfJP P: Armand Puccetti , Gaël de Chalendar , Pierre-Yves Gibello DOI File Attached
18:50 30m Talk		JML and OpenJML for Java 16 FTfJP P: David Cok Safer Software Consulting, LLC File Attached