伊万·库特夫
人员信息
其他同名人员
优化列表
2020年-今天
2024 [公元10年] 伊万·库特夫 , 乔泽夫·胡曼 , 马蒂杰斯·舒茨 , Daan van der Munnik公司 :
使用ComMA进行基于模型的组件开发和分析。 科学。 计算。 程序。 233 : 103067 ( 2024 ) [公元33年] 埃伦·伊尔迪兹 , 哈金·阿库诺夫 , 洛伦佐·安东尼奥·里瓦 , 阿尔达·戈尼尔 , 伊万·库特夫 , 卡西姆·西南·伊尔迪里姆 :
间歇系统的适应性运行时监测。 欧洲系统 2024 : 1175-1191 [i2] 费哈特·埃拉塔 , 阿尔达·戈尼尔 , 伊万·库特夫 , Tekinerdogan公司 :
AlloyInEcore:将一阶关系逻辑嵌入到自动化模型推理的元对象工具中。 CoRR公司 abs/2403.02652 ( 2024 ) 2022 [公元32年] 伊万·库特夫 , 乔泽夫·胡曼 :
使用ComMA对复合组件进行运行时验证。 从过程代数到时间自动机到模型学习的旅程 2022 : 382-402年 2021 [公元9年] 德比约蒂·贝拉 , 马蒂杰斯·舒茨 , 乔泽夫·胡曼 , 伊万·库特夫 :
软件接口的逆向工程模型。 计算。 科学。 信息系统。 18 ( 三 ) : 657-686 ( 2021 ) [公元31年] 陈子君 , 威尔伯特·阿尔伯茨 , 伊万·库特夫 :
测试代码生成器:在实践中应用USE、EFinder和Tracts的案例研究。 STAF研讨会 2021 : 169-177
2010 – 2019
2018 [公元30年] 马蒂杰斯·舒茨 , 乔泽夫·胡曼 , 伊万·库特夫 , 德克·扬·斯瓦格曼 :
将遗留软件接口反向工程到基于模型的方法。 联邦犯罪现场调查系统 2018 : 867-876 [公元29年] 费哈特·埃拉塔 , 阿尔达·戈尼尔 , 伊万·库特夫 , 贝迪尔·特基内尔多根 :
AlloyInEcore:将一阶关系逻辑嵌入到元对象工具中,用于自动模型推理。 ESEC/SIGSOFT FSE 2018 : 920-923 2017 [公元28年] 伊万·库特夫 , 乔泽夫·胡曼 , 马蒂杰斯·舒茨 :
基于接口规范的运行时监控。 建模教育、测试教育、信任教育 2017 : 335-356 [公元27年] 尼尔斯·布劳沃斯 , 马克·汉密尔顿 , 伊万·库特夫 , 罗亚萍 :
语言体系结构:一种用于模型驱动工程的体系结构语言。 MODELSWARD公司 2017 : 147-156 [c26] 伊万·库特夫 , 马蒂杰斯·舒茨 , 乔泽夫·胡曼 , 德克·扬·斯瓦格曼 :
在工业环境中集成界面建模和分析。 MODELSWARD公司 2017 : 345-352 2016 [公元25年] 阿尔达·戈尼尔 , 伊万·库特夫 , 克拉斯·范登伯格 :
基于功能需求变化的AADL模型演化的基于规则的方法。 ECSA研讨会 2016 : 10 [i1] 阿尔达·戈尼尔 , 伊万·库特夫 , 克拉斯·范登伯格 :
需求变更的软件体系结构中基于规则的变更影响分析方法。 CoRR公司 abs/1608.02757 ( 2016 ) 2014 [j8] 阿尔达·戈尼尔 , 伊万·库特夫 , 克拉斯·范登伯格 , 威兹·斯皮克曼 :
需求变更影响分析:元建模方法。 Inf.柔软。 Technol公司。 56 ( 8 ) : 950-972 ( 2014 ) [j7] 阿尔达·戈尼尔 , 伊万·库特夫 , 克拉斯·范登伯格 :
基于形式化跟踪语义在需求和体系结构之间生成和验证跟踪。 J.系统。 柔和。 88 : 112-137 ( 2014 ) [公元24年] 阿尔达·戈尼尔 , 罗德里克·范登堡 , 伊万·库特夫 , 克拉斯·范登伯格 , 冯斯·维恩霍温 :
需求模型中变更影响预测工具的实验评估:设计、结果和经验教训。 MoDRE公司 2014 : 57-66 2013 【c23】 阿尔达·戈尼尔 , 伊万·库特夫 , 珍妮·维文·米洛 :
用于在多个需求模型上进行推理的元建模方法。 EDOC公司 2013 : 159-166 2012 [公元22年] 阿贝内赫·Y·特卡 , Nelly Condori-Fernández女士 , 伊万·库特夫 , 迪克·A·C·夸特尔 , 威尔科·恩格斯曼 :
间接目标关系的变化影响分析:基于行业案例研究的NFR和TROPOS方法的比较。 MoDRE公司 2012 : 58-67 2011 [j6] 阿尔达·戈尼尔 , 伊万·库特夫 , 克拉斯·范登伯格 , Jan-Willem Veldhuis公司 :
用于一致性检查和推断的需求模型中跟踪关系的语义。 柔和。 系统。 模型。 10 ( 1 ) : 31-54 ( 2011 ) 【c21】 吉斯·斯图尔曼 , 伊万·库特夫 :
用于定义建模语言的动态语义的操作语义。 BM-FA公司 2011 : 64-71 [公元20年] 马塞尔·范阿姆斯特尔 , 史蒂文·博塞姆斯 , 伊万·库特夫 , 路易斯·费雷拉·皮雷斯 :
模型转换性能:ATL和QVT实验。 ICMT@工具 2011 : 198-212 [电子1] 伊万·库特夫 , 马西莫·蒂西 , 丹尼斯·瓦格拉尔 :
第三届ATL模型转换国际研讨会会议记录, MtATL@工具 2011年7月1日,瑞士苏黎世。 CEUR研讨会记录 742, CEUR-WS.org公司 2011 [目录] 2010 [j5] 伊万·库特夫 :
反射在模型转换语言中的应用。 柔和。 系统。 模型。 9 ( 三 ) : 311-333年 ( 2010 ) [第19条] 阿尔达·戈尼尔 , 伊万·库特夫 , 克拉斯·范登伯格 :
工具支持在需求和架构(architecture)之间生成和验证跟踪。 ECMFA-TW公司 2010 : 39-46
2000 – 2009
2009 [第18条] 阿尔芬斯·拉阿尔曼 , 伊万·库特夫 :
具有显式实例化的本体元建模。 SLE公司 2009 : 174-183 2008 【j4】 福雷德里克·朱厄尔(Frédéric Jouault) , 弗雷迪·阿利莱尔 , 让·贝齐文 , 伊万·库特夫 :
ATL:模型转换工具。 科学。 计算。 程序。 72 ( 1-2 ) : 31-39 ( 2008 ) [j3] 穆罕默德·阿克西特 , 伊万·库特夫 :
Elsevier关于模型驱动架构的基础和应用的专题。 科学。 计算。 程序。 73 ( 1 ) : 1-2 ( 2008 ) [第17条] 阿尔达·戈尼尔 , 伊万·库特夫 , 克拉斯·范登伯格 :
一种用于需求推理的元建模方法。 ECMDA-FA公司 2008 : 310-325 [第16条] 伊万·库特夫 :
反射在模型转换语言中的应用。 ICMT@工具 2008 : 199-213年 2007 [注2] 福雷德里克·朱厄尔(Frédéric Jouault) , 伊万·库特夫 :
关于模型到模型转换语言的互操作性。 科学。 计算。 程序。 68 ( 三 ) : 114-137 ( 2007 ) [j1] 伊万·库特夫 , 克拉斯·范登伯格 , 福雷德里克·朱厄尔(Frédéric Jouault) :
模型转换语言中基于规则的模块化,以ATL为例。 科学。 计算。 程序。 68 ( 三 ) : 138-154 ( 2007 ) [第15条] 伊万·库特夫 :
QVT技术现状:模型转换语言标准。 AGTIVE公司 2007 : 377-393 [第14条] 托马斯·克莱内维克 , 伊万·库特夫 :
模型工程中DSL翻译语义的关注点分离。 囊 2007 : 985-992 2006 [第13条] 让·贝齐文 , 萨利姆·布齐图纳 , 马科斯·迪多内特·德尔·法布罗 , 玛丽·皮埃尔·杰维斯 , 福雷德里克·朱厄尔(Frédéric Jouault) , 迪米特里奥斯·科洛沃斯 , 伊万·库特夫 , 理查德·佩奇 :
模型合成的标准方案。 ECMDA-FA公司 2006 : 346-360 [第12条] 福雷德里克·朱厄尔(Frédéric Jouault) , 让·贝齐文 , 伊万·库特夫 :
TCS:模型工程中文本具体语法规范的DSL。 GPCE公司 2006 : 249-254 [第11条] 让·贝齐文 , 费边·比特纳 , 马丁·戈戈拉 , 福雷德里克·朱厄尔(Frédéric Jouault) , 伊万·库特夫 , 阿恩·林道 :
模型转换? 转换模型! 模型 2006 : 440至453 [第10条] 伊万·库特夫 , 让·贝齐文 , 福雷德里克·朱厄尔(Frédéric Jouault) , 帕特里克·瓦杜里兹 :
基于模型的DSL框架。 OOPSLA指南 2006 : 602-616 [c9] 福雷德里克·朱厄尔(Frédéric Jouault) , 弗雷迪·阿利莱尔 , 让·贝齐文 , 伊万·库特夫 , 帕特里克·瓦杜里兹 :
ATL:一种类似QVT的转换语言。 OOPSLA指南 2006 : 719-720年 【c8】 福雷德里克·朱厄尔(Frédéric Jouault) , 伊万·库特夫 :
关于ATL和QVT的架构对齐。 囊 2006 : 1188-1195 【c7】 伊万·库特夫 , 克拉斯·范登伯格 , 福雷德里克·朱厄尔(Frédéric Jouault) :
用ATL说明模型转换语言中基于规则的模块化的评估。 囊 2006 : 1202-1209 2005 【b1】 伊万·库特夫 :
模型转换的适应性。 荷兰恩舍德特温特大学, 2005 【c6】 福雷德里克·朱厄尔(Frédéric Jouault) , 伊万·库特夫 :
使用ATL转换模型。 MoDELS(卫星活动) 2005 : 128-138 【c5】 伊万·库特夫 , 克拉斯·范登伯格 :
使用模型转换构建可适应和可重用的XML应用程序。 万维网 2005 : 160-169 2004 【c4】 伊万·库特夫 , 克拉斯·范登伯格 :
MISTRAL:MOF元模型体系结构中的模型转换语言。 MDAFA公司 2004 : 139-158 2003 【c3】 伊万·库特夫 , 克拉斯·范登伯格 :
基于模型驱动架构的XML处理。 ACM文件工程研讨会 2003 : 246-248 【c2】 伊万·库特夫 , 克拉斯·范登伯格 , 穆罕默德·阿克西特 :
UML到XML-Schema转换:MDA中管理替代模型转换的案例研究。 FDL公司 2003 : 297-309
1990 – 1999
1999 【c1】 斯韦托斯拉夫·斯托亚诺夫 , 洛拉·阿罗约 , 皮特·科默斯 , 伊万·库特夫 :
SMILE Maker:一个基于Web的问题解决工具。 WebNet(网络) 1999 : 1006-1011