Suchergebnisse - Java Modeling Language - JML*

A specification language design for the Java Modeling Language (JML) using Java 5 annotations von Taylor, Kristina Boysen

“… The Java Modeling Language (JML) is one such specification language for Java that uses comments to specify contracts …”
Volltext

Automatic Recovery of Run-time Threats in Distributed Industrial Control Systems von Raptis, George E., Khan, Muhammad Taimoor, Koulamas, Christos, Serpanos, Dimitrios

“… Over the past few years, the transition from centralized to distributed industrial control systems (ICS) has introduced new challenges related to coordination, …”
Volltext

Specifying linked data structures in JML for combining formal verification and testing von Gladisch, Christoph, Tyszberowicz, Shmuel

“… The specifications are written in the Java Modeling Language (JML) and do not require extensions of that language …”
Volltext

Modular specification of frame properties in JML von Müller, Peter, Poetzsch-Heffter, Arnd, Leavens, Gary T.

“… ’, and by modularity rules for dependencies. For concreteness, we adapt this technique to the Java Modeling Language, JML. Copyright © 2003 John Wiley & Sons, Ltd …”
Volltext

Specifying subtypes in Safety Critical Java programs von Haddad, Ghaith, Leavens, Gary T.

“… SUMMARYReal‐time and safety‐critical code could benefit from the use of design patterns and frameworks that rely on subtyping and dynamic dispatch. However, …”
Volltext

On the Relationship between the Object Constraint Language (OCL) and the Java Modeling Language (JML) von Hamie, A.

“… The Java Modeling Language (JML) is a behavioural interface specification language designed for specifying Java classes and interfaces …”
Volltext

Synthesizing Inline Security Monitors for ICS Using Generative AI and FormalBench von Raptis, George E., Taimoor Khan, Muhammad, Koulamas, Christos, Serpanos, Dimitrios

“… In this paper, we explore how large language models (LLMs) can support the synthesis of inline security monitors by generating Java Modeling Language (JML …”
Volltext

LLM-based Generation of Formal Specification for Run-time Security Monitoring of ICS von Raptis, George E., Khan, Muhammad Taimoor, Koulamas, Christos, Serpanos, Dimitrios

“… In this paper, we explore the feasibility of using large language models (LLMs) to assist in generating JML-based inline security monitors for ICS applications …”
Volltext

Towards a Unified Run-Time Monitoring Framework for Distributed Industrial Control Systems von Saramantas, Ioannis E., Raptis, George E., Khan, Muhammad Taimoor, Fassois, Spilios D., Sakellariou, John S., Koulamas, Christos, Iliopoulos, Ilias A., Serpanos, Dimitrios

“… This paper presents a unified run-time monitoring framework that integrates inline formal verification and sensorlevel anomaly detection for distributed …”
Volltext

How the design of JML accommodates both runtime assertion checking and formal verification von Leavens, Gary T., Cheon, Yoonsik, Clifton, Curtis, Ruby, Clyde, Cok, David R.

“… can potentially contain side effects. The Java Modeling Language, JML, avoids these problems. It uses a side-effect free subset …”
Volltext

Automated translation of VDM to JML-annotated Java von Tran-Jørgensen, Peter W. V., Larsen, Peter Gorm, Leavens, Gary T.

“… The contract-based elements of the Vienna Development Method Specification Language (VDM-SL) are translated into corresponding constructs in the Java Modelling Language (JML …”
Volltext

JCML: A specification language for the runtime verification of Java Card programs von da Costa, Umberto Souza, Moreira, Anamaria Martins, Musicante, Martin A., Souza Neto, Plácido A.

“… To this end, we propose JCML (Java Card Modelling Language) a specification language derived from JML …”
Volltext

Translating B and Event‐B Machines to Java and JML von Cataño, Néstor, Rivera, Víctor, Rueda, Camilo, Wahls, Tim

“… This chapter provides a brief introduction to B, Event‐B and Java Modeling Language (JML …”
Volltext

A Case Study in JML-Assisted Software Development von Cataño, Néstor, Barraza, Fernando, García, Daniel, Ortega, Pablo, Rueda, Camilo

“… for modeling software requirements can enforce the programming of correct Java code. We demonstrate how JML-based formal methods can be used so as to effectively contribute …”
Volltext

Formal specification of the JavaCard API in JML: the APDU class von Poll, Erik, van den Berg, Joachim, Jacobs, Bart

“… (Java Modeling Language), have been developed for all the classes that make up the JavaCard API …”
Volltext

Bidirectional Translation between OCL and JML for Round-Trip Engineering von Shimba, Hiroaki, Hanada, Kentrao, Okano, Kozo, Kusumoto, Shinji

“… ) to Java Modeling Language (JML) have gained much attention. We have been studying not only translation techniques from OCL to JML but also from JML to OCL in order to support Round-trip Engineering (RTE …”
Volltext

Formal Specification and Verification of JDK’s Identity Hash Map Implementation von De Boer, Martin, De Gouw, Stijn, Klamroth, Jonas, Jung, Christian, Ulbrich, Mattias, Weigl, Alexander

“… We specified its behavior using the Java Modeling Language (JML) and proved correctness for the main insertion and lookup methods with KeY, a semi-interactive theorem prover for JML-annotated Java programs …”
Volltext

Towards an industrial grade IVE for Java and next generation research platform for JML von Chalin, Patrice, Robby, James, Perry R., Lee, Jooyong, Karabotsos, George

“… Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture …”
Volltext

Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies von du Bousquet, Lydie, Ledru, Yves, Maury, Olivier, Oriat, Catherine, Lanet, Jean-Louis

“… In the Java context, the Java Modelling Language (JML) has been proposed as specification language …”
Volltext

Model variables: cleanly supporting abstraction in design by contract von Cheon, Yoonsik, Leavens, Gary, Sitaraman, Murali, Edwards, Stephen

“… In design by contract (DBC), assertions are typically written using program variables and query methods. The lack of separation between program code and …”
Volltext