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

International Workshop on Formal Aspects of Component Software最新文献

筛选
英文 中文
Adding Formal Meanings to AADL with Hybrid Annex 用混合附件增加AADL的形式含义
International Workshop on Formal Aspects of Component Software Pub Date : 2014-09-09 DOI: 10.1007/978-3-319-15317-9_15
Ehsan Ahmad, Yunwei Dong, Shuling Wang, N. Zhan, Liang Zou
{"title":"Adding Formal Meanings to AADL with Hybrid Annex","authors":"Ehsan Ahmad, Yunwei Dong, Shuling Wang, N. Zhan, Liang Zou","doi":"10.1007/978-3-319-15317-9_15","DOIUrl":"https://doi.org/10.1007/978-3-319-15317-9_15","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122493091","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}
引用次数: 15
MAccS: A Tool for Reachability by Design MAccS:设计可达性的工具
International Workshop on Formal Aspects of Component Software Pub Date : 2014-09-09 DOI: 10.1007/978-3-319-15317-9_12
G. Verdier, Jean-Baptiste Raclet
{"title":"MAccS: A Tool for Reachability by Design","authors":"G. Verdier, Jean-Baptiste Raclet","doi":"10.1007/978-3-319-15317-9_12","DOIUrl":"https://doi.org/10.1007/978-3-319-15317-9_12","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129202925","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
Impact Models for Architecture-Based Self-adaptive Systems 基于架构的自适应系统的影响模型
International Workshop on Formal Aspects of Component Software Pub Date : 2014-09-09 DOI: 10.1007/978-3-319-15317-9_6
J. Cámara, A. Lopes, D. Garlan, B. Schmerl
{"title":"Impact Models for Architecture-Based Self-adaptive Systems","authors":"J. Cámara, A. Lopes, D. Garlan, B. Schmerl","doi":"10.1007/978-3-319-15317-9_6","DOIUrl":"https://doi.org/10.1007/978-3-319-15317-9_6","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116943391","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}
引用次数: 21
Solving Parity Games in Scala 在Scala中解决奇偶校验游戏
International Workshop on Formal Aspects of Component Software Pub Date : 2014-09-09 DOI: 10.1007/978-3-319-15317-9_9
A. D. Stasio, A. Murano, Vincenzo Prignano, L. Sorrentino
{"title":"Solving Parity Games in Scala","authors":"A. D. Stasio, A. Murano, Vincenzo Prignano, L. Sorrentino","doi":"10.1007/978-3-319-15317-9_9","DOIUrl":"https://doi.org/10.1007/978-3-319-15317-9_9","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"137 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131513562","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}
引用次数: 9
Intransitive Non-Interference by Unfolding 通过展开实现不可传递的互不干扰
International Workshop on Formal Aspects of Component Software Pub Date : 2014-09-09 DOI: 10.1007/978-3-319-15317-9_17
Paolo Baldan, Francesco Burato, Alberto Carraro
{"title":"Intransitive Non-Interference by Unfolding","authors":"Paolo Baldan, Francesco Burato, Alberto Carraro","doi":"10.1007/978-3-319-15317-9_17","DOIUrl":"https://doi.org/10.1007/978-3-319-15317-9_17","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124240292","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
MPass: An Efficient Tool for the Analysis of Message-Passing Programs MPass:分析消息传递程序的有效工具
International Workshop on Formal Aspects of Component Software Pub Date : 2014-09-09 DOI: 10.1007/978-3-319-15317-9_13
P. Abdulla, M. Atig, Jonathan Cederberg, S. Modi, Othmane Rezine, G. Saini
{"title":"MPass: An Efficient Tool for the Analysis of Message-Passing Programs","authors":"P. Abdulla, M. Atig, Jonathan Cederberg, S. Modi, Othmane Rezine, G. Saini","doi":"10.1007/978-3-319-15317-9_13","DOIUrl":"https://doi.org/10.1007/978-3-319-15317-9_13","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115893414","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
Components as Location Graphs 组件作为位置图
International Workshop on Formal Aspects of Component Software Pub Date : 2014-09-09 DOI: 10.1007/978-3-319-15317-9_1
J. Stefani
{"title":"Components as Location Graphs","authors":"J. Stefani","doi":"10.1007/978-3-319-15317-9_1","DOIUrl":"https://doi.org/10.1007/978-3-319-15317-9_1","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122902856","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
Verified Service Compositions by Template-Based Construction 通过基于模板的构造验证服务组合
International Workshop on Formal Aspects of Component Software Pub Date : 2014-09-09 DOI: 10.1007/978-3-319-15317-9_3
S. Walther, H. Wehrheim
{"title":"Verified Service Compositions by Template-Based Construction","authors":"S. Walther, H. Wehrheim","doi":"10.1007/978-3-319-15317-9_3","DOIUrl":"https://doi.org/10.1007/978-3-319-15317-9_3","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129613498","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
From Helena Ensemble Specifications to Executable Code 从海伦娜集成规范到可执行代码
International Workshop on Formal Aspects of Component Software Pub Date : 2014-09-09 DOI: 10.1007/978-3-319-15317-9_11
Annabelle Klarl, Lucia Cichella, R. Hennicker
{"title":"From Helena Ensemble Specifications to Executable Code","authors":"Annabelle Klarl, Lucia Cichella, R. Hennicker","doi":"10.1007/978-3-319-15317-9_11","DOIUrl":"https://doi.org/10.1007/978-3-319-15317-9_11","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121043809","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}
引用次数: 12
Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime 在运行时对基于组件的系统进行时间模式的分散评估
International Workshop on Formal Aspects of Component Software Pub Date : 2014-09-09 DOI: 10.1007/978-3-319-15317-9_7
O. Kouchnarenko, Jean-François Weber
{"title":"Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime","authors":"O. Kouchnarenko, Jean-François Weber","doi":"10.1007/978-3-319-15317-9_7","DOIUrl":"https://doi.org/10.1007/978-3-319-15317-9_7","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115309542","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}
引用次数: 12
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信