Jump to main content
図書

Formal Engineering Methods for Software Development : ソフトウエア開発における形式的工学手法

Icons representing 図書

Formal Engineering Methods for Software Development : ソフトウエア開発における形式的工学手法

Call No. (NDL)
Y151-H11694173
Bibliographic ID of National Diet Library
000007082877
Material type
図書
Author
劉, 少英 (Liu, Shaoying) , 法政大学
Publisher
-
Publication date
1999-2001
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

文部省科学研究費補助金研究成果報告書

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title Transcription
Formal Engineering Methods for Software Development
Author/Editor
劉, 少英 (Liu, Shaoying) , 法政大学
Author Heading
劉, 少英 (Liu, Shaoying) リュウ, ショウエイ (Liu, Shaoying)
Publication Date
1999-2001
Publication Date (W3CDTF)
1999
Extent
Additional Title
研究種目 基盤研究(B)
Subject Heading
形式工学手法 ケイシキコウガクシユホウ
ソフトウエア検証 ソフトウエアケンシヨウ
厳密なレビユ- ゲンミツナレビユ-
仕様テスト シヨウテスト
仕様分析 シヨウブンセキ
形式的仕様 ケイシキテキシヨウ
システム開発 システムカイハツ
ソフトウエア進化 ソフトウエアシンカ