21世紀へのソフトウェア開発技術
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 2001-02-15
著者
-
野呂 昌満
南山大学数理情報学部
-
野呂 昌満
南山大学
-
野呂 昌満
南山大
-
吉田 和樹
東芝ソリューション株式会社
-
吉田 和樹
東芝
-
岸 知二
Jaist:nec
-
岸 知二
北陸先端科学技術大学院大学:(現)早稲田大学理工学術院創造理工学部経営システム工学科
-
落水 浩一郎
北陸先端大
-
中谷 多哉子
SLagoon
-
中谷 多哉子
筑波大学 大学院 ビジネス科学研究科
-
岸 知二
北陸先端大
-
松本 健一
奈良先端大
-
岸 知二
日本電気株式会社
関連論文
- アスペクト指向技術を用いたORBミドルウェア開発方法(オブジェクト指向とWeb技術)
- 高速軽量なXQuery問い合わせプログラム生成系の設計と試作
- E-AoSAS++に基づく開発支援環境 : コード生成ツールの提案(組込み(学生セッション))
- E-AoSAS++に基づく開発支援環境 : 実行前検査ツールの提案(組込み(学生セッション))
- ソフトウェア工学科の誕生 : ソフトウェア工学によるソフトウェア工学教育カリキュラムの開発(開発/設計手法,報告)
- アスペクト指向に基づくソフトウェアアーキテクチャの文書化方式
- ソフトウェア工学科の設計
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 開発履歴中のソースコードを対象とした更新の重要度を評価する手法の提案(ソフトウェア工学)
- モデル検査のためのアスペクト指向メカニズム切り替え手法の提案(設計支援)
- モデル検査のためのアスペクト指向でのモデル記述支援環境(形式手法(1)・言語(学生セッション))
- 携帯電話制御ソフトウェアのアスペクト指向実現(アスペクト指向)
- アスペクト指向ソフトウェアアーキテクチャスタイルの提案(アスペクト指向)
- プロジェクト紹介 : 高信頼組込み用オブジェクト指向設計技術(組込み・アスペクト指向)
- アスペクト指向設計モデルの一提案(組込み・アスペクト指向)
- ソフトウェアアーキテクチャのためのアスペクト指向分析
- アスペクト指向設計に関する考察 : 全体構想
- 2層フィーチャモデルを用いた開発手法の提案と実装(開発支援・開発手法)
- ウインターワークショップ・イン・金沢報告 : 総括
- ソフトウェア工学による組込みソフトウェアの開発効率化 : 規模と複雑さとの戦い
- ハードウェア情報を含めたMDAの提案と実装(MDAとパターン)
- アプリケーションソフトウェアのためのコンポーネント開発手法の提案と適用
- 1L-3 UML設計に対するモデル検査のための検証パターン(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(1),一般セッション,リーディングプロジェクト e-society)
- 最優秀賞受賞論文 組込みソフトウェア設計検証へのモデル検査技術の適用と考察 (「SEC journal」論文賞)
- UML設計モデル検査技術のための検証パターンの提案
- モデル検査技術を活用したソフトウェア設計・検証手法に関する考察(モデル表記・モデル検査)
- 1L-1 モデル検査技術によるUML設計検証に関する考察(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(1),一般セッション,リーディングプロジェクト e-society)
- 3.モデル検査技術によるUML設計検証(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- モデル検査によるアーキテクチャ設計検証(アーキテクチャ)
- 1.高信頼組込みシステムのための先進ソフトウェア技術(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 2. 組込みシステムの設計手法 : オブジェクト指向設計を中心にして(組込みシステム開発の現状)
- アーキテクチャパターンに基づく設計手法の考察
- 組み込みシステムを対象にしたアーキテクチャー指向開発手法の提案(その2) : アーキテクチャの選択と組み立てメカニズム
- 安全性ソフトウェアのための監視手法の開発
- 組込みシステムのためのオブジェクト指向設計手法--コ-ドレスホンシステムへの適用例
- ソフトウェアアーキテクチャに基づく安全性ソフトウェアの開発
- 組み込みシステムを対象にしたアーキテクチャ指向開発手法の提案
- 特集「未来志向のソフトウェア工学」の編集にあたって
- サマーワークショップ・イン・立山 開催報告
- ハードウェア情報を含めたMDAの提案と実装(MDAとパターン)
- パネル討論 : ネットワークソフトウェアの開発を考える
- 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
- 第11回ソフトウェアプロダクトライン国際会議(SPLC2007)参加報告(ソフトウェア評価/プロダクトライン)
- ウインターワークショップ2010・イン・倉敷開催報告
- モデル検査のための設計モデル構築手法に関する考察
- モデル検査のための設計モデル構築手法に関する考察
- ウインターワークショップ2010・イン・倉敷開催報告
- ソフトウェア設計・検証手法に関する考察〜モデリングの観点より〜
- 分散環境におけるオブジェクト指向データベースの実現に関する一方式
- オブジェクト指向'95シンポジウム(OO '95)報告
- 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
- 21世紀へのソフトウェア開発技術
- OO'97オブジェクト指向モデリングワークショップ報告
- 「ソフトウェアアーキテクチャはどう役にたつのか」
- 組込みソフトウェアの仕様モデルとアーキテクチャの関係に関する考察
- 編集にあたって(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- ソフトウェア設計に対するモデル検査のための検証パターン
- モデル検査技術を活用したソフトウェア設計・検証手法に関する考察(モデル表記・モデル検査)
- EDOC2000参加報告
- 会議レポート:EDOC2000
- ソフトウェアアーキテクチャ (特集 ソフトウェア工学の新しい流れ)
- ITSシステムアーキテクチャの活用 (ITS特集) -- (ITS基盤システム構築のために)
- ITSシステムア-キテクチャ (ITS (高度道路交通システム)特集)
- プローブ情報システムのアーキテクチャに関する調査研究--アーキテクチャ観点からの標準化戦略の検討 (特集 ITS) -- (研究活動紹介 標準化に関する研究)
- プロダクトライン開発における多様性管理に関する考察(組込みソフトウェア工学シンポジウム)
- ソフトウェアアーキテクチャの評価手法について
- プロダクトラインのスコープ決定手法について
- ソフトウェアアーキテクチャ
- アーキテクチャコンフォーマンスに基づくソフトウェア設計
- ソフトウェアアーキテクチャに基づく性能問題へのアプローチ
- ソフトウェアアーキテクチャの今日的意義
- 分散システムにおける協調動作の設計手法
- オブジェクト指向設計を支援する設計モデルからのコード生成機能
- オブジェクト指向開発アプローチCrossover(4) : 設計モデルII
- ソフトウェアエンジニアリングシンポジウム2009開催報告
- 特集「オブジェクト指向とWeb技術」の編集にあたって
- ソフトウェア工学は工学足りえるか
- パネル討論 : ソフトウェア新工法へ向けて
- ソフトウェアのモジュール間通信を考慮した信頼度成長モデル(信頼性)
- ソフトウェアのモジュ-ル間通信を考慮した信頼度成長モデル (ソフトウェア工学における管理的側面と技術的側面)
- ウィンターワークショップ・イン・金沢報告 : アーキテクチャ
- ソフトウェアアーキテクチャに関する考察 : AHPを活用したアーキテクチャ選択
- 第7回 ソフトウェアアーキテクチャの今日的価値(ソフトウェア新時代)
- 1 プロダクトライン開発の全体像と要求工学(ソフトウェア再利用の新しい波-広がりを見せるプロダクトライン型ソフトウェア開発-)
- 巻頭言 : プロダクトライン開発と再利用技術(ソフトウェア再利用の新しい波-広がりを見せるプロダクトライン型ソフトウェア開発-)
- デザインパターンへの適合性確認手法について
- デザインパターンへの適合性確認手法について
- 設計モデル理解のためのOMTシミュレータの検討
- オブジェクト指向開発アプローチCrossover(5) : 実行確認系II
- オブジェクト指向開発アプローチCrossover(3) : 実行確認系
- 静的意味情報を考慮したコンポーネントのサイズメトリクス
- 静的意味情報を考慮したコンポーネントのサイズメトリクス
- ソフトウェア工学って何ですか?
- 構文変更可能なオブジェクト指向プログラミング言語の設計
- ネットワークソフトウェア開発のためのコンポーネントウェアPARTYの設計
- 自動販売機制御ソフトウェアの開発におけるOMT法の有効性の検証
- オブジェクト指向による自動販売機制御ソフトウェアの設計と試作 (ソフトウェア工学)
- 5B-4 モデルとビューの分離・統合を利用した要求定義ノウハウの可視化と共有手法(プログラム設計支援,一般セッション,ソフトウェア科学・工学)
- スケーラブルなモデリング技法に関する考察
- オブジェクト指向シンポジウム2003