Pub Date : 2013-06-19DOI: 10.1007/978-3-642-39614-4_8
Fatih Gey, Stefan Walraven, D. Landuyt, W. Joosen
{"title":"Building a Customizable Business-Process-as-a-Service Application with Current State-of-Practice","authors":"Fatih Gey, Stefan Walraven, D. Landuyt, W. Joosen","doi":"10.1007/978-3-642-39614-4_8","DOIUrl":"https://doi.org/10.1007/978-3-642-39614-4_8","url":null,"abstract":"","PeriodicalId":134490,"journal":{"name":"SC@STAF","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133678781","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-06-19DOI: 10.1007/978-3-642-39614-4_7
Peter Y. H. Wong
{"title":"Compositional Development of BPMN","authors":"Peter Y. H. Wong","doi":"10.1007/978-3-642-39614-4_7","DOIUrl":"https://doi.org/10.1007/978-3-642-39614-4_7","url":null,"abstract":"","PeriodicalId":134490,"journal":{"name":"SC@STAF","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132650818","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-06-19DOI: 10.1007/978-3-642-39614-4_2
W. Cazzola, Edoardo Vacchi
{"title":"Neverlang 2 - Componentised Language Development for the JVM","authors":"W. Cazzola, Edoardo Vacchi","doi":"10.1007/978-3-642-39614-4_2","DOIUrl":"https://doi.org/10.1007/978-3-642-39614-4_2","url":null,"abstract":"","PeriodicalId":134490,"journal":{"name":"SC@STAF","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131018069","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-06-19DOI: 10.1007/978-3-642-39614-4_9
Aleksandar S. Dimovski
{"title":"Verifying Data Independent Programs Using Game Semantics","authors":"Aleksandar S. Dimovski","doi":"10.1007/978-3-642-39614-4_9","DOIUrl":"https://doi.org/10.1007/978-3-642-39614-4_9","url":null,"abstract":"","PeriodicalId":134490,"journal":{"name":"SC@STAF","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124110623","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-06-19DOI: 10.1007/978-3-642-39614-4_4
Wakana Takeshita, S. Chiba
{"title":"Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches","authors":"Wakana Takeshita, S. Chiba","doi":"10.1007/978-3-642-39614-4_4","DOIUrl":"https://doi.org/10.1007/978-3-642-39614-4_4","url":null,"abstract":"","PeriodicalId":134490,"journal":{"name":"SC@STAF","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133126890","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-06-19DOI: 10.1007/978-3-642-39614-4_5
J. Sánchez, Gary T. Leavens
{"title":"Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification","authors":"J. Sánchez, Gary T. Leavens","doi":"10.1007/978-3-642-39614-4_5","DOIUrl":"https://doi.org/10.1007/978-3-642-39614-4_5","url":null,"abstract":"","PeriodicalId":134490,"journal":{"name":"SC@STAF","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124426866","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-06-19DOI: 10.1007/978-3-642-39614-4_3
A. Fuchs, S. Gürgens
{"title":"Preserving Confidentiality in Component Compositions","authors":"A. Fuchs, S. Gürgens","doi":"10.1007/978-3-642-39614-4_3","DOIUrl":"https://doi.org/10.1007/978-3-642-39614-4_3","url":null,"abstract":"","PeriodicalId":134490,"journal":{"name":"SC@STAF","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121428861","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-06-19DOI: 10.1007/978-3-642-39614-4_1
S. H. Haeri, S. Schupp
{"title":"Reusable Components for Lightweight Mechanisation of Programming Languages","authors":"S. H. Haeri, S. Schupp","doi":"10.1007/978-3-642-39614-4_1","DOIUrl":"https://doi.org/10.1007/978-3-642-39614-4_1","url":null,"abstract":"","PeriodicalId":134490,"journal":{"name":"SC@STAF","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133839670","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
扫码关注我们
求助内容：
应助结果提醒方式：