文献

J-GLOBAL ID：200902145272288283   整理番号：97A0950104

オブジェクト指向分析モデルにおける一貫性検証のための公理系の実際

Implementation of an Axiometic System for Verification of Consistency in Object-Oriented Analysis.

著者 (4件)： 青木利晃 (北陸先端科学技術大学院大) ,  石田至 (北陸先端科学技術大学院大) ,  古川順一 (北陸先端科学技術大学院大) ,  片山卓也 (北陸先端科学技術大学院大)
資料名： 日本ソフトウエア科学会大会論文集
巻： 14th  ページ： 465-468  発行年： 1997年09月 
JST資料番号： X0080A  ISSN： 0913-5391  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： OMT法などで採用されている複数の側面によるモデルの構築は強...

シソーラス用語： *プログラム検証 ,...
準シソーラス用語： オブジェクト指向分析

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0950104&from=J-GLOBAL&jstjournalNo=X0080A") }}

分類 (2件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： オブジェクト指向 ,  分析 ,  モデル ,  検証