咨询与建议

限定检索结果

文献类型

  • 19 篇 会议
  • 9 篇 期刊文献

馆藏范围

  • 28 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 28 篇 工学
    • 24 篇 计算机科学与技术...
    • 21 篇 软件工程
    • 3 篇 电气工程
    • 1 篇 信息与通信工程
  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 28 篇 java modeling la...
  • 6 篇 formal specifica...
  • 5 篇 jml
  • 4 篇 software verific...
  • 4 篇 formal methods
  • 4 篇 deductive verifi...
  • 3 篇 real-time java
  • 3 篇 extended static ...
  • 3 篇 design by contra...
  • 3 篇 openjml
  • 3 篇 formal verificat...
  • 2 篇 conformance test
  • 2 篇 deductive progra...
  • 2 篇 model-based test...
  • 2 篇 cooperative veri...
  • 2 篇 key
  • 2 篇 java
  • 2 篇 test
  • 2 篇 esc4
  • 2 篇 real-world case ...

机构

  • 2 篇 via univ coll ho...
  • 2 篇 aalborg univ dep...
  • 2 篇 open univ heerle...
  • 2 篇 fzi res ctr info...
  • 2 篇 karlsruhe inst t...
  • 1 篇 natl inst adv in...
  • 1 篇 concordia univ d...
  • 1 篇 univ texas dept ...
  • 1 篇 safer software c...
  • 1 篇 univ franche com...
  • 1 篇 concordia univ d...
  • 1 篇 karlsruhe inst t...
  • 1 篇 karlsruhe inst t...
  • 1 篇 natl aerosp lab ...
  • 1 篇 tech univ darmst...
  • 1 篇 concordia univ d...
  • 1 篇 univ franche com...
  • 1 篇 univ franche com...
  • 1 篇 univ twente ensc...
  • 1 篇 natl aerosp lab ...

作者

  • 4 篇 ulbrich mattias
  • 3 篇 chalin patrice
  • 3 篇 weigl alexander
  • 3 篇 de gouw stijn
  • 2 篇 james perry r.
  • 2 篇 ravn anders p.
  • 2 篇 bouquet fabrice
  • 2 篇 klamroth jonas
  • 2 篇 bouquet f
  • 2 篇 korsholm stephan...
  • 2 篇 de boer martin
  • 2 篇 sondergaard hans
  • 2 篇 cok david r.
  • 2 篇 jung christian
  • 2 篇 dadeau f
  • 2 篇 dadeau frederic
  • 1 篇 lohmann m
  • 1 篇 engels g
  • 1 篇 boerman jan
  • 1 篇 mueller p.

语言

  • 24 篇 英文
  • 2 篇 德文
  • 2 篇 其他
检索条件"主题词=Java Modeling language"
28 条 记 录,以下是1-10 订阅
排序:
Conformance test development with the java modeling language
Conformance test development with the Java modeling language
收藏 引用
12th International Workshop on java Technologies for Real-Time and Embedded Systems (JTRES)
作者: Sondergaard, Hans Korsholm, Stephan E. Ravn, Anders P. VIA Univ Coll Horsens Denmark Aalborg Univ Dept Comp Sci Aalborg Denmark
In order to claim conformance with a java Specification Request, a java implementation has to pass all tests in an associated Technology Compatibility Kit. This paper presents a model-based development of a Technology... 详细信息
来源: 评论
Conformance test development with the java modeling language
收藏 引用
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2017年 第22期29卷
作者: Sondergaard, Hans Korsholm, Stephan E. Ravn, Anders P. VIA Univ Coll Horsens Denmark Aalborg Univ Dept Comp Sci Aalborg Denmark
In order to claim conformance with a java Specification Request, a java implementation has to pass all tests in an associated Technology Compatibility Kit. This paper presents a model-based development of a Technology... 详细信息
来源: 评论
The java Verification Tool KeY:A Tutorial  26th
The Java Verification Tool KeY:A Tutorial
收藏 引用
26th International Symposium on Formal Methods (FM)
作者: Beckert, Bernhard Bubel, Richard Drodt, Daniel Haehnle, Reiner Lanzinger, Florian Pfeifer, Wolfram Ulbrich, Mattias Weigl, Alexander Karlsruhe Inst Technol Karlsruhe Germany Tech Univ Darmstadt Darmstadt Germany
The KeY tool is a state-of-the-art deductive program verifier for the java language. Its verification engine is based on a sequent calculus for dynamic logic, realizing forward symbolic execution of the target program... 详细信息
来源: 评论
Verifying OpenJDK's LinkedList using KeY (extended paper)
收藏 引用
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 2022年 第5期24卷 783-802页
作者: Hiep, Hans-Dieter A. Maathuis, Olaf Bian, Jinting de Boer, Frank S. de Gouw, Stijn Ctr Wiskunde & Informat CWI Amsterdam Netherlands Leiden Inst Adv Comp Sci LIACS Leiden Netherlands Open Univ OU Heerlen Netherlands Achmea Zeist Netherlands
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 of the implementation of a linked list as provided by the ... 详细信息
来源: 评论
Translating Natural language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP  53
Translating Natural Language Requirements to Formal Specific...
收藏 引用
53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
作者: Leong, Iat Tou Barbosa, Raul Univ Coimbra CISUC Dept Informat Engn Coimbra Portugal
Software verification is essential to ensure dependability and that a system or component fulfils its specified requirements. Natural language is the most common way of specifying requirements, although many verificat... 详细信息
来源: 评论
Formal Specification and Verification of JDK's Identity Hash Map Implementation  17th
Formal Specification and Verification of JDK's Identity Hash...
收藏 引用
17th International Conference on Integrated Formal Methods (IFM)
作者: de Boer, Martin de Gouw, Stijn Klamroth, Jonas Jung, Christian Ulbrich, Mattias Weigl, Alexander Open Univ Heerlen Netherlands FZI Res Ctr Informat Technol Karlsruhe Germany Karlsruhe Inst Technol Karlsruhe Germany
Hash maps are a common and important data structure in efficient algorithm implementations. Despite their wide-spread use, real-world implementations are not regularly verified. In this paper, we present the first cas... 详细信息
来源: 评论
Abstraction in Deductive Verification: Model Fields and Model Methods  11th
Abstraction in Deductive Verification: Model Fields and Mode...
收藏 引用
11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
作者: Cok, David R. Leavens, Gary T. Safer Software Consulting Rochester NY 14606 USA Univ Cent Florida Orlando FL 32816 USA
This Experience report compares using model fields and model methods for specifying abstractions in abstract implementations. Our experience is connected to past discussions of alternatives in modeling heap state chan... 详细信息
来源: 评论
Formal Specification and Verification of JDK's Identity Hash Map Implementation
收藏 引用
FORMAL ASPECTS OF COMPUTING 2023年 第3期35卷 18-18页
作者: De Boer, Martin De Gouw, Stijn Klamroth, Jonas Jung, Christian Ulbrich, Mattias Weigl, Alexander Open Univ Heerlen Netherlands FZI Res Ctr Informat Technol Karlsruhe Germany Karlsruhe Inst Technol Fasanengarten 5 D-76131 Karlsruhe Germany
Hash maps are a common and important data structure in efficient algorithm implementations. Despite their wide-spread use, real-world implementations are not regularly verified. In this article, we present the first c... 详细信息
来源: 评论
JML and OpenJML for java 16  23
JML and OpenJML for Java 16
收藏 引用
23rd ACM International Workshop on Formal Techniques for java-Like Programs (FTfJP)
作者: Cok, David R. Safer Software Consulting LLC Rochester NY 14610 USA
As the java language evolves, the java modeling language (JML) and the OpenJML deductive verification tool must evolve with it. Changes in java since java 8 bring language and organizational changes which affect the s... 详细信息
来源: 评论
Teaching Design-by-Contract for the modeling and Implementation of Software Systems  14
Teaching Design-by-Contract for the Modeling and Implementat...
收藏 引用
14th International Conference on Software Technologies (ICSOFT)
作者: Ozkaya, Mert Yeditepe Univ Dept Comp Engn Istanbul Turkey
Defensive programming is considered as a software design approach that promotes the reliable software development via the considerations of different cases for the software modules. Design-by-Contract (DbC) applies de... 详细信息
来源: 评论