Suchergebnisse - "Java Modeling Language"
-
1
Conformance test development with the Java modeling language
ISSN: 1532-0626, 1532-0634Veröffentlicht: Chichester, UK John Wiley & Sons, Ltd 25.11.2017Veröffentlicht in Concurrency and computation (25.11.2017)“… ‐critical Java profile specification. The Java Modeling Language is used to model conformance constraints for the profile …”
Volltext
Journal Article -
2
Eine formale Semantik für die Java Modeling Language
ISSN: 0170-6012, 1432-122XVeröffentlicht: Berlin/Heidelberg Springer-Verlag 01.02.2012Veröffentlicht in Informatik-Spektrum (01.02.2012)“… Zusammenfassung Die Java Modeling Language (JML) wurde als Ansatz konzipiert, um das Spezifizieren von Software-Produkten einer breiteren Masse zugänglich zu machen …”
Volltext
Journal Article -
3
Faster and More Complete Extended Static Checking for the Java Modeling Language
ISSN: 0168-7433, 1573-0670Veröffentlicht: Dordrecht Springer Netherlands 01.02.2010Veröffentlicht in Journal of automated reasoning (01.02.2010)“… Extended Static Checking (ESC) is a fully automated formal verification technique. Verification in ESC is achieved by translating programs and their …”
Volltext
Journal Article -
4
Formal Specification and Verification of JDK’s Identity Hash Map Implementation
ISSN: 0934-5043, 1433-299XVeröffentlicht: New York, NY ACM 13.09.2023Veröffentlicht in Formal aspects of computing (13.09.2023)“… 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
Journal Article -
5
Verifying OpenJDK’s LinkedList using KeY (extended paper)
ISSN: 1433-2779, 1433-2787Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2022Veröffentlicht in International journal on software tools for technology transfer (01.10.2022)“… 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
Journal Article -
6
Enabling the runtime assertion checking of concurrent contracts for the Java modeling language
ISBN: 9781450304450, 1450304451ISSN: 0270-5257Veröffentlicht: New York, NY, USA ACM 21.05.2011Veröffentlicht in 2011 33rd International Conference on Software Engineering (ICSE) (21.05.2011)“… In previous work, we extended the Java Modeling Language (JML) with constructs to specify concurrent contracts for Java programs …”
Volltext
Tagungsbericht -
7
A Catalog of Bad Smells in Design-by-Contract Methodologies with Java Modeling Language
ISSN: 1976-4677Veröffentlicht: 2013Veröffentlicht in Journal of computing science and engineering : JCSE (2013)“… These contracts can be written in languages, such as the Java Modeling Language (JML), an extension to the Java syntax …”
Volltext
Journal Article -
8
Automatic Recovery of Run-time Threats in Distributed Industrial Control Systems
ISSN: 1946-0759Veröffentlicht: IEEE 09.09.2025Veröffentlicht in Proceedings (IEEE International Conference on Emerging Technologies and Factory Automation) (09.09.2025)“… Over the past few years, the transition from centralized to distributed industrial control systems (ICS) has introduced new challenges related to coordination, …”
Volltext
Tagungsbericht -
9
Modular specification of frame properties in JML
ISSN: 1532-0626, 1532-0634Veröffentlicht: Chichester, UK John Wiley & Sons, Ltd 01.02.2003Veröffentlicht in Concurrency and computation (01.02.2003)“… ’, 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
Journal Article -
10
Specifying linked data structures in JML for combining formal verification and testing
ISSN: 0167-6423, 1872-7964Veröffentlicht: Elsevier B.V 01.09.2015Veröffentlicht in Science of computer programming (01.09.2015)“… The specifications are written in the Java Modeling Language (JML) and do not require extensions of that language …”
Volltext
Journal Article -
11
Implementation-level verification of algorithms with KeY
ISSN: 1433-2779, 1433-2787Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.11.2015Veröffentlicht in International journal on software tools for technology transfer (01.11.2015)“… 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
Journal Article -
12
Specifying subtypes in Safety Critical Java programs
ISSN: 1532-0626, 1532-0634Veröffentlicht: Blackwell Publishing Ltd 01.11.2013Veröffentlicht in Concurrency and computation (01.11.2013)“… 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
Journal Article -
13
Dynamic Dispatch for Method Contracts Through Abstract Predicates
Veröffentlicht: Springer Nature 2017Veröffentlicht in Transactions on Modularity and Composition I (2017)“… 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
Buchkapitel -
14
Understanding the implemented access control policy of Android system services with slicing and extended static checking
ISSN: 1615-5262, 1615-5270Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2015Veröffentlicht in International journal of information security (01.08.2015)“… 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
Journal Article -
15
LLM-based Generation of Formal Specification for Run-time Security Monitoring of ICS
Veröffentlicht: IEEE 04.08.2025Veröffentlicht in 2025 IEEE International Conference on Cyber Security and Resilience (CSR) (04.08.2025)“… Industrial Control Systems (ICS) are vulnerable to cybersecurity threats due to their distributed architecture and critical role in infrastructure sectors …”
Volltext
Tagungsbericht -
16
Synthesizing Inline Security Monitors for ICS Using Generative AI and FormalBench
Veröffentlicht: IEEE 14.10.2025Veröffentlicht in IECON 2025 – 51st Annual Conference of the IEEE Industrial Electronics Society (14.10.2025)“… 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
Tagungsbericht -
17
Towards a Unified Run-Time Monitoring Framework for Distributed Industrial Control Systems
ISSN: 2687-8860Veröffentlicht: IEEE 06.10.2025Veröffentlicht in IEEE ... International Smart Cities Conference (Online) (06.10.2025)“… This paper presents a unified run-time monitoring framework that integrates inline formal verification and sensorlevel anomaly detection for distributed …”
Volltext
Tagungsbericht -
18
A specification language design for the Java Modeling Language (JML) using Java 5 annotations
ISBN: 0549540997, 9780549540991Veröffentlicht: ProQuest Dissertations & Theses 01.01.2008“… The Java Modeling Language (JML) is one such specification language for Java that uses comments to specify contracts …”
Volltext
Dissertation -
19
Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP
ISSN: 2325-6664Veröffentlicht: IEEE 01.06.2023Veröffentlicht in International Conference on Dependable Systems and Networks workshops (Online) (01.06.2023)“… Software verification is essential to ensure dependability and that a system or component fulfils its specified requirements. Natural language is the most …”
Volltext
Tagungsbericht -
20
A runtime assertion checker for the Java Modeling Language
ISBN: 9780496337019, 0496337017Veröffentlicht: ProQuest Dissertations & Theses 01.01.2003“… The Java Modeling Language (JML) is a formal behavioral interface specification language (BISL) for Java …”
Volltext
Dissertation

