Art

J-GLOBAL ID：200902280812962307   Reference number：05A0699935

Assertion Verification Design by Active Function.

続・システム検証の科学技術 能動関数によるアサーション検証設計

Author (6)： WATANABE KATSUMASA (奈良先端科学技術大学院大) ,  INOUE AKIHIRO (奈良先端科学技術大学院大) ,  TOMONO MITSURU (奈良先端科学技術大学院大) ,  KURAKAWA KEI (奈良先端科学技術大学院大) ,  NAKANISHI MASAKI (奈良先端科学技術大学院大) ,  YAMASHITA SHIGERU (奈良先端科学技術大学院大)
Material： コンピュータソフトウェア  (Computer Software)
Volume： 22  Issue： 3  Page： 76-91  Publication year： Jul. 26, 2005 
JST Material Number： Y0628A  ISSN： 0289-6540  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *program execution ,...
Semi thesaurus term： assertion ,...

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

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

Reference (13)：

• SCHNEIDER, K. Verification of Reactive Systems, Formal Methods and Algorithms. 2003
• 渡邉勝正. 能動関数の配列によるアクティブソフトウェアの構成. 日本ソフトウェア科学会第20回大会論文集, 2003. 2003
• 渡邉勝正. 安全性を保証するアクティブソフトウェアの構成法. シンポジウム「システム検証の科学技術」予稿集, 2004. 2004, 115-125
• HOARE, C. An axiomatic basis for computer programming. Comm. ACM. 1969, 12, 576-580
• LADDAGA, R. Active Software. Self-Adaptive Software, First International Workshop, IWSAS 2000. 2000, 11-19

Terms in the title (6)： システム検証 ,  科学 ,  関数 ,  アサーション ,  検証 ,  設計