托拜厄斯·隆格;亚历山大·基特尔曼;马可·塞韦托;亚历克斯·波坦;伊娜·谢弗 面向对象语言的信息流控制结构。 （英语） Zbl 1525.68031号 Schlingloff，Bernd-Holger（编辑）等人，《软件工程和形式化方法》。第20届国际会议，SEFM 2022，德国柏林，2022年9月26-30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13550, 209-226 (2022).MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{T.Runge}等人，Lect。注释计算。科学。13550，209--226（2022；Zbl 1525.68031） 全文： 内政部 arXiv公司
董汝珍;约翰·费伯;柯伟;刘志明 rCOS：定义基于组件的软件架构的含义。 （英语） Zbl 1444.68047号 刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8050, 1-66 (2013).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Dong}等人，Lect。注释计算。科学。8050，1-66（2013；Zbl 1444.68047） 全文： 内政部
孙孟;法哈德·阿尔巴;伯恩哈德·艾切尼格（Bernhard K.Aichernig）。;Aştefănoaei、Lăcrămioara;德波尔（Frank S。;简·拉特 连接器设计：建模、细化和测试用例生成。 （英语） 兹比尔1242.68070 科学。计算。程序。 77，编号7-8，799-822（2012）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Meng}等人，科学。计算。程序。77号7--8799--822（2012；Zbl 1242.68070） 全文： 内政部
约翰·德里克;海克·卫尔海姆 跨视图的模型转换。 （英语） Zbl 1187.68161号 科学。计算。程序。 75，编号3192-210（2010）.MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{H.Wehrheim}，科学。计算。程序。75，第3号，192--210（2010；Zbl 1187.68161） 全文： 内政部
孙孟;法哈德·阿尔巴 设计连接器。 （英语） Zbl 1364.68140号 Salaün，Gwen（编辑）等人，第八届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2009），希腊罗德斯，2009年7月11日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记255，119-135（2009）。MSC公司：68号30 68甲19 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Meng}和\textit{F.Arbab}，电子。理论注释。计算。科学。255119-135（2009年；Zbl 1364.68140） 全文： 链接
陈振邦;刘志明;安德斯·雷文（Anders P.Ravn）。;沃尔克·斯托尔茨;詹乃军 基于组件的模型驱动设计中的细化和验证。 （英语） Zbl 1178.68158号 科学。计算。程序。 第4期第74页，第168-196页（2009年）.MSC公司：68N99型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chen}等人，科学。计算。程序。74，第4号，168--196（2009；Zbl 1178.68158） 全文： 内政部