オブジェクト指向型操作的仕様に関する一考察
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェアの開発初期段階において,そのまま実行することによって操作的意味を示すような操作的仕様を作成し,実行によって示された意味によって要求を間接的に定義する方法が研究されている.本稿では,筆者の開発したオブジェクトに基づいた操作的仕様記述法を示し,これによってオブジェクト指向操作的仕様のもつ本質について考察する.
- 一般社団法人情報処理学会の論文
- 1988-03-15
著者
関連論文
- PCTE : ソフトウェアツールを移植可能にし, 共通に利用するための環境
- ソフトウェア科学会第4回大会
- 情報処理専門教育カリキュラムとアクレディテーション
- パネル討論会 : 要求技術の目指すべき方向
- 制御用マルチコンピュ-タの一方式における応答性改善について
- ソフトウェア工学教育の確立へ向けて(情報技術と教育)
- ソフトウェアエンジニアリング教育プログラム開設への誘い
- 情報システム構築のためのフレームワーク
- ソフトウェアエンジニアリングとソフトウェア工学(インタラクティブ・エッセイ)
- IT時代に対応する大学のソフトウェアエンジニアリング教育(インタラクティブ・エッセイ)
- オブジェクト指向型操作的仕様に関する一考察
- ソフトウェアに対する要求の形成 (<特集>ソフトウェア工学の現状と動向)
- データ構造指向の要求分析技法 (データ構造)
- リアルタイムシステムにおけるプロトタイピングの一手法
- 産業プロセスにおけるコンピュータの応用
- プロセス制御システムへのデータベース技術の応用 (データベース技術)
- ソフトウェアを高信頼化するための設計・製造技法 (高信頼化技術)
- 小特集「パターン認識技術の応用」の編集にあたって
- 実時間システムにおける要求と仕様化について(ソフトウェアツール 1 : 段計・記述)
- ソフトウェア工学に対するある期待
- プロセスコントロールに対するミニコンの適用について