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

Formal Verification of Object-Oriented Software最新文献

筛选
英文 中文
A K-Based Formal Framework for Domain-Specific Modelling Languages 基于领域特定建模语言的形式化框架
Formal Verification of Object-Oriented Software Pub Date : 2011-10-05 DOI: 10.1007/978-3-642-31762-0_14
Vlad Rusu, D. Lucanu
{"title":"A K-Based Formal Framework for Domain-Specific Modelling Languages","authors":"Vlad Rusu, D. Lucanu","doi":"10.1007/978-3-642-31762-0_14","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_14","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"709 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133433023","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}
引用次数: 14
The Practical Application of Formal Methods: Where Is the Benefit for Industry? 形式方法的实际应用:对工业的好处在哪里?
Formal Verification of Object-Oriented Software Pub Date : 2011-10-05 DOI: 10.1007/978-3-642-31762-0_3
James J. Hunt
{"title":"The Practical Application of Formal Methods: Where Is the Benefit for Industry?","authors":"James J. Hunt","doi":"10.1007/978-3-642-31762-0_3","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_3","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130498602","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
Isolation Types and Multi-core Architectures 隔离类型和多核架构
Formal Verification of Object-Oriented Software Pub Date : 2011-10-05 DOI: 10.1007/978-3-642-31762-0_4
A. Mycroft
{"title":"Isolation Types and Multi-core Architectures","authors":"A. Mycroft","doi":"10.1007/978-3-642-31762-0_4","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_4","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131915069","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
A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems 面向对象分布式系统建模与分析的概率框架
Formal Verification of Object-Oriented Software Pub Date : 2011-10-05 DOI: 10.1007/978-3-642-31762-0_8
L. Bentea, Olaf Owe
{"title":"A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems","authors":"L. Bentea, Olaf Owe","doi":"10.1007/978-3-642-31762-0_8","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_8","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131677696","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
Modeling and Analyzing the Interaction of C and C++ Strings C与c++字符串交互的建模与分析
Formal Verification of Object-Oriented Software Pub Date : 2011-10-05 DOI: 10.1007/978-3-642-31762-0_6
Gogul Balakrishnan, Naoto Maeda, S. Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil
{"title":"Modeling and Analyzing the Interaction of C and C++ Strings","authors":"Gogul Balakrishnan, Naoto Maeda, S. Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil","doi":"10.1007/978-3-642-31762-0_6","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_6","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114681684","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
Modular Verification of Object-Based Programs - Abstract of Invited Talk 面向对象程序的模块化验证-讲座摘要
Formal Verification of Object-Oriented Software Pub Date : 2011-10-05 DOI: 10.1007/978-3-642-31762-0_1
A. Banerjee
{"title":"Modular Verification of Object-Based Programs - Abstract of Invited Talk","authors":"A. Banerjee","doi":"10.1007/978-3-642-31762-0_1","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_1","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130489246","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
Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification 多线程程序的特定调度器机密性及其基于逻辑的验证
Formal Verification of Object-Oriented Software Pub Date : 2011-10-05 DOI: 10.1007/978-3-642-31762-0_12
M. Huisman, T. Ngo
{"title":"Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification","authors":"M. Huisman, T. Ngo","doi":"10.1007/978-3-642-31762-0_12","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_12","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115482094","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}
引用次数: 22
Juggrnaut - An Abstract JVM 一个抽象的JVM
Formal Verification of Object-Oriented Software Pub Date : 2011-10-05 DOI: 10.1007/978-3-642-31762-0_10
J. Heinen, Henrik Barthels, Christina Jansen
{"title":"Juggrnaut - An Abstract JVM","authors":"J. Heinen, Henrik Barthels, Christina Jansen","doi":"10.1007/978-3-642-31762-0_10","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_10","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115835224","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
Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study 使用HATS方法建模可适应的分布式面向对象系统:一个Fredhopper的案例研究
Formal Verification of Object-Oriented Software Pub Date : 2011-10-05 DOI: 10.1007/978-3-642-31762-0_5
Peter Y. H. Wong, N. Diakov, Ina Schaefer
{"title":"Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study","authors":"Peter Y. H. Wong, N. Diakov, Ina Schaefer","doi":"10.1007/978-3-642-31762-0_5","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_5","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114309487","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
Integration of Bounded Model Checking and Deductive Verification 有界模型检验与演绎验证的集成
Formal Verification of Object-Oriented Software Pub Date : 2011-10-05 DOI: 10.1007/978-3-642-31762-0_7
Bernhard Beckert, Thorsten Bormer, Florian Merz, C. Sinz
{"title":"Integration of Bounded Model Checking and Deductive Verification","authors":"Bernhard Beckert, Thorsten Bormer, Florian Merz, C. Sinz","doi":"10.1007/978-3-642-31762-0_7","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_7","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129966536","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学术文献互助群
群 号：604180095
Book学术官方微信