咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
Reasoning About JML: Differences Between KeY and OpenJML  1
收藏 引用
14th International Conference on Integrated Formal Methods (IFM)
作者: Boerman, Jan Huisman, Marieke Joosten, Sebastiaan Univ Twente Enschede Netherlands
To increase the impact and capabilities of formal verification, it should be possible to apply different verification techniques on the same specification. However, this can only be achieved if verification tools agre... 详细信息
来源: 评论
Faster and More Complete Extended Static Checking for the java modeling language
收藏 引用
JOURNAL OF AUTOMATED REASONING 2010年 第1-2期44卷 145-174页
作者: James, Perry R. Chalin, Patrice Concordia Univ Dept Comp Sci & Software Engn Dependable Software Res Grp Montreal PQ Canada
Extended Static Checking (ESC) is a fully automated formal verification technique. Verification in ESC is achieved by translating programs and their specifications into verification conditions (VCs). Proof of a VC est... 详细信息
来源: 评论
Implementation-level verification of algorithms with KeY
收藏 引用
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 2015年 第6期17卷 729-744页
作者: Bruns, Daniel Mostowski, Wojciech Ulbrich, Mattias Karlsruhe Inst Technol D-76127 Karlsruhe Germany Univ Twente NL-7500 AE Enschede Netherlands
We give an account on the authors' experience and results from the software verification competition held at the Formal Methods 2012 conference. Competitions like this are meant to provide a benchmark for verifica... 详细信息
来源: 评论
Understanding the implemented access control policy of Android system services with slicing and extended static checking
收藏 引用
INTERNATIONAL JOURNAL OF INFORMATION SECURITY 2015年 第4期14卷 347-366页
作者: Mustafa, Tanveer Sohr, Karsten Univ Bremen D-28359 Bremen Germany
Android is one of the major smartphone platforms today. One reason for this success is that many interesting applications are made available through Google Play. The increasing functionality, however, entails new risk... 详细信息
来源: 评论
Using CHARTER tools to develop a Safety-Critical Avionics Application in java  12
Using CHARTER tools to develop a Safety-Critical Avionics Ap...
收藏 引用
10th International Workshop on java Technologies for Real-Time and Embedded Systems (JTRES)
作者: Wedzinga, G. Wiegmink, K. Natl Aerosp Lab NLR Anthony Fokkerweg 2 NL-1059 CM Amsterdam Netherlands Natl Aerosp Lab NLR NL-8316 PR Marknesse Netherlands
Safety-critical digital avionics systems are becoming increasingly complex. Consequently, exhaustive testing may be impossible or impractical to demonstrate that the software of these systems complies with airworthine... 详细信息
来源: 评论
Canica: An ide for the java modeling language
Canica: An ide for the Java Modeling Language
收藏 引用
10th IASTED International Conference on Software Engineering and Applications
作者: Perez, Angelica B. Cheon, Yoonsik Gates, Ann Q. Univ Texas Dept Comp Sci El Paso TX 79968 USA
Canica is an integrated development environment for the java modeling language (JML), a formal behavioral interface specification language for java. The JML distribution includes several support tools, such as a synta... 详细信息
来源: 评论
ESC4: A Modern Caching ESC for java
ESC4: A Modern Caching ESC for Java
收藏 引用
8th Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2009)
作者: James, Perry R. Chalin, Patrice Concordia Univ Dept Comp Sci & Software Engn Montreal PQ Canada
JML4 is an Eclipse-based Integrated Verification Environment for the java modeling language (JML) that supports several forms of verification, including Runtime Assertion Checking, Extended Static Checking (ESC), and ... 详细信息
来源: 评论
A Verification-centric Software Development Process for java
A Verification-centric Software Development Process for Java
收藏 引用
9th International Conference on Quality Software (QSIC 2009)
作者: Zimmerman, Daniel M. Kiniry, Joseph R. Univ Washington Inst Technol Tacoma WA 98402 USA Univ Coll Dublin Sch Comp Sci & Informat Dublin Ireland
Design by Contract (DBC) is an oft-cited, but rarely followed, programming practice that focuses on writing formal specifications first, and writing code that fulfills those specifications second. The development of s... 详细信息
来源: 评论
Faithful mapping of model classes to mathematical structures
收藏 引用
IET SOFTWARE 2008年 第6期2卷 477-499页
作者: Darvas, A. Mueller, P. ETH Dept Comp Sci CH-8092 Zurich Switzerland
techniques are indispensable for the specification and veri. cation of the functional behaviour of programs. In object-oriented specification languages like java modeling language, a powerful abstraction technique is ... 详细信息
来源: 评论
Proving theorems about JML classes
Proving theorems about JML classes
收藏 引用
Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen
作者: Freitas, Leo Woodcock, Jim Univ York Dept Comp Sci York YO10 5DD N Yorkshire England
We present an initial link between Z and JML that has enabled us to use Z/Eves to prove theorems about JML classes. We have applied this to the JML type system and the java HashMap class from the java Collections Fram... 详细信息
来源: 评论