国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1990年代
(10)
2000年代
(59)
2010年代
(13)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(31)
雑誌
(45)
新聞
和古書・漢籍
博士論文
(1)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
(2)
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(5)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(7)
紙
(75)
マイクロ
記録メディア
(2)
すべて解除
絞り込み条件
絞り込み条件
検索結果 82 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究
次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究
デジタル
文書・図像類
青木, 利晃
2018-05-15
科学研究費助成事業研究成果報告書
p.1-5
全国の図書館
形式手法の統合によるシームレスなソフトウェア開発手法の提案
形式手法の統合によるシームレスなソフトウェア開発手法の提案
デジタル
文書・図像類
青木, 利晃
2015-06-01
科学研究費助成事業研究成果報告書
p.1-5
全国の図書館
SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)
SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)
紙
デジタル
図書
萩谷昌己 監修, 吉岡信和, 青木利晃, 田原康之 著
近代科学社
2008.9
<M159-J302>
国立国会図書館
全国の図書館
オブジェクト指向方法論の形式化とその計算機支援環境
オブジェクト指向方法論の形式化とその計算機支援環境
紙
デジタル
博士論文
障害者向け資料あり
青木利晃 [著]
<UT51-99-Q210>
インターネットで読める
国立国会図書館
ソフトウェア工学の基礎 22 (レクチャーノート/ソフトウェア学 ; 41)
ソフトウェア工学の基礎 22 (レクチャーノート/ソフトウェア学 ; 41)
紙
図書
近代科学社
2015.11
<M159-L802>
国立国会図書館
全国の図書館
著者紹介
青木 利晃
:北陸先端科学技術大学院大学 豊島 真澄:デンソー
高度な並行・並列組込みソフトウェアの検証法に関する研究
高度な並行・並列組込みソフトウェアの検証法に関する研究
デジタル
文書・図像類
青木, 利晃
2012-06-04
科学研究費補助金研究成果報告書
p.1-5
全国の図書館
マルチタスクソフトウェアの検証法
マルチタスクソフトウェアの検証法
デジタル
文書・図像類
青木, 利晃
2007-09-06
p.1-23
全国の図書館
モデル検査手法1の普及に関する取り組み
モデル検査手法1の普及に関する取り組み
デジタル
文書・図像類
青木, 利晃
2007-09-06
p.1-17
全国の図書館
MCBOK 2008:ソフトウェア開発のためのモデル検査知識体系 (算譜科学研究速報 ; AIST-PS-2009-9)
MCBOK 2008:ソフトウェア開発のためのモデル検査知識体系 (算譜科学研究速報 ; AIST-PS-2009-9)
紙
図書
西原秀明, 青木利晃, 粂野文洋, 篠崎孝一, 田口研治, 早水公二 [著], 産業技術総合研究所 (システム検証研究センター) 編
産業技術総合研究所
2009.8
<Y251-J1016>
国立国会図書館
モデル検査の教育プログラム構築に向けて (算譜科学研究速報 ; AIST-PS-2008-12)
モデル検査の教育プログラム構築に向けて (算譜科学研究速報 ; AIST-PS-2008-12)
紙
図書
青木利晃, 粂野文洋, 木下佳樹, 篠崎孝一, 高木理, 高村博紀, 田口研治, 中原早生, 西原秀明, 早水公二, 本位田真一, 渡邊宏 [著], 産業技術総合研究所 (システム検証研究センター) 編
産業技術総合研究所
2008.8
<Y251-J511>
国立国会図書館
オブジェクト指向方法論の形式化とその計算機支援環境
オブジェクト指向方法論の形式化とその計算機支援環境
紙
図書
青木利晃[著]
青木利晃
[1999]
全国の図書館
組込みシステムシンポジウム2008論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2008 no.9)
組込みシステムシンポジウム2008論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2008 no.9)
紙
図書
情報処理学会
2008.10
<M154-J91>
国立国会図書館
組込みシステムシンポジウム2009論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2009 no.10)
組込みシステムシンポジウム2009論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2009 no.10)
紙
図書
情報処理学会
2009.10
<M154-J166>
国立国会図書館
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2008 15 (レクチャーノート/ソフトウェア学 ; 34)
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2008 15 (レクチャーノート/ソフトウェア学 ; 34)
紙
図書
松下誠, 川口真司 編
近代科学社
2008.11
<M159-J340>
国立国会図書館
全国の図書館
システム・制御・情報 : システム制御情報学会誌
システム・制御・情報 : システム制御情報学会誌
紙
雑誌
システム制御情報学会
1989-
<Z14-195>
国立国会図書館
全国の図書館
組込みソフトウェアシンポジウム2005論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2005 no.12)
組込みソフトウェアシンポジウム2005論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2005 no.12)
紙
図書
情報処理学会ソフトウエア工学研究会 [編]
情報処理学会
2005.10
<M159-H1305>
国立国会図書館
組込みシステムシンポジウム2007論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2007 no.8)
組込みシステムシンポジウム2007論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2007 no.8)
紙
図書
情報処理学会組込みシステム研究会 [編]
情報処理学会
2007.10
<M154-H500>
国立国会図書館
組込みソフトウェアシンポジウム2004論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2004 no.10)
組込みソフトウェアシンポジウム2004論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2004 no.10)
紙
図書
情報処理学会ソフトウエア工学研究会 [編]
情報処理学会
2004.10
<M159-H969>
国立国会図書館
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2005 12 (レクチャーノート/ソフトウェア学 ; 31)
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2005 12 (レクチャーノート/ソフトウェア学 ; 31)
紙
図書
権藤克彦, 小林隆志 編
近代科学社
2005.11
<M159-H1341>
国立国会図書館
全国の図書館
内容細目
...ジェクト指向設計モデルの検証
青木 利晃
/著 検証可能ドメインモデルの構築と詳細化に関する商用システ...
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2004 11 (レクチャーノート/ソフトウェア学 ; 30)
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2004 11 (レクチャーノート/ソフトウェア学 ; 30)
紙
図書
野呂昌満, 山本晋一郎 編
近代科学社
2004.11
<M159-H961>
国立国会図書館
全国の図書館
内容細目
...向分析・設計モデルの解析手法
青木 利晃
/著 型システムの表現力とプログラムの安全性 Jacques...
もっと見る(21件目~)
書誌情報を一括出力