CAREER: A Partial Evaluation Tool Set for Automatically Customizing Adaptable Software

职业生涯:用于自动定制适应性软件的部分评估工具集

基本信息

  • 批准号:
    9896354
  • 负责人:
  • 金额:
    $ 13.07万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    1998
  • 资助国家:
    美国
  • 起止时间:
    1998-08-01 至 2002-06-30
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

John Hatcliff其他文献

Checking JML specifications using an extensible software model checking framework
Model-driven development for the seL4 microkernel using the HAMR framework
  • DOI:
    10.1016/j.sysarc.2022.102789
  • 发表时间:
    2023-01-01
  • 期刊:
  • 影响因子:
  • 作者:
    Jason Belt;John Hatcliff;John Robby;Jim Shackleton;Todd Carciofini;Eric Carpenter;Isaac Mercer;Junaid Amundson;Darren Babar;David Cofer;Karl Hardin;Konrad Hoech;Ihor Slind;Kent Kuz; Mcleod
  • 通讯作者:
    Mcleod
Automated property-based testing from AADL component contracts
Awas: AADL information flow and error propagation analysis framework

John Hatcliff的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('John Hatcliff', 18)}}的其他基金

FDA SIR: Architecturally-Integrated Hazard Analyses for Medical Application Platforms
FDA SIR:医疗应用平台的架构集成危害分析
  • 批准号:
    1565544
  • 财政年份:
    2016
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Continuing Grant
FDA SIR: Compositional Approaches to Safety and Risk Management for Medical Application Platforms
FDA SIR:医疗应用平台安全和风险管理的组合方法
  • 批准号:
    1446544
  • 财政年份:
    2015
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Standard Grant
FDA SIR: Risk Assessment Techniques for Apps & Devices within Interoperable Medical Frameworks
FDA SIR:应用程序风险评估技术
  • 批准号:
    1355778
  • 财政年份:
    2013
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Standard Grant
CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms
CPS:协同:协作研究:医疗应用平台以应用程序为中心的动态架构的值得信赖的组合
  • 批准号:
    1239543
  • 财政年份:
    2012
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Standard Grant
An Integrated Development and Certification Environment for a Medical Device Coordination Framework
医疗器械协调框架的集成开发和认证环境
  • 批准号:
    1065887
  • 财政年份:
    2011
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Standard Grant
CPS:Medium:Collaborative Research:Infrastructure and Technology Innovations for Medical Device Coordination
CPS:中:合作研究:医疗器械协调的基础设施和技术创新
  • 批准号:
    0932289
  • 财政年份:
    2009
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Standard Grant
Development of an Open Test-bed for Application of Formal Methods to Plug and Play Medical Devices
开发用于应用形式化方法即插即用医疗设备的开放测试平台
  • 批准号:
    0734204
  • 财政年份:
    2007
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Standard Grant
CRI: Collaborative Research: A Community Resource to Support Controlled Experimentation with Program Analysis and Software Testing Techniques
CRI:协作研究:支持程序分析和软件测试技术的受控实验的社区资源
  • 批准号:
    0454348
  • 财政年份:
    2005
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Continuing Grant
Collaborative Research: Program Analysis Techniques to Support Dependable RTSJ Applications
协作研究:支持可靠 RTSJ 应用程序的程序分析技术
  • 批准号:
    0429141
  • 财政年份:
    2004
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Continuing Grant
CISE Postdoctoral Research Associates: A Model Construction Tool Suite for Finite-State Verification Java (CCR)
CISE 博士后研究员:用于有限状态验证 Java (CCR) 的模型构建工具套件
  • 批准号:
    9901605
  • 财政年份:
    1999
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Standard Grant

相似国自然基金

Graphon mean field games with partial observation and application to failure detection in distributed systems
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
Partial EIV 模型参数估计理论及其在测量数据处理中的应用研究
  • 批准号:
    41664001
  • 批准年份:
    2016
  • 资助金额:
    40.0 万元
  • 项目类别:
    地区科学基金项目
Partial Spread Bent函数与Bent-Negabent函数的构造及密码学性质研究
  • 批准号:
    61402377
  • 批准年份:
    2014
  • 资助金额:
    25.0 万元
  • 项目类别:
    青年科学基金项目
图的l1-嵌入性以及partial立方图和多重median图的刻画
  • 批准号:
    11261019
  • 批准年份:
    2012
  • 资助金额:
    45.0 万元
  • 项目类别:
    地区科学基金项目

相似海外基金

Quantitative evaluation of influence of bonding layer and layer composition on the partial compression strength of plywood and LVL
胶合层和层组成对胶合板和LVL局部压缩强度影响的定量评价
  • 批准号:
    23K19311
  • 财政年份:
    2023
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Grant-in-Aid for Research Activity Start-up
Partial Evaluation in Dependently Typed Languages
依赖类型语言中的部分求值
  • 批准号:
    2589772
  • 财政年份:
    2021
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Studentship
A Translational and Neurocomputational Evaluation of a D1R Partial Agonist for Schizophrenia
D1R 部分激动剂治疗精神分裂症的转化和神经计算评估
  • 批准号:
    10248465
  • 财政年份:
    2019
  • 资助金额:
    $ 13.07万
  • 项目类别:
Consistent method for optimal design and manufacturing based on the unified geometrical feature evaluation by the partial differential equation
基于偏微分方程统一几何特征评价的一致性优化设计与制造方法
  • 批准号:
    19H02049
  • 财政年份:
    2019
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
A Translational and Neurocomputational Evaluation of a D1R Partial Agonist for Schizophrenia
D1R 部分激动剂治疗精神分裂症的转化和神经计算评估
  • 批准号:
    10021712
  • 财政年份:
    2019
  • 资助金额:
    $ 13.07万
  • 项目类别:
Evaluation of Liquefaction Potential of Saturated Granular Soils under Partial Drainage Conditions
部分排水条件下饱和粒状土的液化势评价
  • 批准号:
    1728612
  • 财政年份:
    2017
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Standard Grant
Cross-sectional dependency analysis method based on the partial evaluation for Web application
基于局部评价的Web应用横断面依赖分析方法
  • 批准号:
    17K00114
  • 财政年份:
    2017
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Automatic evaluation for anatomical landmark and prediction for renal function in robotic-assisted partial nephrectomy
机器人辅助肾部分切除术中解剖标志的自动评估和肾功能的预测
  • 批准号:
    16K10278
  • 财政年份:
    2016
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Clinical evaluation of newly developed Zirconia framework for removable partial denture fabrication by CAD/CAM
通过 CAD/CAM 制作新开发的氧化锆框架用于可摘局部义齿制作的临床评价
  • 批准号:
    15K20452
  • 财政年份:
    2015
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
Clinical evaluation of removable partial denture prosthesis treatment based on the coordination of the jaw and neck muscle activity and the jaw and head movements.
基于颌颈肌肉活动及颌头运动协调的可摘局部义齿修复治疗的临床评价
  • 批准号:
    25463028
  • 财政年份:
    2013
  • 资助金额:
    $ 13.07万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了