Pub Date : 2013-09-29DOI: 10.1007/978-3-642-41533-3_40
M. Tisi, Salvador Martínez Perez, Hassene Choura
{"title":"Parallel Execution of ATL Transformation Rules","authors":"M. Tisi, Salvador Martínez Perez, Hassene Choura","doi":"10.1007/978-3-642-41533-3_40","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_40","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":"116931156","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_5
J. Vara, R. Panesar-Walawege
{"title":"SafetyMet: A Metamodel for Safety Standards","authors":"J. Vara, R. Panesar-Walawege","doi":"10.1007/978-3-642-41533-3_5","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_5","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":"128171034","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_19
Karolina Zurowska, J. Dingel
{"title":"Model Checking of UML-RT Models Using Lazy Composition","authors":"Karolina Zurowska, J. Dingel","doi":"10.1007/978-3-642-41533-3_19","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_19","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":"124278653","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_47
Joel Greenyer, E. Kindler
{"title":"Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications","authors":"Joel Greenyer, E. Kindler","doi":"10.1007/978-3-642-41533-3_47","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_47","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":"121655566","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_34
Hui Song, Stephen Barrett, Aidan Clarke, S. Clarke
{"title":"Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving","authors":"Hui Song, Stephen Barrett, Aidan Clarke, S. Clarke","doi":"10.1007/978-3-642-41533-3_34","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_34","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":"121567649","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_22
M. Acher, B. Combemale, P. Collet, Olivier Barais, Philippe Lahire, R. France
{"title":"Composing Your Compositions of Variability Models","authors":"M. Acher, B. Combemale, P. Collet, Olivier Barais, Philippe Lahire, R. France","doi":"10.1007/978-3-642-41533-3_22","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_22","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":"128280494","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_35
Xiaodong Zhang, Xing Chen, Y. Zhang, Yihan Wu, Wei Yao, Gang Huang, Q. Lin
{"title":"Demonstration of Runtime Model Based Management of Diverse Cloud Resources","authors":"Xiaodong Zhang, Xing Chen, Y. Zhang, Yihan Wu, Wei Yao, Gang Huang, Q. Lin","doi":"10.1007/978-3-642-41533-3_35","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_35","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":"114183450","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_6
A. Pretschner, Dominik Holling, R. Eschbach, Matthias Gemmar
{"title":"A Generic Fault Model for Quality Assurance","authors":"A. Pretschner, Dominik Holling, R. Eschbach, Matthias Gemmar","doi":"10.1007/978-3-642-41533-3_6","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_6","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":"124979761","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_17
W. Cazzola, Nicole Alicia Rossini, M. Al-Refai, R. France
{"title":"Fine-Grained Software Evolution Using UML Activity and Class Models","authors":"W. Cazzola, Nicole Alicia Rossini, M. Al-Refai, R. France","doi":"10.1007/978-3-642-41533-3_17","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_17","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":"125055721","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_30
Lars Hamann, Martin Gogolla
{"title":"Endogenous Metamodeling Semantics for Structural UML 2 Concepts","authors":"Lars Hamann, Martin Gogolla","doi":"10.1007/978-3-642-41533-3_30","DOIUrl":"https://doi.org/10.1007/978-3-642-41533-3_30","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":"125404302","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
扫码关注我们
求助内容：
应助结果提醒方式：