文献

J-GLOBAL ID：200902280812962307   整理番号：05A0699935

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

Assertion Verification Design by Active Function.

著者 (6件)： 渡辺勝正 (奈良先端科学技術大学院大) ,  井上晶広 (奈良先端科学技術大学院大) ,  伴野充 (奈良先端科学技術大学院大) ,  蔵川圭 (奈良先端科学技術大学院大) ,  中西正樹 (奈良先端科学技術大学院大) ,  山下茂 (奈良先端科学技術大学院大)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 22  号： 3  ページ： 76-91  発行年： 2005年07月26日 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： プログラム実行時の動作の正さを調べる方法として,実行時点での...

シソーラス用語： *プログラム実行 ,...
準シソーラス用語： アサーション ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=05A0699935&from=J-GLOBAL&jstjournalNo=Y0628A") }}

分類 (2件)： 計算機システム開発  (JD02010R) ,  計算理論  (JB02000A)

引用文献 (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

タイトルに関連する用語 (6件)： システム検証 ,  科学 ,  関数 ,  アサーション ,  検証 ,  設計