仕様追従性に関するプログラム設計方法の分析
スポンサーリンク
概要
- 論文の詳細を見る
プログラム設計方法は,その基軸となる概念を背景にもつ.そこで「現実-計算機写像」モデルに着目し,写像形成上の特徴によって,プログラム設計方法の比較を試みる.本比較では,同一仕様を基に,異なる二つの設計方法を適用したプログラムについての,仕様に対する追従性に関して分析を行う.本論文は,その比較方法および分析結果について述べる.
- 社団法人電子情報通信学会の論文
- 2002-02-26
著者
-
佐藤 匡正
島根大学総合理工学部数理・情報システム学科
-
佐藤 匡正
島根大学総合理工学部
-
佐藤 匡正
島根大学総合理工学部数理情報システム学科
-
伊藤 貴子
島根大学大学院総合理工学研究科
-
伊藤 貴子
島根大学総合理工学研究科
関連論文
- 故障記述文の形式化と鍵語抽出
- プログラム構造抽出の自動化
- 文字列検索アルゴリズムの評価
- プログラミング教育における合理的評価法(教育)(テーマ:「Webマイニングによる情報活動と自然言語処理」その他一般)
- プログラミング教育における合理的評価法(教育)(テーマ:「Webマイニングによる情報活用と自然言語処理」その他一般)
- 受講報告書方式による講義の試み : 専門科目の講義方法の改善に向けて
- 代数によるプログラム構造の表現
- プログラム変数の命名 : 変数はどのように命名されているか
- 事物基軸言語へのプログラム構造形式化の適用法
- 前置処理系によるOCR認字率の向上法
- 文字寸法の違いに着目したOCR認字率の改善法
- 利用者から見たOCR誤認特性
- 2L-1 OCR文字認識におけるルビ文字の影響
- プログラム構造の形式化支援システムの試み
- 3N-9 伝統的かな遣い変換システムの試作
- 医療関係論文における文記述特性の分析
- 1N-11 鍵語に着目した字句分解法の試み
- 医療関係論文における文記述特性の分析
- PSF手法に基づくプログラム作成過程における変遷の可視化
- 模式図手法を用いたIT教育支援法
- 電子模式図システムESDの試作
- 効果的なIT 教育のための電子模式図システムの実現法
- プログラム構造と仕様追従性
- 75 電子模式図の適用性(教材の開発IV,第19セッション)
- プログラム仕様表現の自動化における図式の一手法
- プログラム設計方法の特性分析の一手法
- (162)言語記述によるIT装置の動作原理図式表現法(第43セッション コンピュータ援用教育(II))
- (159)受講報告書方式による講義方法改善の試み(第42セッション 教育評価・自己点検・評価システム(IV))
- プログラム構造の仕様逆追従性
- 仕様追従性に関するプログラム設計方法の分析
- 記号実行法による仕様要素の抽出
- IT装置の動作原理表現システム
- 強制制御を持つプログラム構造の形式化
- 打切りのある繰返しをもつプログラム構造の形式化
- 強制戻りをもつプログラム構造の形式化