About J-GLOBAL

日本語

Font size
  • A
  • A

Articleの詳細情報

ArticleJ-GLOBAL ID:200902131045798355整理番号:02A0378739

Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS.

PVSを用いたSCRスタイルソフトウェア要求仕様の機能的性質に関する形式的検証

著者:KIM T(Korea Advanced Inst. Sci. and Technol.(KAIST), Taejon, KOR)、STRINGER‐CALVERT D(SRI International, CA, USA)、CHA S(Korea Advanced Inst. Sci. and Technol.(KAIST), Taejon, KOR)
資料名:Lect Notes Comput Sci 巻:2280 ページ:205-220
発行年:2002年
  • J-GLOBAL home
  • Bookmark J-GLOBAL

J-GLOBAL: Linking, Expanding and Sparking

About J-GLOBAL

Linking

J-GLOBAL links information that represents the key to research and development. For example, linking articles and patents with people (authors and inventors) enables the extraction of a sequence of information.
It’s useful for making new discoveries and uncovering new information.

Expanding

The system enables searches of similar kinds of content through linkage with external sites.
It helps you to obtain knowledge from dissimilar fields and discover concepts that cross the boundaries of specialisms.

Sparking

Through repeated linkage and expansioniteration, J-GLOBAL provides unexpected hints for problem-solving and the illumination of new ideas.