オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
スポンサーリンク
概要
- 論文の詳細を見る
パネルの目的はエンジニアリングとサイエンスの立場から「オブジェクト指向」を見つめなおすことである.いまのところ,両方の側共に「オブジェクト指向」が優れたソフトウェアパラダイムと考えているように思われる.しかし,パネルでは,本当にそうだろうかと問い直したい.今回の研究会はソフトウェアに対してそれぞれ工学の立場および科学の立場という基本的異なる文化を有している二つの研究会の連続開催として実施されている.そこで現在研究の最も前線で活躍されている方々を両方の研究会からパネリストとしてお願いし忌憚なきご意見を頂く.
- 一般社団法人情報処理学会の論文
- 1994-01-20
著者
-
本位田 真一
(株)東芝システム・ソフトウェア生産技術研究所
-
佐伯 元司
東京工業大学
-
加藤 和彦
筑波大学
-
大蒔 和仁
電子技術総合研究所
-
久世 和資
IBM東京基礎研究所
-
大蒔 和仁
電総研
-
大蒔 和仁
産業技術総合研究所
-
大蒔 和仁
電子技術総合研究所情報アーキテクチャ部
関連論文
- CAiSE'06参加報告
- CAiSE' 06参加報告
- 8. オブジェクト指向分析・設計の実際と評価 ( オブジェクト指向分析・設計)
- ゴール指向要求分析のためのドメインオントロジの利用法(ソフトウェア開発とオントロジー,プロジェクト管理とモニタリング,一般)
- 要求分析のためのドメインオントロジ構築支援
- ドメインオントロジを用いた要求獲得支援ツールの実現
- 電力系統監視制御システムへのオブジェクト指向分析適用の試行
- 榎本肇先生を偲んで(追悼抄)
- アスペクト概念を利用したゴール指向要求獲得法
- 要求仕様と再利用可能な実現構造の振る舞いの差分検出に基づく要求分析(オブジェクト指向,言語設計(学生セッション))
- モデル駆動型開発におけるモデルメトリックスの定義手法
- 同期型待ち行列ネットワークのボトルネックに対する定性的なパラメータチューニング法
- 定性推論と定量推論を導入した待ち行列ネットワークのボトルネック診断と改善法
- 知識工学的手法による待ち行列ネットワークのボトルネック診断
- ドメイン分析に基づく仕様再利用手法
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- ユースケース記述に対するフレームワーク利用法の導出(アーキテクチャ・フレームワーク(学生セッション))
- 非同期型のコミュニケーションを用いた共同作業における阻害要因の分析
- 静的解析と動的解析を用いたデザインパターン検出手法
- UMLで記述したモデルの構成管理支援法(要求工学)
- デザインパターンのオブジェクト指向モデル化と支援ツールへの応用(ソフトウェアシステム)
- デザインパターンのオブジェクト指向モデル化と支援ツールへの応用
- フレームワークの要求仕様に対する適合性の評価手法
- グラフ変換を用いたUMLモデルのリファクタリング支援
- デザインパターンのモデル化と適用支援ツール
- ソフトウェアパターンの変換に基づくソフトウェア開発
- フレームワークに基づいた変更支援法について
- ベイジアンネットワークを用いたソフトウェア実装技術の選択支援
- 要求獲得におけるシソーラスの効果・効用について
- シソーラスを用いた要求分析法
- ASE2004参加報告
- 要求分析のためのシソーラス作成支援
- サマーワークショップ・イン・立山 開催報告
- TA-2-2 高水準ペトリネットによるソフトウェア設計法(TA-2. 高水準ペトリネットのシステムとソフトウェア開発への応用,チュートリアル講演)
- 代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法
- 仕様記述過程モデル化のための実験と分析
- 時相論理とその応用 (<特集>非標準論理とその応用)
- PAORE : パッケージ指向の要求獲得プロセス
- インタビューによる要求抽出作業を誘導するシステムの実現方法
- インタビューによる要求抽出作業を誘導するシステムの実現方法
- 要求工学における人工知能技術(知能ソフトウェア工学〔第4回〕)
- 6 要求仕様の品質特性(要求工学)
- ゴールグラフからのフィーチャモデル導出(要求,アーキテクチャ(学生セッション))
- 座談会 人間の知能と機械の知能 : 1986年9月6日 於:北海道大学
- シミュレーション手法に基づいた並行処理ソフトウェアのプロトタイピング手法
- 知識工学手法による待ち行列ネットワークのボトルネック診断
- CAiSE'06参加報告
- CAiSE'06参加報告
- 要求工学国際会議(RE'04)の開催を振り返って(要求工学・ドメイン分析)
- 振る舞いモデルを用いたフレームワーク利用支援ツール
- C-Prologコンパイラの開発(2) : 内部構造について
- C-Prologコンパイラの開発(1) : 設計思想について
- 産業界におけるソフトウェア・エンジニアリングの動向(ソフトウェアの品質保証について)
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- シソーラスを利用した要求獲得方法(THEOREE)
- 編集操作の分類に基づくソースコード差分の構造化
- コモンクライテリアをドメイン知識としたゴール指向セキュリティ要求獲得法
- 対面式会議を支援する計算機システムの評価実験
- 要求仕様作成会議の発話履歴を利用した仕様記述法の適用・評価
- ソフトウェアの要求獲得を支援する対面式会議システムに関する一考察
- 要求仕様作成会議の発話履歴を利用した仕様書の記述法
- 仕様作成会議の発話履歴と仕様書の構造に関する分析
- 仕様作成会議の発話履歴を用いて仕様書を作成する方法
- ウィンターワークショップin神戸報告
- ユースケース記述からの状態遷移モデル生成
- 特集「アジア・太平洋のソフトウェア技術」の編集にあたって (アジア・太平洋のソフトウェア技術)
- 方法論の構築支援ツール
- Expert System for Specification Process in Software Development System Pure TELL
- 自然言語仕様からモジュール構造を得る手法について
- 自然言語の語彙に基づいたオブジェクト指向仕様記述言語
- 自然言語に基づくソフトウェア部品の結合方式の考察
- 自然言語に基づいたソフトウェア設計プロセス
- 自然言語に基づく静的システムの仕様のプロトタイププログラムへの変換手法
- 自然言語と図を用いた仕様記述言語の構造化エディタの開発
- モデルチェッカを用いた要求仕様の法令準拠性の検査
- 時制論理とペトリネット(AIの推論とOR)
- Bee-gent:移動型仲介エージェントによる既存システムの柔軟な活用を目的としたマルチエージェントフレームワーク
- マルチエージェントフレームワークBee-gentを用いた分散システムにおけるデザインパラダイムの分類と評価
- 既存システムの柔軟な結合を可能にするエージェントフレームワークBe-gentの提案
- モバイルエージェントを用いた分散制約充足問題へのアプローチ : 分散協調型電力系統設備作業停止計画支援システムの開発
- 代数的仕様を用いたソフトウェア開発支援環境 : Metis-AS
- Metis-AS における代数的仕様の検証手続き
- 等式論理の帰納的定理を証明する手続き
- 要求分析・設計時における代替案選択のための意思決定法
- カラーペトリネットによるオブジェクト指向ソフトウェアのテストと解析方法
- カラーペトリネットによるオブジェクト指向ソフトウエアのテストと解析方法
- 代数的仕様のΔ拡張
- リアルタイムシステムにおけるプロトタイピングの一手法
- 複合ビューポイントに基づく仕様化プロセスの分析
- 代数的仕様記述と図式仕様記述の相補的役割について : 複眼的システムモデル
- 診断型エキスパート・システム (エキスパート・システム)
- 1. オブジェクト指向分析・設計 ( オブジェクト指向分析・設計)
- 3. 応用分野の最前線 3.4 制御分野における自動プログラミング (自動プログラミング)
- 代数仕様技術によるオブジェクト指向分析設計の検証支援
- 特集「ネット指向パラダイムを求めて」の編集にあたって
- 推論型システム記述言語 MENDEL
- 制約処理パターンを用いたオブジェクト思考ソフトウェア開発