| 講演名 | 2009-09-14 ソフトウェアの精密分析/設計へのプロローグ 鯵坂 恒夫, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 従来のソフトウェア分析/設計方法論(構造化分析/設計およびオブジェクト指向分析/設計)の根本原理である抽象化・情報隠蔽には弱点があることを議論し,それを補うための新たな方法論である精密分析/設計(PA/PD)を提案する.ソフトウェアの概念要素をデータと機能に二元化してそれぞれを簡潔に規定し,具体的で確かなソフトウェア構成要素を早期に明確に記述する方策を与える.その方策とは,実世界の活動(サービス需給)のスキーマに基づき,存在すべきデータから機能を演繹することであり,演繹の途中で発生するさまざまなバリエーションを論理的に発見すること重点をおく.スキーマは演繹規則としては不十分であるので,データのパラダイム(語彙分類)の明確化でそれを補いながら機能を導く. |
| 抄録(英) | A new methodology of software analysis and design called Precision Aalysis/Precision Design (PA/PD) is proposed. It is motivated by the potential drawbacks in abstraction and information hiding that is the basic principle of SA/SD and OOA/OOD dominating software engineering for long years. PA/PD gives a guideline to describe early and precise specifications by intercourse of data and functions. Based on a schema and paradigmatic articulations of the real world activity (servicing), variations of functions are deducted logically from schematic data. |
| キーワード(和) | ソフトウェア分析/設計方法論 / 抽象化・情報隠蔽 / サービス需給 / スキーマ / パラダイム |
| キーワード(英) | software analysis and design / abstraction and information hiding / servicing / schema / paradigm |
| 資料番号 | KBSE2009-22 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2009/9/7(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ソフトウェアの精密分析/設計へのプロローグ |
| サブタイトル（和） | |
| タイトル（英） | Toward Precision Aalysis/Precision Design for Systems Software |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ソフトウェア分析/設計方法論 / software analysis and design |
| キーワード(2)（和/英） | 抽象化・情報隠蔽 / abstraction and information hiding |
| キーワード(3)（和/英） | サービス需給 / servicing |
| キーワード(4)（和/英） | スキーマ / schema |
| キーワード(5)（和/英） | パラダイム / paradigm |
| 第 1 著者 氏名（和/英） | 鯵坂 恒夫 / Tsuneo AJISAKA |
| 第 1 著者 所属（和/英） | 和歌山大学システム工学部 Faculty of Systems Engineering, Wakayama University |
| 発表年月日 | 2009-09-14 |
| 資料番号 | KBSE2009-22 |
| 巻番号（vol） | vol.109 |
| 号番号（no） | 196 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |