1.Extending OCL Operation Contracts with Objective Functions

作　　者：Matthias P. Krieger ;Achim D. Brucker

出　　处：Electronic Communications of the EASST. 2011 ;44.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：100465419

文章详细全文下载
2.Model-Driven Constraint Engineering

作　　者：Michael Wahler ;Jana Koehler ;Achim D. Brucker

出　　处：Electronic Communications of the EASST. 2007 ;5.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：185429437

文章详细全文下载
3.An MDA Framework Supporting OCL

作　　者：Achim D. Brucker ;Jürgen Doser ;Burkhart Wolff

出　　处：Electronic Communications of the EASST. 2007 ;5.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：185429438

文章详细全文下载
4.Semantic Issues of OCL: Past, Present, and Future

作　　者：Achim D. Brucker ;Jürgen Doser ;Burkhart Wolff

出　　处：Electronic Communications of the EASST. 2007 ;5.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：185429439

文章详细全文下载
5.HOL-Z 2.0: A Proof Environment for Z-Specifications

作　　者：Achim D. Brucker ;Frank Rittinger ;Burkhart Wolff

出　　处：Journal of Universal Computer Science. 2003 ;9(2):152-172.

出版社：Graz University of Technology and Know-Center

文章 ID：186874503

文章详细

	有本地全文	4篇
	有全文链接	1篇

	德国	4篇
	奥地利	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Achim D. Brucker")))) )) ) )"

	Achim D. Brucker	5篇
	Burkhart Wolff	3篇
	Jürgen Doser	2篇
	Frank Rittinger	1篇
	Jana Koehler	1篇

	Electronic Communications of the EASST	4篇
	Journal of Universal Computer Science	1篇

	2011	1篇
	2007	3篇
	2003	1篇

	Matthias P. Krieger	1篇
	Michael Wahler	1篇