Jump to main content

yr 〜
yr

Search results 82

次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究

次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究
Digital文書・図像類
青木, 利晃2018-05-15科学研究費助成事業研究成果報告書p.1-5
Other Libraries in Japan
  • Author Heading青木, 利晃

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)
PaperDigital図書
萩谷昌己 監修, 吉岡信和, 青木利晃, 田原康之 著近代科学社2008.9<M159-J302>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩谷, 昌己, 1957- 吉岡, 信和 青木, 利晃 田原, 康之 本位田, 真一, 1953-

形式手法の統合によるシームレスなソフトウェア開発手法の提案

形式手法の統合によるシームレスなソフトウェア開発手法の提案
Digital文書・図像類
青木, 利晃2015-06-01科学研究費助成事業研究成果報告書p.1-5
Other Libraries in Japan
  • Author Heading青木, 利晃

オブジェクト指向方法論の形式化とその計算機支援環境

オブジェクト指向方法論の形式化とその計算機支援環境
PaperDigital博士論文障害者向け資料あり
青木利晃 [著]<UT51-99-Q210>
Available onlineNational Diet Library
  • Author Heading青木, 利晃

ソフトウェア工学の基礎 22 (レクチャーノート/ソフトウェア学 ; 41)

ソフトウェア工学の基礎 22 (レクチャーノート/ソフトウェア学 ; 41)
Paper図書
近代科学社2015.11<M159-L802>
National Diet LibraryOther Libraries in Japan
  • Author introduction青木 利晃：北陸先端科学技術大学院大学 豊島 真澄：デンソー
  • Author Heading青木, 利晃 豊島, 真澄 武市, 正人, 1948- 米沢, 明憲, ...

高度な並行・並列組込みソフトウェアの検証法に関する研究

高度な並行・並列組込みソフトウェアの検証法に関する研究
Digital文書・図像類
青木, 利晃2012-06-04科学研究費補助金研究成果報告書p.1-5
Other Libraries in Japan
  • Author Heading青木, 利晃

マルチタスクソフトウェアの検証法

マルチタスクソフトウェアの検証法
Digital文書・図像類
青木, 利晃2007-09-06p.1-23
Other Libraries in Japan
  • Author Heading青木, 利晃

モデル検査手法1の普及に関する取り組み

モデル検査手法1の普及に関する取り組み
Digital文書・図像類
青木, 利晃2007-09-06p.1-17
Other Libraries in Japan
  • Author Heading青木, 利晃

MCBOK 2008:ソフトウェア開発のためのモデル検査知識体系 (算譜科学研究速報 ; AIST-PS-2009-9)

MCBOK 2008:ソフトウェア開発のためのモデル検査知識体系 (算譜科学研究速報 ; AIST-PS-2009-9)
Paper図書
西原秀明, 青木利晃, 粂野文洋, 篠崎孝一, 田口研治, 早水公二 [著], 産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所2009.8<Y251-J1016>
National Diet Library

モデル検査の教育プログラム構築に向けて (算譜科学研究速報 ; AIST-PS-2008-12)

モデル検査の教育プログラム構築に向けて (算譜科学研究速報 ; AIST-PS-2008-12)
Paper図書
青木利晃, 粂野文洋, 木下佳樹, 篠崎孝一, 高木理, 高村博紀, 田口研治, 中原早生, 西原秀明, 早水公二, 本位田真一, 渡邊宏 [著], 産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所2008.8<Y251-J511>
National Diet Library

オブジェクト指向方法論の形式化とその計算機支援環境

オブジェクト指向方法論の形式化とその計算機支援環境
Paper図書
青木利晃[著]青木利晃[1999]
Other Libraries in Japan
  • Author Heading青木, 利晃

組込みシステムシンポジウム2008論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2008 no.9)

組込みシステムシンポジウム2008論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2008 no.9)
Paper図書
情報処理学会2008.10<M154-J91>
National Diet Library

組込みシステムシンポジウム2009論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2009 no.10)

組込みシステムシンポジウム2009論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2009 no.10)
Paper図書
情報処理学会2009.10<M154-J166>
National Diet Library

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2008 15 (レクチャーノート/ソフトウェア学 ; 34)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2008 15 (レクチャーノート/ソフトウェア学 ; 34)
Paper図書
松下誠, 川口真司 編近代科学社2008.11<M159-J340>
National Diet LibraryOther Libraries in Japan

組込みソフトウェアシンポジウム2005論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2005 no.12)

組込みソフトウェアシンポジウム2005論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2005 no.12)
Paper図書
情報処理学会ソフトウエア工学研究会 [編]情報処理学会2005.10<M159-H1305>
National Diet Library

システム・制御・情報 : システム制御情報学会誌

システム・制御・情報 : システム制御情報学会誌
Paper雑誌雑誌タイトル
システム制御情報学会1989-<Z14-195>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

組込みシステムシンポジウム2007論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2007 no.8)

組込みシステムシンポジウム2007論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2007 no.8)
Paper図書
情報処理学会組込みシステム研究会 [編]情報処理学会2007.10<M154-H500>
National Diet Library

組込みソフトウェアシンポジウム2004論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2004 no.10)

組込みソフトウェアシンポジウム2004論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2004 no.10)
Paper図書
情報処理学会ソフトウエア工学研究会 [編]情報処理学会2004.10<M159-H969>
National Diet Library

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2005 12 (レクチャーノート/ソフトウェア学 ; 31)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2005 12 (レクチャーノート/ソフトウェア学 ; 31)
Paper図書
権藤克彦, 小林隆志 編近代科学社2005.11<M159-H1341>
National Diet LibraryOther Libraries in Japan
  • Contents...ジェクト指向設計モデルの検証 青木 利晃／著 検証可能ドメインモデルの構築と詳細化に関する商用システ...

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2004 11 (レクチャーノート/ソフトウェア学 ; 30)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2004 11 (レクチャーノート/ソフトウェア学 ; 30)
Paper図書
野呂昌満, 山本晋一郎 編近代科学社2004.11<M159-H961>
National Diet LibraryOther Libraries in Japan
  • Contents...向分析・設計モデルの解析手法 青木 利晃／著 型システムの表現力とプログラムの安全性 Jacques...
RSS