Pub Date : 1900-01-01DOI: 10.1007/978-3-030-76020-5_16
Matthes Elstermann, André Wolski, A. Fleischmann, C. Stary, Stephan Borgert
{"title":"The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes","authors":"Matthes Elstermann, André Wolski, A. Fleischmann, C. Stary, Stephan Borgert","doi":"10.1007/978-3-030-76020-5_16","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_16","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"10 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":"114971858","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-030-76020-5_10
J. Makowsky
{"title":"Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond","authors":"J. Makowsky","doi":"10.1007/978-3-030-76020-5_10","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_10","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"53 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":"130854687","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-030-76020-5_18
W. Zimmermann, Mandy Weißbach
{"title":"A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines","authors":"W. Zimmermann, Mandy Weißbach","doi":"10.1007/978-3-030-76020-5_18","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_18","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"6 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":"133013782","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-030-76020-5_9
M. Leuschel
{"title":"Spot the Difference: A Detailed Comparison Between B and Event-B","authors":"M. Leuschel","doi":"10.1007/978-3-030-76020-5_9","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_9","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"26 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":"124021873","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-030-76020-5_13
Paolo Arcaini, A. Bombarda, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra
{"title":"The ASMETA Approach to Safety Assurance of Software Systems","authors":"Paolo Arcaini, A. Bombarda, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra","doi":"10.1007/978-3-030-76020-5_13","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_13","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"32 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":"116656731","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-030-76020-5_4
D. Batory, Jeho Oh, R. Heradio, David Benavides
{"title":"Product Optimization in Stepwise Design","authors":"D. Batory, Jeho Oh, R. Heradio, David Benavides","doi":"10.1007/978-3-030-76020-5_4","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_4","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"28 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":"124766010","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-030-76020-5_5
C. Beierle, J. Haldimann, G. Kern-Isberner
{"title":"Semantic Splitting of Conditional Belief Bases","authors":"C. Beierle, J. Haldimann, G. Kern-Isberner","doi":"10.1007/978-3-030-76020-5_5","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_5","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"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":"128471781","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-030-76020-5
{"title":"Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday","authors":"","doi":"10.1007/978-3-030-76020-5","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"16 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":"122891904","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-030-76020-5_14
Stefan Bodenmüller, G. Schellhorn, Martin Bitterlich, W. Reif
{"title":"Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System","authors":"Stefan Bodenmüller, G. Schellhorn, Martin Bitterlich, W. Reif","doi":"10.1007/978-3-030-76020-5_14","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_14","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"142 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":"121715844","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
扫码关注我们
求助内容：
应助结果提醒方式：