| 講演名 | 1994/11/21 ソフトウェア工学における形式仕様言語Zの応用について 久野 茂, 藤野 喜一, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 多くの企業では、新しい情報システム技術を用いたクライアントサーバー型の事務系システムを開発している。この新システムを効果的に開発するためにはCOBOL上の膨大なレガシーシステムを再利用する必要がある。本論文では、形式仕様言語Zを利用したCOBOLのリバースエンジニアリングの概念を述べる。また、実際のCOBOLソースプログラムからZ形式の仕様書を生成することにより、得られたソフトウェア工学上の形式仕様の重要性や実用化のためのZの課著についても述べる。 |
| 抄録(英) | In many firms,the crient-server type business system has been developed by using the recent information technology.In order to implement these new system efficiently,we have to re-use the huge legacy system on the COBOL program.In this paper we describe the COBOL reverse engineering concept using formal specification language Z.we also describe the importance of the formal specification and the practical Z theme through the result of converting COBOL into z. |
| キーワード(和) | 形式仕様言語Z / リバースエンジニアリング / レガシーシステム |
| キーワード(英) | formal specification language Z / reverse engineering / legacy system |
| 資料番号 | KBSE94-35 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1994/11/21(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ソフトウェア工学における形式仕様言語Zの応用について |
| サブタイトル（和） | |
| タイトル（英） | An Application of formal language Z in Software engineering |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 形式仕様言語Z / formal specification language Z |
| キーワード(2)（和/英） | リバースエンジニアリング / reverse engineering |
| キーワード(3)（和/英） | レガシーシステム / legacy system |
| 第 1 著者 氏名（和/英） | 久野 茂 / Shigeru Kuno |
| 第 1 著者 所属（和/英） | 日本総合研究所 The Japan Research Institute,Limited |
| 第 2 著者 氏名（和/英） | 藤野 喜一 / Kiichi Fujino |
| 第 2 著者 所属（和/英） | 電気通信大学 The University of Electro-Communications |
| 発表年月日 | 1994/11/21 |
| 資料番号 | KBSE94-35 |
| 巻番号（vol） | vol.94 |
| 号番号（no） | 357 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |