Art
J-GLOBAL ID：200902130019937367   Reference number：97A0950115

On Extracting Algebraic Specification from Object-Oriented Programs.

オブジェクト指向プログラムからの代数的仕様記述の抽出手法について
Author (4)：
OKUBO HIROTAKA

About OKUBO HIROTAKA

(愛知県大)

About 愛知県大

, 
EBA MASAHIKO

About EBA MASAHIKO

(名古屋大 大学院)

About 名古屋大 大学院

, 
SAKABE TOSHIKI

About SAKABE TOSHIKI

(名古屋大 大学院)

About 名古屋大 大学院

, 
INAGAKI YASUYOSHI

About INAGAKI YASUYOSHI

(名古屋大 大学院)

About 名古屋大 大学院


Material：
日本ソフトウエア科学会大会論文集

About 日本ソフトウエア科学会大会論文集


Volume： 14th  Page： 517-520  Publication year： Sep. 1997 
JST Material Number： X0080A  ISSN： 0913-5391  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
*object oriented programming

About object oriented programming

,...
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
instance

About instance

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0950115&from=J-GLOBAL&jstjournalNo=X0080A") }}
JST classification (2)：
JST classification
Category name(code) classified by JST.
Computer system development 
(JD02010R)

About Computer system development

,  Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
オブジェクト指向

About オブジェクト指向

, 
代数的仕様記述

About 代数的仕様記述

, 
手法

About 手法


Return to Previous Page

TOP

BOTTOM