Jump to main content

yr 〜
yr

Search results 58

D-case入門 : ディペンダビリティ・ケースを書いてみよう!

D-case入門 : ディペンダビリティ・ケースを書いてみよう!
Paper図書
松野裕, 高井利憲, 山本修一郎 著ダイテックホールディング2012.8<M159-L456>
National Diet Library
  • Author Heading松野, 裕 高井, 利憲 山本, 修一郎, 1954-

D-case pocket book : let's write dependability cases!

D-case pocket book : let's write dependability cases!
Paper図書
author Yutaka Matsuno, Toshinori Takai, Shuichiro YamamotoAsset Management2012.10<M159-B151>
National Diet Library
  • Author Heading松野, 裕 高井, 利憲 山本, 修一郎, 1954-

議論学を応用したソフトウェアインテグリティレベルの提案 : 平成27-29年度成果報告書

議論学を応用したソフトウェアインテグリティレベルの提案 : 平成27-29年度成果報告書
Digital文書・図像類
高井, 利憲奈良先端科学技術大学院大学2018
Available onlineOther Libraries in Japan
  • Author Heading高井, 利憲

議論学を応用したソフトウェアインテグリティレベルの提案 : 平成29年度実施状況報告書

議論学を応用したソフトウェアインテグリティレベルの提案 : 平成29年度実施状況報告書
Digital文書・図像類
高井, 利憲奈良先端科学技術大学院大学2018
Available onlineOther Libraries in Japan
  • Author Heading高井, 利憲

議論学を応用したソフトウェアインテグリティレベルの提案 : 平成28年度実施状況報告書

議論学を応用したソフトウェアインテグリティレベルの提案 : 平成28年度実施状況報告書
Digital文書・図像類
高井, 利憲奈良先端科学技術大学院大学2017
Available onlineOther Libraries in Japan
  • Author Heading高井, 利憲

A decidable subclass of term rewriting systems which effectively preserve recognizability

A decidable subclass of term rewriting systems which effectively preserve recognizability
Paper博士論文
Toshinori Takai [著][Toshinori Takai]2002<UT51-2002-J379>
National Diet Library
  • Author Heading高井, 利憲

議論学を応用したソフトウェアインテグリティレベルの提案 : 平成27年度実施状況報告書

議論学を応用したソフトウェアインテグリティレベルの提案 : 平成27年度実施状況報告書
Digital文書・図像類
高井, 利憲奈良先端科学技術大学院大学2016
Available onlineOther Libraries in Japan
  • Author Heading高井, 利憲

レビュー結果を利用したアシュアランスケースの効率的な構築保守手法の開発 : 平成26年度実績報告書

レビュー結果を利用したアシュアランスケースの効率的な構築保守手法の開発 : 平成26年度実績報告書
Digital文書・図像類
高井, 利憲奈良先端科学技術大学院大学2015
Available onlineOther Libraries in Japan
  • Author Heading高井, 利憲

レビュー結果を利用したアシュアランスケースの効率的な構築保守手法の開発 : 平成25-26年度成果報告書

レビュー結果を利用したアシュアランスケースの効率的な構築保守手法の開発 : 平成25-26年度成果報告書
Digital文書・図像類
高井, 利憲奈良先端科学技術大学院大学2015
Available onlineOther Libraries in Japan
  • Author Heading高井, 利憲

レビュー結果を利用したアシュアランスケースの効率的な構築保守手法の開発 : 平成25年度実績報告書

レビュー結果を利用したアシュアランスケースの効率的な構築保守手法の開発 : 平成25年度実績報告書
Digital文書・図像類
高井, 利憲奈良先端科学技術大学院大学2014
Available onlineOther Libraries in Japan
  • Author Heading高井, 利憲

構成管理ツールおよびその運用手順に関するリスク分析とアシュアランスケースの記述事例

構成管理ツールおよびその運用手順に関するリスク分析とアシュアランスケースの記述事例
Digital文書・図像類
高井, 利憲奈良先端科学技術大学院大学2012-06Information Science Technical ReportTR2012001
Available onlineOther Libraries in Japan
  • Author Heading高井, 利憲

情報システムディペンダビリティ認証項目について (算譜科学研究速報 ; AIST-PS-2010-4)

情報システムディペンダビリティ認証項目について (算譜科学研究速報 ; AIST-PS-2010-4)
Paper図書
木下佳樹, 高井利憲 [著], 産業技術総合研究所 (組込みシステム技術連携研究体) 編産業技術総合研究所2010.7<Y251-J1306>
National Diet Library

システム検証の科学技術シンポジウム講演論文集 第4回 (算譜科学研究速報 ; AIST-PS-2008-2)

システム検証の科学技術シンポジウム講演論文集 第4回 (算譜科学研究速報 ; AIST-PS-2008-2)
Paper図書
産業技術総合研究所システム検証研究センター 編産業技術総合研究所関西センター2008.1<M159-J123>
National Diet Library

オープンシステムディペンダビリティに関する考察 : 「視点の動的網」による解決 (算譜科学研究速報 ; AIST-PS-2010-3)

オープンシステムディペンダビリティに関する考察 : 「視点の動的網」による解決 (算譜科学研究速報 ; AIST-PS-2010-3)
Paper図書
木下佳樹, 高井利憲, 田口研治, 武山誠 [著], 産業技術総合研究所 (組込みシステム技術連携研究体) 編産業技術総合研究所2010.5<Y251-J1305>
National Diet Library

フォーマルメソッドのフィールドワーク (算譜科学研究速報 ; AIST-PS-2008-8)

フォーマルメソッドのフィールドワーク (算譜科学研究速報 ; AIST-PS-2008-8)
Paper図書
木下佳樹, 高井利憲 [著], 産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2008.3<Y251-J245>
National Diet Library

環境ドライバを用いたモデル検査による検証事例 (算譜科学研究速報 ; AIST-PS-2007-10)

環境ドライバを用いたモデル検査による検証事例 (算譜科学研究速報 ; AIST-PS-2007-10)
Paper図書
高井利憲, 古橋隆宏, 尾崎弘幸, 大崎人士 [著], 産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2007.10<Y251-H1755>
National Diet Library

時相論理の充足可能性判定器のためのベンチマーク用論理式生成法 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-15)

時相論理の充足可能性判定器のためのベンチマーク用論理式生成法 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-15)
Paper図書
関澤俊弦, 高井利憲, 田辺良則, 高橋孝一 [著], 産業技術総合研究所関西センター尼崎事業所システム検証研究センター 編産業技術総合研究所関西センター尼崎事業所システム検証研究センター2005.9<Y251-H928>
National Diet Library

A decidable subclass of term rewriting systems which effectively preserve recognizability

A decidable subclass of term rewriting systems which effectively preserve recognizability
Digital博士論文
高井, 利憲Nara Institute of Science and Technology2002-03-22
Other Libraries in Japan
  • Author Heading高井, 利憲

抽象化を用いた検証ツールの調査 (産業技術総合研究所算譜科学グループ研究速報)

抽象化を用いた検証ツールの調査 (産業技術総合研究所算譜科学グループ研究速報)
Paper図書
産業技術総合研究所関西センター尼崎事業所システム検証研究ラボ 編, 田辺良則, 高井利憲, 高橋孝一 [著]産業技術総合研究所関西センター尼崎事業所システム検証研究ラボ2003.12<Y251-H242>
National Diet Library

システム検証の科学技術シンポジウム : 講演論文集 第5回 (算譜科学研究速報 ; AIST-PS-2009-1)

システム検証の科学技術シンポジウム : 講演論文集 第5回 (算譜科学研究速報 ; AIST-PS-2009-1)
Paper図書
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所システム検証研究センター2009.2<M159-J553>
National Diet Library
RSS