| 講演名 | 2003/1/24 事物基軸言語へのプログラム構造形式化の適用法 佐藤 匡正, 岸本 頼紀, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本論文では事物基軸型プログラムの静的分析法として,プログラム構造形式化手法の適用法を提案する.事物基軸型プログラミングの普及に伴い,これらの保守,試験における効果的な静的分析法が要求される.そこで手順型言語への適用を目的として考案されたプログラム構造形式化手法の適用を考え,この手法が事物基軸型プログラムにおける重要な構成要素である類の手段に効果的に適用できることを示した.また,手段の記述機能として備えられている強制制御について,これを正規形に変換する公式を導入した.特に繰返しの反復の変換公式を新たに考案した.さらに,本提案の具体性を示すために,2例について類構造と仕様との対応分析結果を示した. |
| 抄録(英) | This paper proposes a method to apply the program structure formalization approach to object-oriented programs as a static analysis technique. With gaining the popularity of object-oriented programming it is reauired to establish an effective static analysis method for maintenance and testing; therefore we would introduce the program structure formalization approach intended applying to procedural programs to object-oriented ones. It is shown that the approach is effectively applicable to methods of classes in them. We also introduce the fomulae that enable the comDulsive constructs orovided for describing methods to transform into their reeular forms. Especially new formulae for compulsive iterations have been developed. Moreover, two examples to be analyzed the correspondence between specifications and method structures have been led the practicality of the method. |
| キーワード(和) | 形式化 / オブジェクト指向 / プログラム構造 / 正規表現 |
| キーワード(英) | formalization / object-oriented / program structure / regular expression |
| 資料番号 | SS2002-43 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2003/1/24(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 事物基軸言語へのプログラム構造形式化の適用法 |
| サブタイトル（和） | |
| タイトル（英） | Application of Program Structure Formalization to Object-oriented |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 形式化 / formalization |
| キーワード(2)（和/英） | オブジェクト指向 / object-oriented |
| キーワード(3)（和/英） | プログラム構造 / program structure |
| キーワード(4)（和/英） | 正規表現 / regular expression |
| 第 1 著者 氏名（和/英） | 佐藤 匡正 / TADAMASA SATOU |
| 第 1 著者 所属（和/英） | 島根大学総合理工学部 Faculty of Science and Engineering, Shimane University |
| 第 2 著者 氏名（和/英） | 岸本 頼紀 / YORINORI KISHIMOTO |
| 第 2 著者 所属（和/英） | 名古屋工業大学工学研究科 Electrical and Computer Engineering, Nagoya Institute of Technology |
| 発表年月日 | 2003/1/24 |
| 資料番号 | SS2002-43 |
| 巻番号（vol） | vol.102 |
| 号番号（no） | 617 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |