文献
J-GLOBAL ID：200902015611412745   整理番号：90A0771748

ソフトウェア仕様化・設計の方法論の形式化について

Formalizing software specification and design methods.
著者 (1件)：
佐伯元司

佐伯元司 について

(東京工大 工)

東京工大 工 について


資料名：
情報処理学会研究報告  (IPSJ SIG Technical Reports)

情報処理学会研究報告 について


巻： 90  号： 47(SE-72)  ページ： 72.4.1-72.4.8  発行年： 1990年05月29日 
JST資料番号： Z0031B  ISSN： 0919-6072  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
各方法論や仕様記述言語が提供しているソフトウエアのモデルより...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
仕様記述

仕様記述 について

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

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

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

ソフトウェア仕様 について

, 
設計

設計 について

, 
形式化

形式化 について


前のページに戻る

TOP

BOTTOM