Suchergebnisse - "Java Modeling Language"

Conformance test development with the Java modeling language von 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 …”
Volltext

Eine formale Semantik für die Java Modeling Language von 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 …”
Volltext

Faster and More Complete Extended Static Checking for the Java Modeling Language von 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 …”
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

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

“… As a particular case study of the formal verification of state-of-the-art, real software, we discuss the specification and verification of a corrected version …”
Volltext

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language von 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 …”
Volltext

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

“… These contracts can be written in languages, such as the Java Modeling Language (JML), an extension to the Java syntax …”
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

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 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

Implementation-level verification of algorithms with KeY von 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 …”
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

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

“… Dynamic method dispatch is a core feature of object-oriented programming by which the executed implementation for a polymorphic method is only chosen at …”
Volltext

Understanding the implemented access control policy of Android system services with slicing and extended static checking von 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 …”
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

“… Industrial Control Systems (ICS) are vulnerable to cybersecurity threats due to their distributed architecture and critical role in infrastructure sectors …”
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

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

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

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

“… Software verification is essential to ensure dependability and that a system or component fulfils its specified requirements. Natural language is the most …”
Volltext

A runtime assertion checker for the Java Modeling Language von Cheon, Yoonsik

“… The Java Modeling Language (JML) is a formal behavioral interface specification language (BISL) for Java …”
Volltext