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

From Software Engineering to Formal Methods and Tools, and Back最新文献

筛选
英文 中文
How Formal Methods Can Contribute to 5G Networks 正式方法如何为5G网络做出贡献
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30985-5_32
M. Gallardo, Francisco Luque-Schempp, P. Merino, L. Panizo
{"title":"How Formal Methods Can Contribute to 5G Networks","authors":"M. Gallardo, Francisco Luque-Schempp, P. Merino, L. Panizo","doi":"10.1007/978-3-030-30985-5_32","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_32","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"31 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":"129979762","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
An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice 一类具有并行算子和概率选择的语言的强分布双仿真的公理化
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30985-5_26
J. F. Groote, E. Vink
{"title":"An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice","authors":"J. F. Groote, E. Vink","doi":"10.1007/978-3-030-30985-5_26","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_26","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","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":"130487480","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
Enabling Auditing of Smart Contracts Through Process Mining 通过流程挖掘实现智能合约审计
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30985-5_27
F. Corradini, F. Marcantoni, A. Morichetta, A. Polini, B. Re, Massimiliano Sampaolo
{"title":"Enabling Auditing of Smart Contracts Through Process Mining","authors":"F. Corradini, F. Marcantoni, A. Morichetta, A. Polini, B. Re, Massimiliano Sampaolo","doi":"10.1007/978-3-030-30985-5_27","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_27","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"11 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":"127340700","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}
引用次数: 23
Application of Model Checking to Fault Tolerance Analysis 模型检验在容错分析中的应用
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30985-5_31
C. Bernardeschi, A. Domenici
{"title":"Application of Model Checking to Fault Tolerance Analysis","authors":"C. Bernardeschi, A. Domenici","doi":"10.1007/978-3-030-30985-5_31","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_31","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","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":"129685060","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
A Generic Dynamic Logic with Applications to Interaction-Based Systems 通用动态逻辑及其在基于交互系统中的应用
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30985-5_11
R. Hennicker, M. Wirsing
{"title":"A Generic Dynamic Logic with Applications to Interaction-Based Systems","authors":"R. Hennicker, M. Wirsing","doi":"10.1007/978-3-030-30985-5_11","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_11","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","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":"130271451","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}
引用次数: 0
Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems 自适应系统的十年:从动态集成到集体适应系统
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30985-5_3
A. Bucchiarone, M. Mongiello
{"title":"Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems","authors":"A. Bucchiarone, M. Mongiello","doi":"10.1007/978-3-030-30985-5_3","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_3","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","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":"129386565","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
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector 基于模型的铁路部门能耗评估的改进框架
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30985-5_28
S. Chiaradonna, F. Giandomenico, Giulio Masetti, D. Basile
{"title":"A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector","authors":"S. Chiaradonna, F. Giandomenico, Giulio Masetti, D. Basile","doi":"10.1007/978-3-030-30985-5_28","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_28","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"18 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":"124384212","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
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution? 在不断变化的世界中不断变化的软件:如何在可变性、适应性和进化的情况下进行测试?
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30985-5_5
A. Bertolino, P. Inverardi
{"title":"Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?","authors":"A. Bertolino, P. Inverardi","doi":"10.1007/978-3-030-30985-5_5","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_5","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"25 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":"123108035","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
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions QuOD:一个提高业务过程描述质量的NLP工具
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30985-5_17
Alessio Ferrari, G. Spagnolo, Antonella Fiscella, G. Parente
{"title":"QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions","authors":"Alessio Ferrari, G. Spagnolo, Antonella Fiscella, G. Parente","doi":"10.1007/978-3-030-30985-5_17","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_17","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"17 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":"128505028","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
Automata-Based Behavioural Contracts with Action Correlation 基于自动机的行为契约与行为关联
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30985-5_9
D. Basile, R. Pugliese, F. Tiezzi, P. Degano, G. Ferrari
{"title":"Automata-Based Behavioural Contracts with Action Correlation","authors":"D. Basile, R. Pugliese, F. Tiezzi, P. Degano, G. Ferrari","doi":"10.1007/978-3-030-30985-5_9","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_9","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"21 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":"121391634","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}
引用次数: 0
首页 上一页 下一页 尾页
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学术官方微信