Presentation | 1993/9/21 Derivation of Formal specifications based on object-oriented approach from requirement description Yozo Takizawa, Yoshikazu Ueda, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | 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. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | requirement definition / object model / formal specification / natural language |
Paper # | SS93-27 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 1993/9/21(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Software Science (SS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Derivation of Formal specifications based on object-oriented approach from requirement description |
Sub Title (in English) | |
Keyword(1) | requirement definition |
Keyword(2) | object model |
Keyword(3) | formal specification |
Keyword(4) | natural language |
1st Author's Name | Yozo Takizawa |
1st Author's Affiliation | Department of Computer and Information Sciences,Faculty of Engineering,Ibaraki University() |
2nd Author's Name | Yoshikazu Ueda |
2nd Author's Affiliation | Department of Computer and Information Sciences,Faculty of Engineering,Ibaraki University |
Date | 1993/9/21 |
Paper # | SS93-27 |
Volume (vol) | vol.93 |
Number (no) | 244 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |