オブジェクト指向に基づく要求記述からの形式的仕様の導出手法

Material type: 文書・図像類

Author: 滝沢, 陽三 / 上田, 賀一ほか

Publisher: 情報処理学会

Publication date: 1993-09-21

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: application/pdfテクニカルレポートコンピュータによるソフトウェア開発の支援環境が整備されつつあり,要求定義のための優れた表記法が考え出された.しかしそれらの表記法を用いた定義はまだ開発者の手によるものが主流であり,要求者の要求が十分に反映されずに開発が進むことが多い.このため自然言語に...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

Ibaraki University Academic Repository
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
Ibaraki University Academic Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: オブジェクト指向に基づく要求記述からの形式的仕様の導出手法
Author/Editor: 滝沢, 陽三 / 上田, 賀一
TAKIZAWA, Yozo / UEDA, Yoshikazu
Author Heading: 滝沢, 陽三 / 上田, 賀一
TAKIZAWA, Yozo / UEDA, Yoshikazu
Publication, Distribution, etc.: 情報処理学会
Publication Date: 1993-09-21
Publication Date (W3CDTF): 1993-09-21
Alternative Title: Derivation of Formal Specifications based on Object-Oriented Approach from Requirement Description
オブジェクトシコウニモトヅクヨウキュウキジュツカラノケイシキテキシヨウノドウシュツホウホウ
Periodical title: 情報処理学会研究報告. ソフトウェア工学研究会報告
No. or year of volume/issue: 93 84
Volume: 93
Issue: 84
Pages: 57-64
Text Language Code: jpn
Target Audience: 一般
Note (General): application/pdf
テクニカルレポート
コンピュータによるソフトウェア開発の支援環境が整備されつつあり,要求定義のための優れた表記法が考え出された.しかしそれらの表記法を用いた定義はまだ開発者の手によるものが主流であり,要求者の要求が十分に反映されずに開発が進むことが多い.このため自然言語による要求記述から初期の形式的仕様を生成する手法が必要になる.特に開発パラダイムがオブジェクト指向である場合,実世界の対象を記述から直接抽出できれば非常に有利である.本研究は,日本語で書かれた非形式的な要求記述からオブジェクトモデル化技法(OMT)で使用されるオブジェクトモデルの情報を直接抽出する手法およびその支援システムを提案する.
Supporting environments for the software development by computer is put in good condition, and various representations for the requirement definition are also provided. These representations, however, are usually used by developers, so customers' requirements are not fully reflected in the development. This makes us need the method for the derivation of formal specification from the requirements descirbed in natural languages. Especially, it is favorable to us that we can extract the entities in the real world from descriptions in the object-oriented approach. We propose a method and a supporting system for the derivation of the object model for the OMT from the requirement descriptions written in Japanese.
Format (IMT): application/pdf
Source: 20100310.pdf
https://rose-ibadai.repo.nii.ac.jp/record/10459/files/20100310.pdf
Access Restrictions: 限定公開
Rights (production): 情報処理学会
本文データは学協会の許諾に基づきCiNiiから複製したものである
Is Version Of (URI): http://ci.nii.ac.jp/naid/110002931578
URI
http://ci.nii.ac.jp/naid/110002931578
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 茨城大学 : 茨城大学学術情報リポジトリ