年 〜
年

検索結果 58 件

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

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

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

D-case pocket book : let's write dependability cases!
紙図書
author Yutaka Matsuno, Toshinori Takai, Shuichiro YamamotoAsset Management2012.10<M159-B151>
国立国会図書館

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

議論学を応用したソフトウェアインテグリティレベルの提案 : 平成27-29年度成果報告書
デジタル文書・図像類
高井, 利憲奈良先端科学技術大学院大学2018
インターネットで読める全国の図書館

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

議論学を応用したソフトウェアインテグリティレベルの提案 : 平成29年度実施状況報告書
デジタル文書・図像類
高井, 利憲奈良先端科学技術大学院大学2018
インターネットで読める全国の図書館

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

議論学を応用したソフトウェアインテグリティレベルの提案 : 平成28年度実施状況報告書
デジタル文書・図像類
高井, 利憲奈良先端科学技術大学院大学2017
インターネットで読める全国の図書館

A decidable subclass of term rewriting systems which effectively preserve recognizability

A decidable subclass of term rewriting systems which effectively preserve recognizability
紙博士論文
Toshinori Takai [著][Toshinori Takai]2002<UT51-2002-J379>
国立国会図書館

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

議論学を応用したソフトウェアインテグリティレベルの提案 : 平成27年度実施状況報告書
デジタル文書・図像類
高井, 利憲奈良先端科学技術大学院大学2016
インターネットで読める全国の図書館

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

レビュー結果を利用したアシュアランスケースの効率的な構築保守手法の開発 : 平成26年度実績報告書
デジタル文書・図像類
高井, 利憲奈良先端科学技術大学院大学2015
インターネットで読める全国の図書館

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

レビュー結果を利用したアシュアランスケースの効率的な構築保守手法の開発 : 平成25-26年度成果報告書
デジタル文書・図像類
高井, 利憲奈良先端科学技術大学院大学2015
インターネットで読める全国の図書館

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

レビュー結果を利用したアシュアランスケースの効率的な構築保守手法の開発 : 平成25年度実績報告書
デジタル文書・図像類
高井, 利憲奈良先端科学技術大学院大学2014
インターネットで読める全国の図書館

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

構成管理ツールおよびその運用手順に関するリスク分析とアシュアランスケースの記述事例
デジタル文書・図像類
高井, 利憲奈良先端科学技術大学院大学2012-06Information Science Technical ReportTR2012001
インターネットで読める全国の図書館

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

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

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

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

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

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

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

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

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

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

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

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

A decidable subclass of term rewriting systems which effectively preserve recognizability

A decidable subclass of term rewriting systems which effectively preserve recognizability
デジタル博士論文
高井, 利憲Nara Institute of Science and Technology2002-03-22
全国の図書館

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

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

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

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