文献
J-GLOBAL ID：200902112646430075   整理番号：97A0073100

ステートチャートのSTATEMATE意味論

The STATEMATE Semantics of Statecharts.
著者 (2件)：
HAREL D

HAREL D について

(Weizmann Inst. Sci.)

Weizmann Inst. Sci. について

, 
NAAMAD A

NAAMAD A について

(i-Logix, Inc.)

i-Logix, Inc. について


資料名：
ACM Transactions on Software Engineering and Methodology  (ACM Transactions on Software Engineering and Methodology)

ACM Transactions on Software Engineering and Methodology について


巻： 5  号： 4  ページ： 293-333  発行年： 1996年10月 
JST資料番号： W0358A  ISSN： 1049-331X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
STATEMATEシステム中に実装されたステートチャート(s...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
応用向き言語

応用向き言語 について

,...
準シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
statechart

statechart について


   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0073100&from=J-GLOBAL&jstjournalNo=W0358A") }}
分類 (2件)：
分類
JSTが定めた文献の分類名称とコードです
計算機システム開発 
(JD02010R)

計算機システム開発 について

,  計算理論 
(JB02000A)

計算理論 について

タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
チャート

チャート について

, 
意味論

意味論 について


前のページに戻る

TOP

BOTTOM