Pub Date : 2013-09-29DOI: 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":null,"pages":null},"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}
Pub Date : 2013-09-29DOI: 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":null,"pages":null},"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}
Pub Date : 2013-09-29DOI: 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":null,"pages":null},"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}
Pub Date : 2013-09-29DOI: 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":null,"pages":null},"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}
Pub Date : 2013-09-29DOI: 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":null,"pages":null},"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}
Pub Date : 2013-09-29DOI: 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":null,"pages":null},"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}
Pub Date : 2013-09-29DOI: 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":null,"pages":null},"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}
Pub Date : 2013-09-29DOI: 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":null,"pages":null},"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}
Pub Date : 2013-09-29DOI: 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":null,"pages":null},"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}
Pub Date : 2013-09-29DOI: 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":null,"pages":null},"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：