Art
J-GLOBAL ID：200902112646430075   Reference number：97A0073100

The STATEMATE Semantics of Statecharts.

ステートチャートのSTATEMATE意味論
Author (2)：
HAREL D

About HAREL D

(Weizmann Inst. Sci.)

About Weizmann Inst. Sci.

, 
NAAMAD A

About NAAMAD A

(i-Logix, Inc.)

About i-Logix, Inc.


Material：
ACM Transactions on Software Engineering and Methodology  (ACM Trans Softw Eng Methodol)

About ACM Transactions on Software Engineering and Methodology


Volume： 5  Issue： 4  Page： 293-333  Publication year： Oct. 1996 
JST Material Number： W0358A  ISSN： 1049-331X  Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)
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.
application oriented language

About application oriented language

,...
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.
statechart

About statechart


   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0073100&from=J-GLOBAL&jstjournalNo=W0358A") }}
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 (2)：
Terms in the title
Keywords automatically extracted from the title.
チャート

About チャート

, 
意味論

About 意味論


Return to Previous Page

TOP

BOTTOM