咨询与建议

限定检索结果

文献类型

  • 20 篇 会议
  • 3 篇 期刊文献
  • 2 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 22 篇 工学
    • 17 篇 软件工程
    • 15 篇 计算机科学与技术...
    • 3 篇 电气工程
    • 2 篇 信息与通信工程
    • 2 篇 控制科学与工程
  • 3 篇 理学
    • 2 篇 数学
    • 1 篇 系统科学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 25 篇 java pathfinder
  • 15 篇 model checking
  • 3 篇 jpf
  • 3 篇 software model c...
  • 2 篇 wilderness searc...
  • 2 篇 design validatio...
  • 2 篇 unmanned aerial ...
  • 2 篇 user datagram pr...
  • 2 篇 human machine in...
  • 2 篇 fault protection
  • 2 篇 sysml
  • 2 篇 statechart
  • 2 篇 model execution
  • 1 篇 random search
  • 1 篇 android applicat...
  • 1 篇 (probabilistic) ...
  • 1 篇 complex systems
  • 1 篇 defect discovery
  • 1 篇 software compone...
  • 1 篇 similarity-based...

机构

  • 2 篇 chiba univ chiba
  • 2 篇 univ tokyo
  • 2 篇 aist risec amaga...
  • 2 篇 univ stellenbosc...
  • 1 篇 nasa ames resear...
  • 1 篇 univ waterloo wa...
  • 1 篇 univ west bohemi...
  • 1 篇 howard univ wash...
  • 1 篇 univ southern ca...
  • 1 篇 european so obse...
  • 1 篇 university of li...
  • 1 篇 durham universit...
  • 1 篇 european souther...
  • 1 篇 charles univ pra...
  • 1 篇 univ oxford oxfo...
  • 1 篇 univ limerick le...
  • 1 篇 inst politecn le...
  • 1 篇 university of li...
  • 1 篇 engn res ctr mob...
  • 1 篇 computer science...

作者

  • 4 篇 artho cyrille
  • 2 篇 yamamoto mitsuha...
  • 2 篇 visser willem
  • 2 篇 marinov darko
  • 2 篇 hagiya masami
  • 2 篇 sebih nazim
  • 2 篇 tanabe yoshinori
  • 2 篇 lauterburg steve...
  • 2 篇 weitl franz
  • 1 篇 parizek pavel
  • 1 篇 botha heila
  • 1 篇 john day
  • 1 篇 corrina gibson
  • 1 篇 yokoyama shoichi
  • 1 篇 tj gledhill
  • 1 篇 欧阳志强
  • 1 篇 rafael h. bordin...
  • 1 篇 viswanathan mahe...
  • 1 篇 potuzak tomas
  • 1 篇 zhou zhi quan

语言

  • 22 篇 英文
  • 3 篇 中文
检索条件"主题词=Java Pathfinder"
25 条 记 录,以下是11-20 订阅
排序:
Simulation Testing and Model Checking: A Case Study Comparing these Approaches  6
Simulation Testing and Model Checking: A Case Study Comparin...
收藏 引用
6th International Workshop on Software Engineering for Resilient Systems (SERENE)
作者: Lipka, Richard Paska, Marek Potuzak, Tomas Univ West Bohemia NTIS Plzen 30614 Czech Republic Univ West Bohemia Fac Sci Appl Dept Comp Sci & Engn Plzen Czech Republic
One of the challenging problems in software development is the assuring of the correctness of the created software. During our previous research, we developed a framework for the simulation-based testing of software c... 详细信息
来源: 评论
Abstractions for Executable and Checkable Fault Management Models
收藏 引用
Procedia Computer Science 2014年 28卷 146-154页
作者: Corrina Gibson Robert Karban Luigi Andolfato John Day Jet Propulsion Laboratory California Institute of Technology 4800 Oak Grove Drive Pasadena CA 91011 USA European Southern Observatory Karl-Schwarzschild-Str. 2 85748 Garching Germany
The work presented in this paper describes an approach used to develop SysML modeling patterns to express the logical behavior of fault protection (FP), test the model's logic via fault injection simulations, and ... 详细信息
来源: 评论
TOWARDS MODEL CHECKING WITH java pathfinder FOR AUTONOMIC SYSTEMS SPECIFIED AND GENERATED WITH ASSL
TOWARDS MODEL CHECKING WITH JAVA PATHFINDER FOR AUTONOMIC SY...
收藏 引用
4th International Conference on Software and Data Technologies
作者: Vassev, Emil Hinchey, Mike Quigley, Aaron Univ Coll Dublin Lero Irish Software Engn Res Ctr Dublin 2 Ireland Univ Limerick Lero Irish Software Engn Res Ctr Limerick Ireland
Autonomic computing has been recognized as a valid approach to the development of large-scale self-managing complex systems. The Autonomic System Specification Language (ASSL) is an initiative for the development of a... 详细信息
来源: 评论
基于SPF的应用实例测试与验证
基于SPF的应用实例测试与验证
收藏 引用
作者: 高方方 郑州大学
学位级别:硕士
随着人们对软件可靠性、安全性的要求越来越高,软件测试技术的发展也受到了越来越多的重视,模型检测技术是一种形式化自动验证技术,目的是确保系统设计规范正确性的。JPF(java pathfinder)是显式的java字节码模型检测工具,它是一... 详细信息
来源: 评论
Modeling UASs for Role Fusion and Human Machine Interface Optimization
Modeling UASs for Role Fusion and Human Machine Interface Op...
收藏 引用
IEEE International Conference on Systems, Man, and Cybernetics (SMC)
作者: Gledhill, T. J. Mercer, Eric Goodrich, Michael A. Brigham Young Univ Dept Comp Sci Provo UT 84602 USA
Currently, a single Unmanned Aerial System (UAS) requires several humans managing different aspects of the problem. Human roles often include vehicle operators, payload experts, and mission managers [1-3]. As a step t... 详细信息
来源: 评论
Modeling UASs for Role Fusion and Human Machine Interface Optimization
Modeling UASs for Role Fusion and Human Machine Interface Op...
收藏 引用
IEEE International Conference on Systems, Man, and Cybernetics
作者: TJ Gledhill Eric Mercer Michael A. Goodrich Computer Science Department Brigham Young University Provo UT
Currently, a single Unmanned Aerial System (UAS) requires several humans managing different aspects of the problem. Human roles often include vehicle operators, payload experts, and mission managers [1-3]. As a step t... 详细信息
来源: 评论
Model checking agent programming languages
收藏 引用
AUTOMATED SOFTWARE ENGINEERING 2012年 第1期19卷 5-63页
作者: Dennis, Louise A. Fisher, Michael Webster, Matthew P. Bordini, Rafael H. Univ Liverpool Dept Comp Sci Liverpool L69 3BX Merseyside England Virtual Engn Ctr Daresbury Lab Warrington WA4 4AD Cheshire England Univ Fed Rio Grande do Sul Inst Informat BR-91501970 Porto Alegre RS Brazil
In this paper we describe a verification system for multi-agent programs. This is the first comprehensive approach to the verification of programs developed using programming languages based on the BDI (belief-desire-... 详细信息
来源: 评论
State Extensions for java pathfinder  08
State Extensions for Java PathFinder
收藏 引用
30th International Conference on Software Engineering
作者: Gvero, Tihomir Gligoric, Milos Lauterburg, Steven d'Amorim, Marcelo Marinov, Darko Khurshid, Sarfraz Univ Belgrade Belgrade Serbia
java pathfinder (JPF) is an explicit-state model checker for java programs. JPF implements a backtrackable java Virtual Machine (JVM) that provides non-deterministic choices and control over thread scheduling. JPF is ... 详细信息
来源: 评论
A Synergistic and Extensible Framework for Multi-Agent System Verification  13
A Synergistic and Extensible Framework for Multi-Agent Syste...
收藏 引用
International Conference on Autonomous Agents and Multiagent Systems
作者: Josie Hunter Franco Raimondi Neha Rungta Richard Stocker Oregon State University Corvallis OR USA MiddleSex University London United Kingdom NASA Ames Research Center Moffett Field CA USA University of Liverpool Liverpool United Kingdom
Recently there has been a proliferation of tools and languages for modeling multi-agent systems (MAS). Verification tools, correspondingly, have been developed to check properties of these systems. Most MAS verificati... 详细信息
来源: 评论
Comparing Metaheuristic Algorithms for Error Detection in java Programs
收藏 引用
3rd International Symposium on Search-Based Software Engineering, SSBSE 2011
作者: Chicano, Francisco Ferreira, Marco Alba, Enrique Univ Malaga E-29071 Malaga Spain Inst Politecn Leiria Leiria Portugal
Model checking is a fully automatic technique for checking concurrent software properties in which the states of a concurrent system are explored in an explicit or implicit way. The main drawback of this technique is ... 详细信息
来源: 评论