振舞仕様に基づく問題モデルの構築と検証

Call No. (NDL): Y151-H15300007
Bibliographic ID of National Diet Library: 000008333712

Material type: 図書

Author: 二木厚吉, 北陸先端科学技術大学院大学 [著]

Publisher: [二木厚吉]

Publication date: 2003-2005

Material Format: Paper

Capacity, size, etc.: 168p

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: 振舞仕様に基づく問題モデルの構築と検証
Title Transcription: フルマイシヨウニモトズクモンダイモデルノコウチクトケンショウ
Author/Editor: 二木厚吉, 北陸先端科学技術大学院大学 [著]
Author Heading: 二木, 厚吉フタツギ, コウキチ
北陸先端科学技術大学院大学ホクリクセンタンカガクギジュツダイガクインダイガク
Publication, Distribution, etc.: [二木厚吉]
Publication Date: 2003-2005
2006.3
Publication Date (W3CDTF): 2003
2005
Extent: 168p
Alternative Title: Construction and verification of problem models in behavioral specifications
Additional Title: 研究種目基盤研究(B)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: 問題モデル / システム検証 / システム安全性 / フォーマルメソッド / 振舞仕様 / 要求仕様 / CafeOBJ モンダイモデル / システムケンショウ / システムアンゼンセイ / フォーマルメソッド / フルマイシヨウ / ヨウキュウシヨウ / CafeOBJ
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 15300007
Holding library: 国立国会図書館
Call No.: Y151-H15300007
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008333712
http://id.ndl.go.jp/bib/000008333712
Bibliographic Record Category (NDL): 214