Art

J-GLOBAL ID：200902059952145254   Reference number：90A0382548

STATEMATE: A working environment for the development of complex reactive systems.

STATEMATE 複雑なリアクティブシステムの開発のための作業環境

Author (8)： HAREL D (i-Logix Inc., MA) ,  LACHOVER H (i-Logix Inc., MA) ,  NAAMAD A (i-Logix Inc., MA) ,  PNUELI A (i-Logix Inc., MA) ,  POLITI M (i-Logix Inc., MA) ,  SHERMAN R (i-Logix Inc., MA) ,  SHTULL-TRAURING A (i-Logix Inc., MA) ,  TRAKHTENBROT M (i-Logix Inc., MA)
Material： IEEE Transactions on Software Engineering  (IEEE Trans Softw Eng)
Volume： 16  Issue： 4  Page： 403-414  Publication year： Apr. 1990 
JST Material Number： D0480D  ISSN： 0098-5589  CODEN： IESEDJ  Document type： Article
Article type： 文献レビュー  Country of issue： United States (USA)  Language： ENGLISH (EN)

Thesaurus term： real time processing ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=90A0382548&from=J-GLOBAL&jstjournalNo=D0480D") }}

JST classification (1)： Computer system development  (JD02010R)

Terms in the title (3)： リアクティブシステム ,  開発 ,  作業環境