Art
J-GLOBAL ID：200902291175868875   Reference number：05A0295182

Algebraic representation of UI behavior specification and validation

UI挙動仕様の代数的表現と検証
Author (3)：
KIKUCHI YOSHIHITO

About KIKUCHI YOSHIHITO

(北海学園大 工)

About 北海学園大 工

, 
KANAI SATOSHI

About KANAI SATOSHI

(北大 大学院情報科学研究科)

About 北大 大学院情報科学研究科

, 
KISHINAMI TAKESHI

About KISHINAMI TAKESHI

(北大 大学院情報科学研究科)

About 北大 大学院情報科学研究科


Material：
ヒューマンインタフェースシンポジウム論文集  (Proceedings of the Human Interface Symposium)

About ヒューマンインタフェースシンポジウム論文集


Volume： 2004 (CD-ROM)  Page： 3341  Publication year： 2004 
JST Material Number： Z0307B  ISSN： 1345-0794  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)
Abstract/Point：
Abstract/Point
Japanese summary of the article(about several hundred characters).
All summary 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.
We propose a declaration and v...
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.
*user interface

About user interface

,...
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.
interface design

About interface design

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=05A0295182&from=J-GLOBAL&jstjournalNo=Z0307B") }}
JST classification (3)：
JST classification
Category name(code) classified by JST.
Man-machine system 
(IB03000G)

About Man-machine system

,  Theory of computation 
(JB02000A)

About Theory of computation

,  Radio communication in general 
(ND08010L)

About Radio communication in general

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