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

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

筛选
英文 中文
Hunting Superfluous Locks with Model Checking 用模型检查寻找多余的锁
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 2019-10-09 DOI: 10.1007/978-3-030-30985-5_24
V. Nguyen, Wendelin Serwe, Radu Mateescu, E. Jenn
{"title":"Hunting Superfluous Locks with Model Checking","authors":"V. Nguyen, Wendelin Serwe, Radu Mateescu, E. Jenn","doi":"10.1007/978-3-030-30985-5_24","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_24","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116519520","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
Innovating Medical Image Analysis via Spatial Logics 利用空间逻辑创新医学图像分析
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 2019-10-09 DOI: 10.1007/978-3-030-30985-5_7
G. Belmonte, V. Ciancia, D. Latella, M. Massink
{"title":"Innovating Medical Image Analysis via Spatial Logics","authors":"G. Belmonte, V. Ciancia, D. Latella, M. Massink","doi":"10.1007/978-3-030-30985-5_7","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_7","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114358919","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}
引用次数: 11
Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study 铁路信号系统需求的受控自然语言建模:一个案例研究
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 2019-10-09 DOI: 10.1007/978-3-030-30985-5_29
G. Lenzini, M. Petrocchi
{"title":"Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study","authors":"G. Lenzini, M. Petrocchi","doi":"10.1007/978-3-030-30985-5_29","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_29","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"56 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113933759","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
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems 基于属性的通信系统编程与验证的系统方法
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 2019-10-09 DOI: 10.1007/978-3-030-30985-5_22
R. Nicola, T. Duong, Omar Inverso, F. Mazzanti
{"title":"A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems","authors":"R. Nicola, T. Duong, Omar Inverso, F. Mazzanti","doi":"10.1007/978-3-030-30985-5_22","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_22","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132822213","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
Single-Step and Asymptotic Mutual Information in Bipartite Boolean Nets 二部布尔网的单步和渐近互信息
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30985-5_30
T. Bolognesi
{"title":"Single-Step and Asymptotic Mutual Information in Bipartite Boolean Nets","authors":"T. Bolognesi","doi":"10.1007/978-3-030-30985-5_30","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_30","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"34 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":"126829136","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
The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back Stefania Gnesi的遗产——从软件工程到形式化方法和工具，再回来
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30985-5_1
M. T. Beek, A. Fantechi, L. Semini
{"title":"The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back","authors":"M. T. Beek, A. Fantechi, L. Semini","doi":"10.1007/978-3-030-30985-5_1","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_1","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"80 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":"123012361","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
On the Prediction of Smart Contracts' Behaviours 关于智能合约行为的预测
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30985-5_23
C. Laneve, C. Coen, Adele Veschetti
{"title":"On the Prediction of Smart Contracts' Behaviours","authors":"C. Laneve, C. Coen, Adele Veschetti","doi":"10.1007/978-3-030-30985-5_23","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_23","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"2 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":"125975021","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}
引用次数: 8
Formal Methods in Designing Critical Cyber-Physical Systems 设计关键信息物理系统的形式化方法
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30985-5_8
M. Askarpour, C. Ghezzi, D. Mandrioli, M. Rossi, Christos Tsigkanos
{"title":"Formal Methods in Designing Critical Cyber-Physical Systems","authors":"M. Askarpour, C. Ghezzi, D. Mandrioli, M. Rossi, Christos Tsigkanos","doi":"10.1007/978-3-030-30985-5_8","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_8","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":"121937105","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}
引用次数: 6
Comparing Results of Natural Language Disambiguation Tools with Reports of Manual Reviews of Safety-Related Standards 自然语言消歧工具的结果与安全相关标准人工评审报告的比较
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30985-5_15
I. Biscoglio, Attilio Ciancabilla, M. Fusani, G. Lami, G. Trentanni
{"title":"Comparing Results of Natural Language Disambiguation Tools with Reports of Manual Reviews of Safety-Related Standards","authors":"I. Biscoglio, Attilio Ciancabilla, M. Fusani, G. Lami, G. Trentanni","doi":"10.1007/978-3-030-30985-5_15","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_15","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"115 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":"133943157","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
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday 《从软件工程到形式化方法和工具》及《往后:献给Stefania Gnesi 65岁生日的文章》
From Software Engineering to Formal Methods and Tools, and Back Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30985-5
M. T. Beek, A. Fantechi, L. Semini
{"title":"From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday","authors":"M. T. Beek, A. Fantechi, L. Semini","doi":"10.1007/978-3-030-30985-5","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"01 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":"127332053","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
下一页 尾页
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学术官方微信