https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&indexId=2830
52(2007-EMB-005)
情報学広場:情報処理学会電子図書館
2009-06-23T00:00:00+09:00
2009-06-23T00:00:00+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=33886&itemNo=1
平野, 清美
平野清美
宇佐美, 雅紀
宇佐美雅紀
藤倉, 俊幸
藤倉俊幸
モデル検査への事前条件・事後条件検証の導入
2009-06-30T08:09:26+09:00
2009-06-30T08:09:26+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=33887&itemNo=1
宇佐美, 雅紀
宇佐美雅紀
藤倉, 俊幸
藤倉俊幸
アセンブラのモデル検査におけるモデルの自動生成について
2009-06-30T08:09:26+09:00
2009-06-30T08:09:26+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=33888&itemNo=1
原, 彬寛
原彬寛
上田, 賀一
上田賀一
デバイス擬似コンポーネントに基づいたUML設計の検査手法の提案
2009-06-30T08:09:26+09:00
2009-06-30T08:09:26+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=33889&itemNo=1
松塚, 貴英
松塚貴英
沢田, 篤史
沢田篤史
青木, 利晃
青木利晃
福安, 直樹
福安直樹
妻木, 俊彦
妻木俊彦
中村, 友昭
中村友昭
浦本, 直彦
浦本直彦
羽生田, 栄一
羽生田栄一
鷲崎, 弘宜
鷲崎弘宜
「ウィンターワークショップ2007・イン・那覇」開催報告
2009-06-30T08:09:26+09:00
2009-06-30T08:09:26+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=33890&itemNo=1
沢田, 篤史
沢田篤史
青木, 利晃
青木利晃
冨山, 宏之
冨山宏之
久保秋, 真
久保秋真
組込みシステムシンポジウム実施報告
2009-06-30T08:09:26+09:00
2009-06-30T08:09:26+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=33891&itemNo=1
細合晋太郎
岸, 知二
岸知二
ハードウェア情報を含めたMDAの提案と実装
2009-06-30T08:09:26+09:00
2009-06-30T08:09:26+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=33892&itemNo=1
上野, 真由美
上野真由美
大森, 麻理
大森麻理
MDAにおけるモデル間の整合性保持のアプローチ
2009-06-30T08:09:26+09:00
2009-06-30T08:09:26+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=33893&itemNo=1
児玉, 公信
児玉公信
水野, 忠則
水野忠則
情報システム学的パタン・ランゲージの再発見
2009-06-30T08:09:26+09:00
2009-06-30T08:09:26+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=33894&itemNo=1
玉田, 春昭
玉田春昭
森崎, 修司
森崎修司
吉田, 則裕
吉田則裕
楠本, 真二
楠本真二
井上, 克郎
井上克郎
APIの使用に伴うコードクローンの特徴分析
2009-06-30T08:09:26+09:00
2009-06-30T08:09:26+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=33895&itemNo=1
宮崎, 宏海
宮崎宏海
早瀬, 康裕
早瀬康裕
市井, 誠
市井誠
松下, 誠
松下誠
井上, 克郎
井上克郎
ソースコード中の識別子に基づくカテゴリ階層構築手法
2009-06-30T08:09:26+09:00
2009-06-30T08:09:26+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=33896&itemNo=1
神戸, 英利
神戸英利
永松, 博子
永松博子
三井, 浩康
三井浩康
小泉, 寿男
小泉寿男
組込みソフトウェアの再利用を支援するモジュール間相互関連表示法
2009-06-30T08:09:26+09:00
2009-06-30T08:09:26+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=33897&itemNo=1
二上, 貴夫
二上貴夫
鶯崎弘宜
小林, 靖英
小林靖英
乾, 裕紀
乾裕紀
大槻, 博之
大槻博之
仲久保, 正人
仲久保正人
久保寺, 勇気
久保寺勇気
川縁, 幸平
川縁幸平
羽田, 千織
羽田千織
三橋, 祐仁
三橋祐仁
沼里京介
MDDロボットチャレンジ2006開催報告
2009-06-30T08:09:26+09:00
2009-06-30T08:09:26+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=33898&itemNo=1
斎藤, 司
斎藤司
MDD2006チャレンジ報告: 新潮流 チーム
2009-06-30T08:09:26+09:00
2009-06-30T08:09:26+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=33899&itemNo=1
鶯崎弘宜
久保秋, 真
久保秋真
小林, 靖英
小林靖英
渡辺, 晴美
渡辺晴美
小倉, 信彦
小倉信彦
飯田, 周作
飯田周作
MDDチャレンジにみる組込みソフトウェアモデル中心開発の工学と教育
2009-06-30T08:09:26+09:00
2009-06-30T08:09:26+09:00