Defining software integrity levels using argumentation theory

使用论证理论定义软件完整性级别

基本信息

  • 批准号:
    15K00100
  • 负责人:
  • 金额:
    $ 3万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
  • 财政年份:
    2015
  • 资助国家:
    日本
  • 起止时间:
    2015-04-01 至 2018-03-31
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
議論スキーマからみたGSN/ D-Caseのストラテジに対する考察
从讨论模式角度思考GSN/D-Case策略
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    宮村純真;高井利憲;Toshinori Takai;高井 利憲
  • 通讯作者:
    高井 利憲
介護施設における移動介護ロボットのシステムアシュアランス
护理机构移动护理机器人的系统保障
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    宮村純真;高井利憲
  • 通讯作者:
    高井利憲
自動運転システムにおける運転指示ソフトウェアのシステムアシュアランス
自动驾驶系统中驾驶指导软件的系统保障
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    長村佳歩;高井利憲
  • 通讯作者:
    高井利憲
ペルソナに基づくD-Caseの記述
基于角色的 D-Case 描述
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Toshinori Takai;Hiroyuki Kido;and Yutaka Matsuno;高井利憲
  • 通讯作者:
    高井利憲
Modular construction of assurance cases written in defeasible goal structuring notation
用可废止的目标结构符号编写的保证案例的模块化构造
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Toshinori Takai;Hiroyuki Kido;and Yutaka Matsuno
  • 通讯作者:
    and Yutaka Matsuno
{{ 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 }}

Takai Toshinori其他文献

Takai Toshinori的其他文献

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

相似海外基金

議論の多様性に着目した数学的問題設定の授業と評価方法の開発と検証
注重论点多样性的数学问题设置类和评价方法的开发和验证
  • 批准号:
    24K00413
  • 财政年份:
    2024
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Methodology of Argument Construction in Medieval Indian Argumentation Theory
中世纪印度论证理论的论证构建方法论
  • 批准号:
    23K18636
  • 财政年份:
    2023
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Research Activity Start-up
取締役の株主に対する忠実義務の理論的検証-フランスにおける議論を手掛かりに-
董事对股东忠诚义务的理论考察——基于法国的讨论——
  • 批准号:
    23K01202
  • 财政年份:
    2023
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
人民の明治維新経験に関する実証的研究―明治前期の教育普及事業をめぐる議論―
明治维新民众体验的实证研究——明治初期教育传播工程探讨
  • 批准号:
    22K00855
  • 财政年份:
    2022
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
選択権者理論の実証分析―非選出議席は権力維持に寄与するのか?
选择者理论的实证分析:未经选举产生的席位是否有助于维持权力?
  • 批准号:
    21K01319
  • 财政年份:
    2021
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了