Search Results - Java Modeling Language

Conformance test development with the Java modeling language by Søndergaard, Hans, Korsholm, Stephan E., Ravn, Anders P.

“…‐critical Java profile specification. The Java Modeling Language is used to model conformance constraints for the profile…”
Get full text

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

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

Faster and More Complete Extended Static Checking for the Java Modeling Language by James, Perry R., Chalin, Patrice

“…Extended Static Checking (ESC) is a fully automated formal verification technique. Verification in ESC is achieved by translating programs and their…”
Get full text

Verifying OpenJDK’s LinkedList using KeY (extended paper) by Hiep, Hans-Dieter A., Maathuis, Olaf, Bian, Jinting, de Boer, Frank S., de Gouw, Stijn

“… as provided by the Java Collection Framework…”
Get full text

Formal Specification and Verification of JDK’s Identity Hash Map Implementation by 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…”
Get full text

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language by Araujo, Wladimir, Briand, Lionel C., Labiche, Yvan

“… In previous work, we extended the Java Modeling Language (JML) with constructs to specify concurrent contracts for Java programs…”
Get full text

Translating meaning representations to behavioural interface specifications by Leong, Iat Tou, Barbosa, Raul

“…Higher-order logic can be used for meaning representation in natural language processing to encode the semantic relationships in text…”
Get full text

Automatic Recovery of Run-time Threats in Distributed Industrial Control Systems by 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,…”
Get full text

Modular specification of frame properties in JML by 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…”
Get full text

Eine formale Semantik für die Java Modeling Language by Bruns, Daniel

“…Zusammenfassung Die Java Modeling Language (JML) wurde als Ansatz konzipiert, um das Spezifizieren von Software-Produkten einer breiteren Masse zugänglich zu machen…”
Get full text

Implementation-level verification of algorithms with KeY by Bruns, Daniel, Mostowski, Wojciech, Ulbrich, Mattias

“… Competitions like this are meant to provide a benchmark for verification systems. It consisted of three algorithms which the authors have implemented in Java, specified with the Java Modeling Language, and verified using the KeY system…”
Get full text

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

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

A Catalog of Bad Smells in Design-by-Contract Methodologies with Java Modeling Language by Viana, Thiago

“… These contracts can be written in languages, such as the Java Modeling Language (JML), an extension to the Java syntax…”
Get full text

Specifying subtypes in Safety Critical Java programs by 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,…”
Get full text

Understanding the implemented access control policy of Android system services with slicing and extended static checking by Mustafa, Tanveer, Sohr, Karsten

“…Android is one of the major smartphone platforms today. One reason for this success is that many interesting applications are made available through Google…”
Get full text

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

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

Dynamic Dispatch for Method Contracts Through Abstract Predicates by Mostowski, Wojciech, Ulbrich, Mattias

“… The formal specification language JML has only rudimentary means for polymorphic abstraction in expressions…”
Get full text

Synthesizing Inline Security Monitors for ICS Using Generative AI and FormalBench by 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…”
Get full text

LLM-based Generation of Formal Specification for Run-time Security Monitoring of ICS by 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…”
Get full text

Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP by Leong, Iat Tou, Barbosa, Raul

“… Natural language is the most common way of specifying requirements, although many verification techniques such as theorem proving depend upon requirements being written in formal specification languages…”
Get full text