仕様変更のプログラムへの写像 : 仕様変更プロセスを利用したプログラム合成
スポンサーリンク
概要
- 論文の詳細を見る
仕様変更の要求をプログラムに容易にかつ正確に反映させるために,仕様変更要求を設計モデル上で形式的に記述し,プログラムを合成するプロセスを再利用して,変更要求を満たすプログラムを開発する方法を広範囲言語Extended MLの枠組で提案する.Extended MLは,関数型言語Standard MLの拡張言語であり,一階等式論理による公理を定義できる.仕様変更プロセスをつぎの2つのプロセスから構成されると考える.第一は,Extended MLにより定義された設計仕様を仕様変更要求を満たすように,変更対象のモジュール間の関係を使って加工するプロセスであり,これを仕様の差分定義プロセスと呼ぶ.第二のプロセスは,設計仕様からプログラムを合成する過程であり,これを合成プロセスと呼ぶ.合成プロセスは,プログラムの実行順序や制御の決定を含むプログラム作成の具体的かつ有効な事例であるので,これを再利用してプログラムを合成する.この時,事例を適切に再利用するために,仕様の差分定義プロセスを利用する.本稿では,これらのプロセスをMLによるモジュール操作関数とプロセス操作関数によって定義し,仕様変更要求のプログラムへの写像を実現する.
- 一般社団法人情報処理学会の論文
- 1995-05-15
著者
-
松浦 佐江子
芝浦工業大学システム理工学部
-
松浦 佐江子
新ソフトウェア構造化モデル研究本部 情報処理振興事業協会(IPA)
-
本位田 真一
新ソフトウェア構造化モデル研究本部 情報処理振興事業協会(IPA)
-
松浦 佐江子
芝浦工業大学大学院 工学研究科
関連論文
- 6M-6 コードクローンの特徴に基づくリファクタリング手法(ソフトウェア開発,学生セッション,ソフトウェア科学・工学)
- 6W-3 ゴール指向を用いたセキュリティ要件の定義手法の提案(セキュリティと社会・リスク管理,学生セッション,セキュリティ)
- モデル駆動開発によるETロボコンへの取り組みと評価(デバッグ,モデル駆動開発)
- 連想アスペクト(アスペクト指向)
- 授業の多様性に柔軟に適応するLMSの開発(情報教育と授業支援システム/一般)
- ソースコード解析を利用したモデル検査に基づく欠陥抽出手法の提案(ソフトウェア解析)
- 組込みソフトウェアにおける段階的モデル駆動開発実験
- B-019 組込みシステムのモデル駆動開発実験(ソフトウェア,一般論文)
- 6Q-4 実行可能モデルを用いたモデル駆動開発実験(要求定義,MDA,プロダクトライン,学生セッション,ソフトウェア科学・工学)
- 5L-9 Java言語におけるテスト駆動開発支援ツール(プログラミング支援環境,学生セッション,ソフトウェア科学・工学)
- サービス非依存インタラクションモデルを用いたシステム開発の提案(モデルベース開発)
- UML要求分析モデルからの段階的な Web UI プロトタイプ自動生成手法
- UML要求分析モデルに基づくモデル駆動開発実験におけるトレーサビリティ評価 (知能ソフトウェア工学)
- 再利用可能部品としてのPIMの適用性実験(MDA/OCL)
- Javaプログラムの品質診断ツールとその教育への効果的利用方法(オープンソースやデバイス技術を活用した学習環境/一般)
- ブロック構造の可視化環境によるプログラミング学習支援(オープンソースやデバイス技術を活用した学習環境/一般)
- ソフトウェア開発グループ演習支援システムの開発
- 仕様記述過程モデル化のための実験と分析
- サービス非依存インタラクションモデルを用いたシステム分割手法(要求,アーキテクチャ(学生セッション))
- 4M-8 ユースケースの例外抽出手法におけるシステム品質改善の検証実験(ソフトウェア分析,学生セッション,ソフトウェア科学・工学)
- 4M-3 ユースケース記述推敲における用語の洗練方法(ソフトウェア分析,学生セッション,ソフトウェア科学・工学)
- 6L-6 使用性の向上を目的としたJava単体テスト方法学習支援ツールの改善と分析(ソフトウェア設計,学生セッション,ソフトウェア科学・工学)
- 6L-3 組込みシステムにおけるトップダウン設計方法の一考察(ソフトウェア設計,学生セッション,ソフトウェア科学・工学)
- 6L-1 UML要求分析モデルからのUIプロトタイプ自動生成手法の評価実験(ソフトウェア設計,学生セッション,ソフトウェア科学・工学)
- B-015 UML要求分析モデルからの段階的なWeb UIプロトタイプ自動生成の実験例(ソフトウェア,一般論文)
- B-007 サービス非依存インタラクションモデルを用いたシステム開発の提案(ソフトウェア,一般論文)
- サービス非依存インタラクションモデルを用いたシステム開発の提案(モデルベース開発)
- UMLの要求分析モデルからのWebアプリケーションプロトタイプ自動生成(UML(学生セッション))
- オブジェクト指向開発における妥当性検査
- ゴール指向を用いたセキュリティ要件の定義手法の提案
- Javaプログラミング初学者に対するテスト方法学習支援ツール(e-Learningにおける学習評価/一般)
- プログラミングレポート採点支援ツールと課題設計による評価方法の改善
- N-020 Javaプログラミング初学者のためのテスト学習支援(N分野:教育・人文科学)
- プログラミング演習における評価方法の改善
- EVA : 仕様変更プロセスを用いたプログラム開発支援システム
- 仕様変更プロセスの効果的な再利用 : まね方をまねる
- Flageアーキテクチャのためのプログラム合成メカニズム
- Flageアーキテクチャにおける記述モデル
- Flageアーキテクチャの構想
- 仕様変更のプログラムへの写像 : 仕様変更プロセスを利用したプログラム合成
- エージェント指向言語Flage(4) : 自己形成プロセスを利用したメソッド合成
- ソフトウェアプロセスにおける協調とその抽象化について (ソフトウェア生産環境)
- プロトタイプ自動生成可能なモデルドリブン要求分析手法による要求仕様のトレーサビリティの向上
- プロトタイプ自動生成可能なモデルドリブン要求分析手法による要求仕様のトレーサビリティの向上
- Javaプログラムの品質診断ツールとその教育への効果的利用方法
- 6Q-6 MDAを用いたサービス非依存インタラクションモデルの構築(要求定義,MDA,プロダクトライン,学生セッション,ソフトウェア科学・工学)
- B-028 再利用可能部品としてのPIMの適用性実験(B分野:ソフトウェア)
- ゴール指向を用いたセキュリティ要件の定義手法の提案
- ゴール指向を用いたセキュリティ要件の定義手法の提案
- ゴール指向を用いたセキュリティ要件の定義手法の提案
- モデル駆動要求分析におけるエンドユーザ入力制約のモデル化とバリデーションコード生成
- ブロック構造の可視化によるプログラミング学習支援環境azur 〜関数の動作の可視化〜
- プロトタイプ自動生成可能なモデルドリブン要求分析手法による要求仕様のトレーサビリティの向上
- プロトタイプ自動生成可能なモデルドリブン要求分析手法による要求仕様のトレーサビリティの向上
- 評価方法に従った自動採点を可能にするプログラム採点支援ツールの開発(情報教育と授業支援システム/一般)
- B-049 リファクタリングプロセスのプログラム品質への影響に関する考察(B.ソフトウェア)
- 6Q-3 UMLの要求分析モデルからのWebアプリケーションプロトタイプ自動生成(要求定義,MDA,プロダクトライン,学生セッション,ソフトウェア科学・工学)
- 6Q-1 ユースケース記述における単語の統一に関する一考察(要求定義,MDA,プロダクトライン,学生セッション,ソフトウェア科学・工学)
- 5Q-8 パフォーマンス評価によるグループ活動の改善支援(プロジェクト管理,共同作業支援,学生セッション,ソフトウェア科学・工学)
- 5Q-6 学生のソフトウェア開発実習における問題共有方法の考察(プロジェクト管理,共同作業支援,学生セッション,ソフトウェア科学・工学)
- 5Q-2 学生のソフトウェア開発実習における制約条件を利用した作業スケジュール作成(プロジェクト管理,共同作業支援,学生セッション,ソフトウェア科学・工学)
- 5Q-1 ソフトウェア開発初学者における作業計画の見積り支援(プロジェクト管理,共同作業支援,学生セッション,ソフトウェア科学・工学)
- 4Q-6 クラス名の類似性を利用したコードクローンのリファクタリング(再利用,保守,学生セッション,ソフトウェア科学・工学)
- 1B-3 ソースコードの可視化によるプログラミング学習支援(要求,開発手法,開発環境,一般セッション,ソフトウェア科学・工学)
- UMLで記述された要求分析モデルからのプロトタイプ自動生成(UML/開発方法論)
- B-019 適切なクラス抽出を行うためのユースケース記述推敲支援(B分野:ソフトウェア)
- Flageアーキテクチャのための仕様合成メカニズム
- Javaプログラミング初学者のクラス構成学習のための依存関係解析 (知能ソフトウェア工学)
- LN-005 グループワーク支援システムを用いた実践的ソフトウェア工学教育(N. 教育・人文科学)
- グループワーク支援システムを用いた実践的ソフトウェア工学教育
- 6P-9 Javaプログラムにおけるアスペクト指向を用いたソースコード理解支援(ソフトウェア理解支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 1Q-6 フィールドとメソッド間の依存関係に着目したリファクタリング適用箇所抽出方法(開発環境・開発支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-015 フィールドとメソッド間の依存関係に着目したリファクタリング適用箇所抽出方法(B分野:ソフトウェア,一般論文)
- B-022 ソースコード解析を利用したモデル検査に基づく欠陥抽出手法による組込みシステムの検証(B分野:ソフトウェア,一般論文)
- 6P-1 アクティビティ図のデータフローに着目した振る舞い仕様の定義と検証(ソフトウェア理解支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- UML要求分析モデルに基づくモデル駆動開発実験におけるトレーサビリティ評価
- B-002 モデル駆動要求分析におけるエンドユーザの入力制約モデルの導入(B分野:ソフトウェア,一般論文)
- 2P-3 モデル検査に基づくプログラム欠陥抽出作業支援ツールの開発と実践(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 1P-2 組込みシステムのシステム要求からの段階的なモデル駆動開発手法(ソフトウェアプロセス・開発管理,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-021 モデル変換による組込みシステム開発事例(ソフトウェア,一般論文)
- B-016 ソースコ一ドの解析を利用したモデル検査に基づく欠陥抽出手法の提案(ソフトウェア,一般論文)
- 連想アスペクトによるアプリケーション連携の記述改善評価(サイバー増大ページ論文概要,サイバー増大号)
- B-007 ゴール指向を用いたセキュリティ要件の定義手法の提案(ソフトウェア,一般論文)
- グループワークによるソフトウェア工学教育の試み
- 未知のコンピュータ・ウイルス検出プログラムの開発
- 未知のコンピュータ・ウイルス検出プログラムの開発
- LN-007 Javaプログラミング演習向け課題レポート提出・管理機能を付加した授業支援システム(N. 教育・人文科学)
- ソフトウェア開発環境dmCASE
- ソフトウェア開発環境dmCASE
- ソフトウェア開発環境dmCASE : FASET(4)宣言型記述による開発支援ツール
- モジュール分割を学習するための依存性の解析に基づくツールの開発
- Javaプログラミング初学者のクラス構成学習のための依存関係解析(知能ソフトウェア工学)
- モデル検査を用いたプログラムにおける再現性の低い潜在的欠陥の抽出手法 : データベースロック問題の検証
- プログラミング学習支援環境AZUR : ブロック構造と関数の可視化(知能ソフトウェア工学)
- B_008 適切なクラス抽出を行うためのユースケース記述推敲支援(B分野:ソフトウェア)
- LN_003 ソフトウェア開発実験におけるPBLの評価方法(N分野:教育・人文科学)
- グループワークによるソフトウェア開発に向けたオブジェクト指向教育実践の試み
- エージェントモデルにおける「抽象化・具体化による仕様化プロセス」の定式化
- オブジェクト指向プログラミング初学者のためのソースコード品質評価分析
- 開発現場を想定したモデル検査に基づくプログラムの欠陥抽出手法