发布求助
文献互助 智能选刊 最新文献

SC@STAF最新文献

筛选
英文 中文
Building a Customizable Business-Process-as-a-Service Application with Current State-of-Practice 使用当前实践状态构建可定制的业务流程即服务应用程序
SC@STAF Pub Date : 2013-06-19 DOI: 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}
引用次数: 18
Compositional Development of BPMN BPMN的组成发展
SC@STAF Pub Date : 2013-06-19 DOI: 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}
引用次数: 1
Neverlang 2 - Componentised Language Development for the JVM Neverlang 2——JVM的组件化语言开发
SC@STAF Pub Date : 2013-06-19 DOI: 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}
引用次数: 35
Verifying Data Independent Programs Using Game Semantics 使用游戏语义验证数据独立程序
SC@STAF Pub Date : 2013-06-19 DOI: 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}
引用次数: 1
Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches 方法外壳:通过隐式上下文切换避免破坏性类扩展上的冲突
SC@STAF Pub Date : 2013-06-19 DOI: 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}
引用次数: 2
Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification 分离主题和处理程序的义务，以实现更灵活的事件类型验证
SC@STAF Pub Date : 2013-06-19 DOI: 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}
引用次数: 4
Preserving Confidentiality in Component Compositions 在组件组合中保持机密性
SC@STAF Pub Date : 2013-06-19 DOI: 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}
引用次数: 3
Implementing Feature Interactions with Generic Feature Modules 用通用特性模块实现特性交互
SC@STAF Pub Date : 2013-06-19 DOI: 10.1007/978-3-642-39614-4_6
Fuminobu Takeyama, S. Chiba
{"title":"Implementing Feature Interactions with Generic Feature Modules","authors":"Fuminobu Takeyama, S. Chiba","doi":"10.1007/978-3-642-39614-4_6","DOIUrl":"https://doi.org/10.1007/978-3-642-39614-4_6","url":null,"abstract":"","PeriodicalId":134490,"journal":{"name":"SC@STAF","volume":"49 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":"132414029","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}
引用次数: 5
Reusable Components for Lightweight Mechanisation of Programming Languages 用于编程语言轻量级机械化的可重用组件
SC@STAF Pub Date : 2013-06-19 DOI: 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}
引用次数: 7
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信