Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Monteiro, Steven"'
Purpose - The purpose of this research was to explain the practices that govern or influence the relationship between moneylender ALMI and newcomers (refugees or immigrants) seeking entrepreneurial ventures1. Design/methodology/approach - This is a d
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-35769
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
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
https://doi.org/10.1145/3464971.3468423
