咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 26 篇 java pathfinder
  • 16 篇 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 篇 verification
  • 2 篇 statechart
  • 2 篇 model execution
  • 1 篇 random search
  • 1 篇 souběžnost
  • 1 篇 android applicat...
  • 1 篇 (probabilistic) ...
  • 1 篇 complex systems
  • 1 篇 defect discovery

机构

  • 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

语言

  • 23 篇 英文
  • 3 篇 中文
检索条件"主题词=Java pathfinder"
26 条 记 录,以下是21-30 订阅
排序:
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 ... 详细信息
来源: 评论
A flexible framework for verifying agent programs  08
A flexible framework for verifying agent programs
收藏 引用
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
作者: Louise A. Dennis Berndt Farwer Rafael H. Bordini Michael Fisher University of Liverpool UK Durham University UK
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over the last few years. With these platfo... 详细信息
来源: 评论
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... 详细信息
来源: 评论
基于SPF的应用实例测试与验证
基于SPF的应用实例测试与验证
收藏 引用
作者: 高方方 郑州大学
学位级别:硕士
随着人们对软件可靠性、安全性的要求越来越高,软件测试技术的发展也受到了越来越多的重视,模型检测技术是一种形式化自动验证技术,目的是确保系统设计规范正确性的。JPF(java pathfinder)是显式的java字节码模型检测工具,它是一... 详细信息
来源: 评论
面向构件接口变异的模型检验技术研究
收藏 引用
电脑知识与技术(过刊) 2010年 第3X期16卷 1954-1956页
作者: 张侹 王璠 韩柯 欧阳志强 解放军理工大学指挥自动化学院 江苏南京210007 中国电子系统设备工程公司研究所 北京100141 西安体育学院 陕西西安710068
随着构件技术在软件开发中的广泛应用,人们对构件化软件系统质量的要求也在不断提高。该文运用模型检验技术进行接口变异测试的相关研究工作。该文首先详细介绍了基于模型检验技术的变异测试的基本原理,随后通过对构件集成时接口之间的... 详细信息
来源: 评论
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... 详细信息
来源: 评论