研究者詳細

研究発表
分割表示   全件表示 >>

41 件中 1 - 10 件目

年度
Year
題目又はセッション名
Title or Name of Session
細目
Authorship
発表年月(日)
Date
発表学会等名称 Name, etc. of the conference at which the presentation is to be given, 主催者名称 Organizer, 掲載雑誌名等 Publishing Magazine,発行所 Publisher,巻/号 Vol./no.,頁数 Page nos.
2016  MVCアーキテクチャのメタレベル適用による形式仕様モデルに関する考察  共同  2017/03 
組込みシステム研究会  , 情報処理学会組込みシステム研究会  , 情報処理学会研究報告(組込みシステム)  , 情報処理学会  , 2017-EMB-44/14  , pp. 1-6   

概要(Abstract)  

備考(Remarks)  

2016  組込みシステムへのコンテキスト指向プログラミング技術の適用  共同  2016/07 
ソフトウェア工学研究会  , 情報処理学会ソフトウェア工学研究会  , 情報処理学会研究報告(ソフトウェア工学)  , 情報処理学会  , 2016-SE-193/11  , pp.1-8   

概要(Abstract)  

備考(Remarks)  

2015  自動販売機システム開発文書への形式仕様記述の適用事例  共同  2016/03 
ソフトウェア工学研究会  , 情報処理学会ソフトウェア工学研究会  , 情報処理学会研究報告, ソフトウェア工学研究会  , 情報処理学会ソフトウェア工学研究会  , 2016-SE-191/12  , 1-8   

概要(Abstract)  

備考(Remarks)  

2015  オブジェクト間の相互作用の設計手法に関する考察  共同  2015/11 
FOSE2015  , ソフトウェ科学会  , FOSE2015 ポスターセッション資料  , ソフトウェア科学会ソフトウェア工学の基礎研究会  , 26-28   

概要(Abstract)  

備考(Remarks)  

2015  情報処理学会組込みシステム研究会  共同  2015/03/06 
同時性を考慮した並行システムの振舞い検証に関する考察  , 情報処理学会  , 情報処理学会研究報告組込みシステム研究会  , 情報処理学会組込みシステム研究会  , Vol. 2015-EMB-36, No.13  , 1-6   

概要(Abstract) 一定の時間間隔内に起きるイベントを同時発生イベントと定義し,その記述方法を提案し,並行処理記述の簡素化を図った. 

備考(Remarks)  

2014  インタラクティブソフトウェアの共通アーキテクチャの提案  共同  2015/03/12 
情報処理学会  , 情報処理学会ソフトウェア工学研究会  , 情報処理学会研究報告, ソフトウェア工学研究会(2015-SE-187)  , 情報処理学会  , 2015-SE-187/32  , 1-8   

概要(Abstract) スマートデバイス上で稼働するソフトウェアのアーキテクチャを提案した.アスペクト指向ソフトウェアアーキテクチャとして定義することで,当該ドメインのソフトウェアを適切に表現できることを示した. 

備考(Remarks)  

2013  際どい実行順序を考慮した並行システム検証に関する考察  共同  2014/03/15 
情報処理学会組込みシステム研究会  , 情報処理学会組込みシステム研究会  , 情報処理学会研究報告(組込みシステム)  , 情報処理学会  , 2014-EMB-32/8  , 1-6   

概要(Abstract)  

備考(Remarks) 張漢明,沢田篤史,野呂昌満(共同) 

2013  パターンを用いたフォールト検出法  共同  2013/11/29 
第20回ソフトウェア工学の基礎ワークショップ  , 日本ソフトウェア科学会ソフトウェア工学の基礎研究会   

概要(Abstract)  

備考(Remarks) 張漢明,野呂昌満,沢田篤史(共同) 

2012  アーキテクチャ指向開発における形式手法適用に関する考察  共同  2013/03 
情報処理学会組込みシステム研究会  , 情報処理学会  , 2013-EMB-28/11  , pp.1-6   

概要(Abstract)  

備考(Remarks)  

2012  SOAに基づくシステムのためのアプリケーションプラットフォームのプロダクトライン化に関する研究  共同  2013/03 
ソフトウェア工学研究会  , 情報処理学会  , 2013-SE-179/25  , pp.1-6   

概要(Abstract)  

備考(Remarks)  

Page: [<<PREV] [1] [2] [3] [4] [5] [NEXT>>]