文書・図像類

形式的検証とウェブオントロジーの融合による大規模情報システム設計支援

Icons representing 文書・図像類

形式的検証とウェブオントロジーの融合による大規模情報システム設計支援

Material type
文書・図像類
Author
高木, 理
Publisher
-
Publication date
2011-06-14
Material Format
Digital
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General)：

本研究の主な成果は，大規模情報システム開発における要件分析に用いられるワークフロー図を中心とした仕様書の作成・検証手法および支援ツールの研究開発である．特に，複数の設計者が共同して少しずつ作成および整合性の検証を行いながら，ワークフロー図の全体を矛盾なく作成することを可能にする手法であるインクリメン...

Search by Bookstore

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • JAIST Repository

    Digital
    You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
    JAIST Repository

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.

Digital

Material Type
文書・図像類
Title
形式的検証とウェブオントロジーの融合による大規模情報システム設計支援
Author/Editor
高木, 理
Author Heading
高木, 理
Publication Date
2011-06-14
Publication Date (W3CDTF)
2011-06-14
Alternative Title
Design-assistance system of large scale information systems based on formal method and web ontology
Periodical title
科学研究費補助金研究成果報告書
Pages
1-6
Text Language Code
jpn