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;高井利憲
  • 通讯作者:
    高井利憲
Modeling evidence-based arguments by abstract dialectical framework
通过抽象辩证框架对基于证据的论证进行建模
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    宮村純真;高井利憲;Toshinori Takai
  • 通讯作者:
    Toshinori Takai
{{ 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 }}

相似海外基金

論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
旨在深化论证和证明哲学的跨学科“逻辑哲学”研究
  • 批准号:
    23K20416
  • 财政年份:
    2024
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
図形領域における小学算数から中学数学の論証理解への滑らかな接続に重要な要因の解明
解析数字领域小学数学顺利过渡到初中数学论证理解的重要因素
  • 批准号:
    24K05973
  • 财政年份:
    2024
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Transcendental fiber functors, shift of argument algebras and Riemann-Hilbert correspondence for q-difference equations
q 差分方程的超越纤维函子、变元代数平移和黎曼-希尔伯特对应
  • 批准号:
    2302568
  • 财政年份:
    2023
  • 资助金额:
    $ 3万
  • 项目类别:
    Continuing Grant
Methodology of Argument Construction in Medieval Indian Argumentation Theory
中世纪印度论证理论的论证构建方法论
  • 批准号:
    23K18636
  • 财政年份:
    2023
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Research Activity Start-up
アカデミック・ライティングにおける論証の「型」の特徴と可能性
学术写作中论证“类型”的特征和可能性
  • 批准号:
    23K12805
  • 财政年份:
    2023
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Meta-Argument Education toward Inclusion: On S. Toulmin's "Argument Field"
走向包容性的元论证教育:论S.图尔敏的“论证场”
  • 批准号:
    23KJ0591
  • 财政年份:
    2023
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
英語ライティングの評価方法の検討ートゥールミンの論証モデルに着目した研究ー
英语写作评价方法探讨——以图尔敏论证模型为中心的研究——
  • 批准号:
    23H05017
  • 财政年份:
    2023
  • 资助金额:
    $ 3万
  • 项目类别:
    Grant-in-Aid for Encouragement of Scientists
Effects of age of acquisition and of community on argument ordering
习得年龄和社区对论证顺序的影响
  • 批准号:
    10825319
  • 财政年份:
    2023
  • 资助金额:
    $ 3万
  • 项目类别:
Doctoral Dissertation Research: Sources of argument role insensitivity in verb processing
博士论文研究:动词处理中论证角色不敏感的根源
  • 批准号:
    2240434
  • 财政年份:
    2023
  • 资助金额:
    $ 3万
  • 项目类别:
    Standard Grant
Argument Graph Supported Multi-Level Approach for Argumentative Writing Assistance
论证图支持多层次的议论文写作辅助方法
  • 批准号:
    2302564
  • 财政年份:
    2023
  • 资助金额:
    $ 3万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了