Pub Date : 2017-02-01DOI: 10.1007/978-3-319-67425-4_5
Thomas Degueule, B. Combemale, J. Jézéquel
{"title":"On Language Interfaces","authors":"Thomas Degueule, B. Combemale, J. Jézéquel","doi":"10.1007/978-3-319-67425-4_5","DOIUrl":"https://doi.org/10.1007/978-3-319-67425-4_5","url":null,"abstract":"","PeriodicalId":438595,"journal":{"name":"Present and Ulterior Software Engineering","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131347375","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 : 2016-06-13DOI: 10.1007/978-3-319-67425-4_12
N. Dragoni, S. Giallorenzo, Alberto Lluch-Lafuente, M. Mazzara, F. Montesi, Ruslan Mustafin, Larisa Safina
{"title":"Microservices: Yesterday, Today, and Tomorrow","authors":"N. Dragoni, S. Giallorenzo, Alberto Lluch-Lafuente, M. Mazzara, F. Montesi, Ruslan Mustafin, Larisa Safina","doi":"10.1007/978-3-319-67425-4_12","DOIUrl":"https://doi.org/10.1007/978-3-319-67425-4_12","url":null,"abstract":"","PeriodicalId":438595,"journal":{"name":"Present and Ulterior Software Engineering","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131273827","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-67425-4_10
A. Goffi, Alessandra Gorla, Andrea Mattavelli, M. Pezzè
{"title":"Intrinsic Redundancy for Reliability and Beyond","authors":"A. Goffi, Alessandra Gorla, Andrea Mattavelli, M. Pezzè","doi":"10.1007/978-3-319-67425-4_10","DOIUrl":"https://doi.org/10.1007/978-3-319-67425-4_10","url":null,"abstract":"","PeriodicalId":438595,"journal":{"name":"Present and Ulterior Software Engineering","volume":"41 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":"122953715","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-67425-4_4
P. Zave
{"title":"A Theory of Networking and Its Contributions to Software Engineering","authors":"P. Zave","doi":"10.1007/978-3-319-67425-4_4","DOIUrl":"https://doi.org/10.1007/978-3-319-67425-4_4","url":null,"abstract":"","PeriodicalId":438595,"journal":{"name":"Present and Ulterior Software Engineering","volume":"12 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":"121114750","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-67425-4_6
Andrei Chis, Tudor Gîrba, Juraj Kubelka, Oscar Nierstrasz, Stefan Reichhart, Aliaksei Syrel
{"title":"Moldable Tools for Object-Oriented Development","authors":"Andrei Chis, Tudor Gîrba, Juraj Kubelka, Oscar Nierstrasz, Stefan Reichhart, Aliaksei Syrel","doi":"10.1007/978-3-319-67425-4_6","DOIUrl":"https://doi.org/10.1007/978-3-319-67425-4_6","url":null,"abstract":"","PeriodicalId":438595,"journal":{"name":"Present and Ulterior Software Engineering","volume":"163 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":"133246546","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-67425-4_7
R. Paige, Athanasios Zolotas, D. Kolovos
{"title":"The Changing Face of Model-Driven Engineering","authors":"R. Paige, Athanasios Zolotas, D. Kolovos","doi":"10.1007/978-3-319-67425-4_7","DOIUrl":"https://doi.org/10.1007/978-3-319-67425-4_7","url":null,"abstract":"","PeriodicalId":438595,"journal":{"name":"Present and Ulterior Software Engineering","volume":"7 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":"121749335","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-67425-4_9
A. Terekhov, T. Bryksin, Yurii Litvinov
{"title":"How to Make Visual Modeling More Attractive to Software Developers","authors":"A. Terekhov, T. Bryksin, Yurii Litvinov","doi":"10.1007/978-3-319-67425-4_9","DOIUrl":"https://doi.org/10.1007/978-3-319-67425-4_9","url":null,"abstract":"","PeriodicalId":438595,"journal":{"name":"Present and Ulterior Software Engineering","volume":"88 1 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":"123524208","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-67425-4_8
M. Akhin, Mikhail Beliaev, V. Itsykson
{"title":"Borealis Bounded Model Checker: The Coming of Age Story","authors":"M. Akhin, Mikhail Beliaev, V. Itsykson","doi":"10.1007/978-3-319-67425-4_8","DOIUrl":"https://doi.org/10.1007/978-3-319-67425-4_8","url":null,"abstract":"","PeriodicalId":438595,"journal":{"name":"Present and Ulterior Software Engineering","volume":"69 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":"125941392","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-67425-4_11
Ana Cavalcanti, Alvaro Miyazawa, R. Payne, J. Woodcock
{"title":"Sound Simulation and Co-simulation for Robotics","authors":"Ana Cavalcanti, Alvaro Miyazawa, R. Payne, J. Woodcock","doi":"10.1007/978-3-319-67425-4_11","DOIUrl":"https://doi.org/10.1007/978-3-319-67425-4_11","url":null,"abstract":"","PeriodicalId":438595,"journal":{"name":"Present and Ulterior Software Engineering","volume":"81 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":"133275818","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-67425-4_2
E. Hehner
{"title":"What Is a Procedure?","authors":"E. Hehner","doi":"10.1007/978-3-319-67425-4_2","DOIUrl":"https://doi.org/10.1007/978-3-319-67425-4_2","url":null,"abstract":"","PeriodicalId":438595,"journal":{"name":"Present and Ulterior Software Engineering","volume":"95 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":"124177749","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
扫码关注我们
求助内容：
应助结果提醒方式：