続・ソフトウェア工学の共通問題:4.座談会 〜共通問題を通して見るソフトウェア工学の30年〜

スポンサーリンク

概要

• 論文の詳細を見る
• 2014-09-15

著者

• 岸 知二

  早稲田大学

• 紫合 治

  東京電機大 情報環境

• 青山 幹雄

  南山大学

• 野田 夏子

  芝浦工業大学

関連論文

• SOAに基づく自動車組込みソフトウェアアーキテクチャの提案
• 6M-5 サービス指向に基づ
• ソフトウェア工学科の誕生
• ソフトウェア工学科の誕生 : ソフトウェア工学によるソフトウェア工学教育カリキュラムの開発(開発/設計手法,報告)
• ソフトウェア工学科の設計
• モデル検査のためのアスペクト指向メカニズム切り替え手法の提案(設計支援)
• モデル検査のためのアスペクト指向でのモデル記述支援環境(形式手法(1)・言語(学生セッション))
• オブジェクト指向に基づくプログラム動作の可視化(学生セッション H_開発支援)
• 車載組込みシステム向けアスペクト指向モデリング・分析方法論(組み込み・Web(学生セッション))
• ソフトウェアアーキテクチャのためのアスペクト指向分析
• 2層フィーチャモデルを用いた開発手法の提案と実装(開発支援・開発手法)
• 第25回ソフトウェア工学国際会議(ICSE2003)の話題
• ソフトウェア工学による組込みソフトウェアの開発効率化 : 規模と複雑さとの戦い
• 4M-7 自動車組込みソフトウェアヘのサービス指向アーキテクチャの提案(ソフトウェア分析,学生セッション,ソフトウェア科学・工学)
• 4M-6 軽量サービス指向アーキテクチャ設計方法の提案と評価(ソフトウェア分析,学生セッション,ソフトウェア科学・工学)
• D-15-15 コラボレーションシステムを用いたコンピュータプログラミング教育その 2
• D-15-14 コラボレーションシステムを用いたコンピュータプログラミング教育その 1
• ハードウェア情報を含めたMDAの提案と実装(MDAとパターン)
• 組込みシステムの要求・設計アニメーションツール(設計支援)
• 3Q-5 設計のアニメーション支援ツール(開発支援環境,学生セッション,ソフトウェア科学・工学)
• 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
• 1L-3 UML設計に対するモデル検査のための検証パターン(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(1),一般セッション,リーディングプロジェクト e-society)
• 最優秀賞受賞論文 組込みソフトウェア設計検証へのモデル検査技術の適用と考察 (「SEC journal」論文賞)
• UML設計モデル検査技術のための検証パターンの提案
• モデル検査技術を活用したソフトウェア設計・検証手法に関する考察(モデル表記・モデル検査)
• 3.モデル検査技術によるUML設計検証(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
• ユーザの移動に伴う機器と環境の状態引き継ぎを実現するホームネットワークシステムの提案(ホームネットワーク)
• 1.高信頼組込みシステムのための先進ソフトウェア技術(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
• 特集「未来志向のソフトウェア工学」の編集にあたって
• ジャクソン法(JSP)による状態遷移設計
• ハードウェア情報を含めたMDAの提案と実装(MDAとパターン)
• 第28回ソフトウェア工学国際会議(ICSE2006)参加報告
• ソフトウェア開発プロセスのサービスモデルとその実行環境の提案と評価
• ソフトウェアエンジニアリングシンポジウム2010開催報告
• ウインターワークショップ2010・イン・倉敷開催報告
• モデル検査のための設計モデル構築手法に関する考察
• モデル検査のための設計モデル構築手法に関する考察
• ウインターワークショップ2010・イン・倉敷開催報告
• ソフトウェア設計・検証手法に関する考察〜モデリングの観点より〜
• ウインターワークショップ2010・イン・倉敷開催報告
• 編集にあたって(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
• ソフトウェア設計に対するモデル検査のための検証パターン
• モデル検査技術を活用したソフトウェア設計・検証手法に関する考察(モデル表記・モデル検査)
• 6ZH-7 エコ温室栽培システムの動作アニメーション(CGシステム・応用,学生セッション,インタフェース,情報処理学会創立50周年記念)
• 1T-8 HTMLを用いたWebアプリケーション自動構築(Webデザイン,学生セッション,データベースとメディア)
• ウィンターワークショップ2005イン・伊豆参加報告(ソフトウェア工学の動向報告)
• オブジェクト指向プログラムの動作の可視化
• 入出力データ構造の対応による Web サービスの自動合成
• 1Q-6 リファクタリングをガイドするツール(プログラミング言語・実装・支援,学生セッション,ソフトウェア科学・工学)
• 6P-2 プロブレムフレームにおける状態遷移図設計支援システム(ソフトウェア理解支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
• ソフトウェアエンジニアリングシンポジウム2009開催報告
• モデル検査のための設計モデル構築手法に関する考察
• モデル検査のための設計モデル構築手法に関する考察
• ソフトウェア設計・検証手法に関する考察 : モデリングの観点より
• ソフトウェアアーキテクチャに関する考察 : AHPを活用したアーキテクチャ選択
• 1N-6 入出力データ構造の対応によるWebサービスの自動合成(Webサービス提供,学生セッション,データベースとメディア)
• 6ZL-8 コージェネレーション温室栽培施設自動管理システムの開発(情報システムの事例,学生セッション,コンピュータと人間社会)
• 2Q-1 状態遷移表の設計支援ツール(検査,検証,解析,学生セッション,ソフトウェア科学・工学)
• 2層構造によるWebアプリケーションのWebサービス変換(ネットワークサービス)
• HTMLタグ属性の追加によるWebアプリケーションのWebサービス変換(フレームワーク/サービス)
• インタフェースの情報を用いたシーケンス図作成支援システム(学生セッション F_モデル指向(2))
• インターフェースの情報を用いた状態遷移図の生成(開発支援(1)(学生セッション))
• WebアプリケーションのWebサービス変換(組み込み・Web(学生セッション))
• 状態指向の状態遷移表(要求/モデル)
• プロトコル状態マシンを用いた振舞い状態マシンの設計
• スケーラブルなモデリング技法に関する考察
• ウィンターワークショップ2011・イン・修善寺開催報告
• プロブレムフレームによる状態遷移図分析支援システム
• GUIを考慮したMDA開発手法の提案
• GUIを考慮したMDA開発手法の提案
• 特集「組込み/リアルタイムソフトウエア」の編集にあたって
• SPLC2011参加報告
• プロブレムフレームに基づく組込みシステムの状態遷移分析支援システム
• 近似的モデリング技法についての考察
• メタモデル進化を考慮したモデル変換開発手法の提案
• コードからの抽象ユーザインタフェース情報抽出手法
• ウィンターワークショップ2012・イン・琵琶湖開催報告
• モデル検査技術を用いたユースケース記述分析手法の提案
• 重み付き有向グラフを用いたセンサ隣接関係の自動推定手法
• GUIアプリケーションのテスト駆動開発の一手法
• フィールド・メソッド関係表によるプログラムの評価
• プロブレムフレームにおけるシーケンス図の活用
• プロブレムフレームにおけるシーケンス図の活用
• 近似的モデリングメカニズムについての考察
• ウィンターワークショップ2013・イン・那須報告
• ソフトウェアプロダクトラインにおける非機能特性を考慮した製品導出支援手法の提案
• ソフトウェアプロダクトライン国際会議(SPLC2013)参加報告
• コードからの抽象ユーザインタフェース情報抽出手法(開発支援,ソフトウェアサイエンス、理論)
• ウィンターワークショップ2012・イン・琵琶湖開催報告(報告,ソフトウェアサイエンス、理論)
• メタモデル進化を考慮したモデル変換開発手法の提案(開発支援,ソフトウェアサイエンス、理論)
• 重み付き有向グラフを用いたセンサ隣接関係の自動推定手法(行動・データ解析,ソフトウェアサイエンス、理論)
• GUIアプリケーションのテスト駆動開発の一手法(テスト,ソフトウェアサイエンス、理論)
• モデル検査技術を用いたユースケース記述分析手法の提案(検証,ソフトウェアサイエンス、理論)
• ソフトウェアプロダクトライン国際会議(SPLC2013)参加報告
• 続・ソフトウェア工学の共通問題:4.座談会 〜共通問題を通して見るソフトウェア工学の30年〜
• ソフトウェアプロダクトラインにおける非機能特性を考慮した製品導出支援手法の提案
• GUIアプリケーショシのテスト駆動開発の一手法
• モデル検査技術を用いたユースケース記述分析手法の提案
• メタモデル進化を考慮したモデル変換開発手法の提案
• コードからの抽象ユーザインタフェース情報抽出手法

もっと見る 閉じる

スポンサーリンク