Art

J-GLOBAL ID：200902114349146379   Reference number：94A0721827

A Method to Detect Semantically Inconsistent Behavior in Telecommunication Service Interactions.

通信サービス相互作用に含まれる意味的矛盾動作検出方式

Author (4)： HARADA YOSHIO (ATR通信システム研) ,  TAKAMI KAZUMASA (ATR通信システム研) ,  OTA TADASHI (ATR通信システム研) ,  TERASHIMA NOBUYOSHI (ATR通信システム研)
Material： 情報処理学会論文誌  (IPSJ Journal)
Volume： 35  Issue： 8  Page： 1602-1613  Publication year： Aug. 1994 
JST Material Number： Z0778A  ISSN： 0387-5806  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： software design ,...

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

JST classification (2)： Computer system development  (JD02010R) ,  Data communication  (ND11040A)

Reference (16)：

• DURAN, M. J. International Standards for Intelligent Networks. IEEE Communication Magazine. 1992, 30, 2, 34-42
• COLLET, P. The Intelligent Network in France. IEEE Communication Magazine. 1992, 30, 2, 82-89
• JACKSON, L. N. MELBA At The Age of Eight : An Automatic Code Generation System. SDL '87 : State of the Art and Future Trends. 1987, 371-381
• VEFSNMO, E. DASOM-A SDL-TOOL. SDL '87 : State of the Art and Future Trends. 1987, 35-42
• 田中功一. プログラム部品利用による通信ソフトウエア開発支援. 情報処理学会マルチメディア通信と分散処理研究会資料. 1989, 42, 3

Terms in the title (4)： 通信サービス ,  相互作用 ,  意味 ,  矛盾