青木 利晃 (AOKI, Toshiaki)教授
融合科学系, 情報科学系,セキュリティ・ネットワーク領域

Misc

25件
ウインターワークショップ2008・イン・道後開催報告
阿萬裕久, 青木利晃, 沢田篤史, 山本晋一郎, 渥美紀寿, 白銀純子, 浦本直彦, 松塚貴英, 羽生田栄一, 鷲崎弘宜, 野中誠, 吉岡信和, 田原康之
情報処理学会研究報告, 2008, 55(SE-160 EMB-9), 65-72, 2008/06/12
組込みシステムシンポジウム2006実施報告
沢田篤史, 青木利晃, 冨山宏之, 久保秋真
情報処理学会研究報告, 2007, 52(SE-156 EMB-5), 27-32, 2007/05/28
「ウィンターワークショップ2007・イン・那覇」開催報告
松塚貴英, 沢田篤史, 青木利晃, 福安直樹, 妻木俊彦, 中村友昭, 浦本直彦, 羽生田栄一, 鷲崎弘宜
情報処理学会研究報告, 2007, 52(SE-156 EMB-5), 19-25, 2007/05/28
形式的手法最前線―拠点の活動とねらい
青木利晃, 荒木啓二郎, 片山卓也, 木下佳樹, 中島震
情報処理学会シンポジウム論文集, 2006, 9, 158-159, 2006/10/19
組み込みシステム開発への形式的手法の適用
青木利晃
情報処理学会シンポジウム論文集, 2003, 13, 126-127, 2003/10/16
状態遷移図の段階的構築のための論理的基盤
青木利晃, 片山卓也
情報処理学会研究報告, 2003, 73(SE-143), 21-28, 2003/07/17
ウィンターワークショップin神戸報告
中谷多哉子, 松田栄之, 藤井拓, 松下誠, 平山雅之, 青木利晃, 大木幹雄, 佐伯元司, 綿引健二
情報処理学会研究報告, 2003, 60(SE-142), 45-53, 2003/05/30
オブジェクト指向分析モデルの検証について
青木利晃, 片山卓也
情報処理学会シンポジウム論文集, 2003, 5, 13-14, 2003/01/23
組込みシステム開発におけるOO技術導入の現状 OOを広めるために
林康二, 青木利晃, 佐藤啓太, 杉浦英樹, 川口晃
情報処理学会OOシンポジウム, 2002, 209-210, 2002/09/01
組み込みシステム設計における並行正規表現を用いたスレッド抽出法の適用
岡崎光隆, 青木利晃, 片山卓也
情報処理学会研究報告, 2002, 64(SE-138), 35-42, 2002/07/11
定理証明システムHOLにおけるオブジェクト指向理論の構築
矢竹健朗, 青木利晃, 片山卓也
情報処理学会研究報告, 2002, 64(SE-138), 19-26, 2002/07/11
組み込みシステムの動向
青木利晃
情報処理学会研究報告, 2002, 35(SE-137), 61-64, 2002/05/10
オブジェクト指向組み込みシステム開発における科学的手法の適用
青木利晃, 片山卓也
情報処理学会シンポジウム論文集, 2002, 2, 1-2, 2002/01/17
SESアプローチへのスケジューリング理論の導入に関する考察
青木利晃, 片山卓也
情報処理学会シンポジウム論文集, 2001, 2, 9-10, 2001/01/18
並行動作するオブジェクトからの処理列の抽出法
岡崎光隆, 青木利晃, 片山卓也
電子情報通信学会技術研究報告, 100, 440(KBSE2000 34-42), 65-72, 2000/11/16
オブジェクト指向分析モデルの検証と公理系の提案
立石孝彰, 青木利晃, 片山卓也
情報処理学会研究報告, 2000, 46(SE-127), 39-45, 2000/05/26
オブジェクト指向設計モデルSES‐Modelに基づいたソフトウェアの構成法
青木利晃, 森本大喜, 片山卓也
情報処理学会シンポジウム論文集, 99, 11, 57-58, 1999/09/09
オブジェクト指向方法論のための検証フレームワークに関する研究
花田真樹, 青木利晃, 片山卓也
情報処理学会研究報告, 99, 28(SE-122), 101-108, 1999/03/18
組み込みシステムを対象とした設計手法の形式化
青木利晃, 内藤壮司, 片山卓也
情報処理学会シンポジウム論文集, 99, 1, 3-4, 1999/01
オブジェクト指向組み込みシステム開発のためのSes‐Basedアプローチ
青木利晃, 内藤壮司, 片山卓也
日本ソフトウエア科学会大会論文集, 15th, 289-292, 1998/09
形式的オブジェクト指向分析モデルFO∀Mの構築法とその支援環境
青木利晃, 古川順一, 片山卓也
情報処理学会研究報告, 98, 20(SE-118), 143-150, 1998/03/10
オブジェクト指向方法論のための形式的モデルの検証
石田至, 青木利晃, 片山卓也
情報処理学会研究報告, 98, 20(SE-118), 135-141, 1998/03/10
複数視点からのシステムモデリングにおけるモデル統合と形式的手法
青木利晃, 片山卓也
情報処理学会シンポジウム論文集, 98, 1, 9-10, 1998/01
オブジェクト指向分析モデルにおける一貫性検証のための公理系の実際
青木利晃, 石田至, 古川順一, 片山卓也
日本ソフトウエア科学会大会論文集, 14th, 465-468, 1997/09
オブジェクト指向方法論のための形式的モデル
青木利晃, 片山卓也
オブジェクト指向最前線, 25-32, 1996