Art
J-GLOBAL ID：200902159487923703   Reference number：99A0895789

Patterns in Property Specifications for Finite-State Verification.

有限状態検証のための特性仕様記述におけるパターン
Author (3)：
DWYER M B

About DWYER M B

(Kansas State Univ., KS)

About Kansas State Univ., KS

, 
AVRUNIN G S

About AVRUNIN G S

(Univ. Massachusetts, MA)

About Univ. Massachusetts, MA

, 
CORBETT J C

About CORBETT J C

(Univ. Hawai’i, HI)

About Univ. Hawai’i, HI


Material：
Proceedings of the International Conference on Software Engineering  (Proc Int Conf Softw Eng)

About Proceedings of the International Conference on Software Engineering


Volume： 21st  Page： 411-420  Publication year： 1999 
JST Material Number： D0491B  Document type： Proceedings
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
*program verification

About program verification

,...
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
program pattern

About program pattern


   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=99A0895789&from=J-GLOBAL&jstjournalNo=D0491B") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
検証

About 検証

, 
仕様記述

About 仕様記述


Return to Previous Page

TOP

BOTTOM