Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints

論文・著書情報

タイトル

和文:
英文:	Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints

著者

和文:	Rodion Moiseev, 林晋平, 佐伯元司.
英文:	Rodion Moiseev, Shinpei Hayashi, Motoshi Saeki.

言語

English

掲載誌/書名

和文:
英文:	IEICE Transactions on Information and Systems

巻, 号, ページ

Vol. E94-D No. 3 pp. 612-621

出版年月

2011年3月

出版者

和文:
英文:

会議名称

和文:
英文:

開催地

和文:
英文:

DOI