Art
J-GLOBAL ID：200902249280458120   Reference number：07A0307370

Model-Based Testing with an Executable Specification Language and its Application to Embedded System Developments

実行可能仕様言語に基づくモデルベーステストの提案と組込みシステム開発への適用
Author (2)：
SHIMOMUGI HIROMASA

About SHIMOMUGI HIROMASA

(北陸先端科学技術大学院大)

About 北陸先端科学技術大学院大

, 
IIDA SHUSAKU

About IIDA SHUSAKU

(専修大 ネットワーク情報)

About 専修大 ネットワーク情報


Material：
情報処理学会シンポジウム論文集  (情報処理学会ワークショップ論文集)

About 情報処理学会シンポジウム論文集


Volume： 2006  Issue： 9  Page： 95-99  Publication year： Oct. 19, 2006 
JST Material Number： Y0978B  ISSN： 1344-0640  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.
*program test

About program test

,...
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.
ステートマシン

About ステートマシン

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

About Computer system development

,  Motion and control of robots 
(IC04012J)

About Motion and control of robots

Terms in the title (5)：
Terms in the title
Keywords automatically extracted from the title.
仕様言語

About 仕様言語

, 
モデルベーステスト

About モデルベーステスト

, 
提案

About 提案

, 
組込みシステム

About 組込みシステム

, 
開発

About 開発


Return to Previous Page

TOP

BOTTOM