Pub Date : 2016-09-01DOI: 10.1007/978-3-319-46508-1_4
A. Rensink
{"title":"Model Patterns - The Quest for the Right Level of Abstraction","authors":"A. Rensink","doi":"10.1007/978-3-319-46508-1_4","DOIUrl":"https://doi.org/10.1007/978-3-319-46508-1_4","url":null,"abstract":"","PeriodicalId":428693,"journal":{"name":"LNCS Trans. Found. Mastering Chang.","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128136558","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 : 1900-01-01DOI: 10.1007/978-3-319-46508-1_1
B. Steffen
{"title":"Introduction to the First Issue of FoMaC","authors":"B. Steffen","doi":"10.1007/978-3-319-46508-1_1","DOIUrl":"https://doi.org/10.1007/978-3-319-46508-1_1","url":null,"abstract":"","PeriodicalId":428693,"journal":{"name":"LNCS Trans. Found. Mastering Chang.","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116859847","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 : 1900-01-01DOI: 10.1007/978-3-319-46508-1_7
S. Tripakis
{"title":"Compositional Model-Based System Design and Other Foundations for Mastering Change","authors":"S. Tripakis","doi":"10.1007/978-3-319-46508-1_7","DOIUrl":"https://doi.org/10.1007/978-3-319-46508-1_7","url":null,"abstract":"","PeriodicalId":428693,"journal":{"name":"LNCS Trans. Found. Mastering Chang.","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126031077","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 : 1900-01-01DOI: 10.1007/978-3-319-46508-1_6
M. Lindvall, Martin Becker, Vasil L. Tenev, Slawomir Duszynski, M. Hinchey
{"title":"Good Change and Bad Change: An Analysis Perspective on Software Evolution","authors":"M. Lindvall, Martin Becker, Vasil L. Tenev, Slawomir Duszynski, M. Hinchey","doi":"10.1007/978-3-319-46508-1_6","DOIUrl":"https://doi.org/10.1007/978-3-319-46508-1_6","url":null,"abstract":"","PeriodicalId":428693,"journal":{"name":"LNCS Trans. Found. Mastering Chang.","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127940435","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 : 1900-01-01DOI: 10.1007/978-3-319-46508-1_11
Matthias M. Hölzl, Thomas Gabor
{"title":"Continuous Collaboration for Changing Environments","authors":"Matthias M. Hölzl, Thomas Gabor","doi":"10.1007/978-3-319-46508-1_11","DOIUrl":"https://doi.org/10.1007/978-3-319-46508-1_11","url":null,"abstract":"","PeriodicalId":428693,"journal":{"name":"LNCS Trans. Found. Mastering Chang.","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122781694","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 : 1900-01-01DOI: 10.1007/978-3-319-46508-1_8
Richard Bubel, Ferruccio Damiani, Reiner Hähnle, E. Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu
{"title":"Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct","authors":"Richard Bubel, Ferruccio Damiani, Reiner Hähnle, E. Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu","doi":"10.1007/978-3-319-46508-1_8","DOIUrl":"https://doi.org/10.1007/978-3-319-46508-1_8","url":null,"abstract":"","PeriodicalId":428693,"journal":{"name":"LNCS Trans. Found. Mastering Chang.","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116815000","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
扫码关注我们
求助内容：
应助结果提醒方式：