文献

J-GLOBAL ID：200902211960903881   整理番号：04A0484272

Cで書かれたソフトウェアコンポーネントのモジュール的検証

Modular Verification of Software Components in C

著者 (5件)： CHAKI S (Carnegie Mellon Univ., PA) ,  CLARKE E M (Carnegie Mellon Univ., PA) ,  GROCE A (Carnegie Mellon Univ., PA) ,  JHA S (Univ. Wisconsin, WI) ,  VEITH H (Technische Univ. Muenchen, Garching, DEU)
資料名： IEEE Transactions on Software Engineering  (IEEE Transactions on Software Engineering)
巻： 30  号： 6  ページ： 388-402  発行年： 2004年06月 
JST資料番号： D0480D  ISSN： 0098-5589  CODEN： IESEDJ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 状態機械はソフトウェア開発プロセスにおける重要なアーティファ...

シソーラス用語： *プログラム検証 ,...
準シソーラス用語： ソフトウェア部品

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

分類 (2件)： 計算機システム開発  (JD02010R) ,  オートマトン理論  (JB04000O)

タイトルに関連する用語 (3件)： ソフトウェアコンポーネント ,  モジュール ,  検証