文献
J-GLOBAL ID：200902247748573264   整理番号：06A0856409

検証済みソフトウェア・グランドチャレンジにおける最初のステップ

First Steps in the Verified Software Grand Challenge
著者 (1件)：
WOODCOCK Jim

WOODCOCK Jim について

(Univ. York)

Univ. York について


資料名：
Computer  (Computer)

Computer について


巻： 39  号： 10  ページ： 57-64  発行年： 2006年10月 
JST資料番号： B0794A  ISSN： 0018-9162  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
「検証済みソフトウェア・グランドチャレンジ(Verified...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ソフトウェア開発

ソフトウェア開発 について

,...
   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=06A0856409&from=J-GLOBAL&jstjournalNo=B0794A") }}
分類 (1件)：
分類
JSTが定めた文献の分類名称とコードです
計算機システム開発 
(JD02010R)

計算機システム開発 について

タイトルに関連する用語 (3件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
検証

検証 について

, 
ソフトウェア

ソフトウェア について

, 
グランドチャレンジ

グランドチャレンジ について


前のページに戻る

TOP

BOTTOM