Art
J-GLOBAL ID：200902015700211885   Reference number：86A0328734

Formal specification description technique WSM and experiment of its conversion to executable format.

形式的仕様記述技法WSMとその実行可能形式への変換の試み
Author (5)：
KAWANO SEIICHI

About KAWANO SEIICHI

(早稲田大理工)

About 早稲田大理工

, 
HIKITA HIROYUKI

About HIKITA HIROYUKI

(早稲田大理工)

About 早稲田大理工

, 
KADOKURA TOSHIO

About KADOKURA TOSHIO

(早稲田大理工)

About 早稲田大理工

, 
UTSUNOMIYA KIMINORI

About UTSUNOMIYA KIMINORI

(筑波大)

About 筑波大

, 
FUKAZAWA YOSHIAKI

About FUKAZAWA YOSHIAKI

(相模工大)

About 相模工大


Material：
情報処理学会全国大会講演論文集

About 情報処理学会全国大会講演論文集


Volume： 32nd  Issue： 1  Page： 759-760  Publication year： 1986 
JST Material Number： S0731A  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.
software specification

About software specification

,...
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.
assembly language

About assembly language


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

About Computer system development

Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
形式的仕様記述

About 形式的仕様記述

, 
技法

About 技法

, 
形式

About 形式

, 
試み

About 試み


Return to Previous Page

TOP

BOTTOM