发布求助
文献互助 智能选刊 最新文献

ACM/IEEE International Conference on Model Driven Engineering Languages and Systems最新文献

筛选
英文 中文
Adding Spreadsheets to the MDE Toolkit 向MDE Toolkit添加电子表格
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Pub Date : 2013-09-29 DOI: 10.1007/978-3-642-41533-3_3
Martins Francis, D. Kolovos, N. Matragkas, R. Paige
{"title":"Adding Spreadsheets to the MDE Toolkit","authors":"Martins Francis, D. Kolovos, N. Matragkas, R. Paige","doi":"10.1007/978-3-642-41533-3_3","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_3","url":null,"abstract":"","PeriodicalId":281180,"journal":{"name":"ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132976297","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
Contract-Aware Slicing of UML Class Models UML类模型的感知契约的切片
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Pub Date : 2013-09-29 DOI: 10.1007/978-3-642-41533-3_44
Wuliang Sun, R. France, I. Ray
{"title":"Contract-Aware Slicing of UML Class Models","authors":"Wuliang Sun, R. France, I. Ray","doi":"10.1007/978-3-642-41533-3_44","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_44","url":null,"abstract":"","PeriodicalId":281180,"journal":{"name":"ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124446745","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies 工业案例中大型软件设计模型组成的努力分析
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Pub Date : 2013-09-29 DOI: 10.1007/978-3-642-41533-3_39
Kleinner Farias, Alessandro F. Garcia, J. Whittle, C. Lucena
{"title":"Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies","authors":"Kleinner Farias, Alessandro F. Garcia, J. Whittle, C. Lucena","doi":"10.1007/978-3-642-41533-3_39","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_39","url":null,"abstract":"","PeriodicalId":281180,"journal":{"name":"ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116081719","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
Towards an Operationalization of the "Physics of Notations" for the Analysis of Visual Languages “符号物理学”在视觉语言分析中的应用
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Pub Date : 2013-09-29 DOI: 10.1007/978-3-642-41533-3_7
H. Störrle, A. Fish
{"title":"Towards an Operationalization of the \"Physics of Notations\" for the Analysis of Visual Languages","authors":"H. Störrle, A. Fish","doi":"10.1007/978-3-642-41533-3_7","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_7","url":null,"abstract":"","PeriodicalId":281180,"journal":{"name":"ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124989852","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 42
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples 实例和反例中元模型良构性规则的自动搜索
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Pub Date : 2013-09-29 DOI: 10.1007/978-3-642-41533-3_12
Martin Faunes, J. Cadavid, B. Baudry, H. Sahraoui, B. Combemale
{"title":"Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples","authors":"Martin Faunes, J. Cadavid, B. Baudry, H. Sahraoui, B. Combemale","doi":"10.1007/978-3-642-41533-3_12","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_12","url":null,"abstract":"","PeriodicalId":281180,"journal":{"name":"ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121621359","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 29
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition 具有形式语义的信息物理组件规范。集成和组合
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Pub Date : 2013-09-29 DOI: 10.1007/978-3-642-41533-3_29
Gabor Simko, David Lindecker, T. Levendovszky, S. Neema, J. Sztipanovits
{"title":"Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition","authors":"Gabor Simko, David Lindecker, T. Levendovszky, S. Neema, J. Sztipanovits","doi":"10.1007/978-3-642-41533-3_29","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_29","url":null,"abstract":"","PeriodicalId":281180,"journal":{"name":"ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","volume":"2015 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127604488","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 43
Behavioural Verification in Embedded Software, from Model to Source Code 嵌入式软件中的行为验证，从模型到源代码
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Pub Date : 2013-09-29 DOI: 10.1007/978-3-642-41533-3_20
Anthony Fernandes Pires, Thomas Polacsek, V. Wiels, Stéphane Duprat
{"title":"Behavioural Verification in Embedded Software, from Model to Source Code","authors":"Anthony Fernandes Pires, Thomas Polacsek, V. Wiels, Stéphane Duprat","doi":"10.1007/978-3-642-41533-3_20","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_20","url":null,"abstract":"","PeriodicalId":281180,"journal":{"name":"ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129294240","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study 用OSLC集成开发生命周期中的建模工具:一个案例研究
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Pub Date : 2013-09-29 DOI: 10.1007/978-3-642-41533-3_10
M. Elaasar, Adam Neal
{"title":"Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study","authors":"M. Elaasar, Adam Neal","doi":"10.1007/978-3-642-41533-3_10","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_10","url":null,"abstract":"","PeriodicalId":281180,"journal":{"name":"ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127828514","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
Towards the Notation-Driven Development of DSMLs 面向dsml的符号驱动开发
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Pub Date : 2013-09-29 DOI: 10.1007/978-3-642-41533-3_32
L. Wouters
{"title":"Towards the Notation-Driven Development of DSMLs","authors":"L. Wouters","doi":"10.1007/978-3-642-41533-3_32","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_32","url":null,"abstract":"","PeriodicalId":281180,"journal":{"name":"ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115348284","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Evolution of the UML Interactions Metamodel UML交互元模型的演变
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Pub Date : 2013-09-29 DOI: 10.1007/978-3-642-41533-3_25
Marc-Florian Wendland, Martin A. Schneider, Øystein Haugen
{"title":"Evolution of the UML Interactions Metamodel","authors":"Marc-Florian Wendland, Martin A. Schneider, Øystein Haugen","doi":"10.1007/978-3-642-41533-3_25","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_25","url":null,"abstract":"","PeriodicalId":281180,"journal":{"name":"ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128570417","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信