We present a translation from Event-B machines to JML-specified Java class implementations and the EventB2Java Rodin plug-in that automates the translation.
We present a translation from Event-B machines to JML-specified Java class implementations and the EventB2Java Rodin plug-in that automates the translation.
We present a translation from Event-B machines to JML-specified Java class implementations and the EventB2Java Rodin plug-in that automates the translation.
This paper proposes translation rules of Java-JML source code to Event-B. Java Modeling Language (JML), a specification language for Java, provides an ease ...
Missing: programs. | Show results with:programs.
In this work, we present a translation from B machines to JML specifications. Our work allows developers to use different formal methods techniques and ...
Translating Event-B to JML-specified Java programs. V Rivera, N Cataño. Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1264-1271, 2014. 35 ...
Abstract— This paper proposes translation rules of Java-JML source code to Event-B. Java Modeling Language (JML), a specification language for Java, ...
Missing: programs. | Show results with:programs.
Translating Event-B to JML-specified Java programs. V Rivera, N Cataño. Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1264-1271, 2014. 35 ...
The definition of a syntactic translation from Event-B to JML-annotated Java programs, the implementation of the translation as the EventB2Java tool, ...
Jun 14, 2017 · In [2, 8], authors present a translation from Event-. B to Java, annotating the code with JML (Java Modelling. Language) specifications, and ...