Art

J-GLOBAL ID：200902239937120480   Reference number：05A0876152

Exception Analysis Matrix for Embedded Systems Software Specification

組込みソフトウェア仕様抽出のための非正常系分析マトリクス

Author (9)： MISE TOSHIRO (松下電工システムソリューション) ,  MISE TOSHIRO (九州工大) ,  SHIN'YASHIKI YASUFUMI (九州工大) ,  SHIN'YASHIKI YASUFUMI (松下電工) ,  HASHIMOTO MASAAKI (九州工大) ,  UBAYASHI NAOYASU (九州工大) ,  KATAMINE KEIICHI (九州工大) ,  NAKATANI TAKAKO (九州工大) ,  NAKATANI TAKAKO (エス・ラグーン)
Material： 情報処理学会シンポジウム論文集  (情報処理学会ワークショップ論文集)
Volume： 2004  Issue： 10  Page： 12-19  Publication year： Oct. 14, 2004 
JST Material Number： Y0978B  ISSN： 1344-0640  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *formal method ,...
Semi thesaurus term： 非正常系 ,...

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

JST classification (2)： Theory of computation  (JB02000A) ,  Computer system development  (JD02010R)

Terms in the title (4)： 組込み ,  ソフトウェア仕様 ,  分析 ,  マトリクス