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

International Workshop on Structured Object-Oriented Formal Language and Method最新文献

筛选
英文 中文
Development of a Supporting Tool for Formalizing Software Requirements 开发一种形式化软件需求的支持工具
International Workshop on Structured Object-Oriented Formal Language and Method Pub Date : 2012-11-13 DOI: 10.1007/978-3-642-39277-1_5
Xi Wang, Shaoying Liu
{"title":"Development of a Supporting Tool for Formalizing Software Requirements","authors":"Xi Wang, Shaoying Liu","doi":"10.1007/978-3-642-39277-1_5","DOIUrl":"https://doi.org/10.1007/978-3-642-39277-1_5","url":null,"abstract":"","PeriodicalId":382747,"journal":{"name":"International Workshop on Structured Object-Oriented Formal Language and Method","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121560133","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
Abstract Model Checking with SOFL Hierarchy 基于SOFL层次结构的模型检验
International Workshop on Structured Object-Oriented Formal Language and Method Pub Date : 2012-11-13 DOI: 10.1007/978-3-642-39277-1_6
Cong Tian, Shaoying Liu, Zhenhua Duan
{"title":"Abstract Model Checking with SOFL Hierarchy","authors":"Cong Tian, Shaoying Liu, Zhenhua Duan","doi":"10.1007/978-3-642-39277-1_6","DOIUrl":"https://doi.org/10.1007/978-3-642-39277-1_6","url":null,"abstract":"","PeriodicalId":382747,"journal":{"name":"International Workshop on Structured Object-Oriented Formal Language and Method","volume":"11 8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123874890","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
Design and Implementation of a Tool for Specifying Specification in SOFL SOFL中规范指定工具的设计与实现
International Workshop on Structured Object-Oriented Formal Language and Method Pub Date : 2012-11-13 DOI: 10.1007/978-3-642-39277-1_4
Mo Li, Shaoying Liu
{"title":"Design and Implementation of a Tool for Specifying Specification in SOFL","authors":"Mo Li, Shaoying Liu","doi":"10.1007/978-3-642-39277-1_4","DOIUrl":"https://doi.org/10.1007/978-3-642-39277-1_4","url":null,"abstract":"","PeriodicalId":382747,"journal":{"name":"International Workshop on Structured Object-Oriented Formal Language and Method","volume":"71 7","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114133056","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
Model Checking C Programs with MSVL 用MSVL检查C程序的模型
International Workshop on Structured Object-Oriented Formal Language and Method Pub Date : 2012-11-13 DOI: 10.1007/978-3-642-39277-1_7
Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang
{"title":"Model Checking C Programs with MSVL","authors":"Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang","doi":"10.1007/978-3-642-39277-1_7","DOIUrl":"https://doi.org/10.1007/978-3-642-39277-1_7","url":null,"abstract":"","PeriodicalId":382747,"journal":{"name":"International Workshop on Structured Object-Oriented Formal Language and Method","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126340976","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
An Application of SOFL for Rapid Prototyping SOFL在快速成型中的应用
International Workshop on Structured Object-Oriented Formal Language and Method Pub Date : 2012-11-13 DOI: 10.1007/978-3-642-39277-1_8
Fumiko Nagoya, T. Kitagawa
{"title":"An Application of SOFL for Rapid Prototyping","authors":"Fumiko Nagoya, T. Kitagawa","doi":"10.1007/978-3-642-39277-1_8","DOIUrl":"https://doi.org/10.1007/978-3-642-39277-1_8","url":null,"abstract":"","PeriodicalId":382747,"journal":{"name":"International Workshop on Structured Object-Oriented Formal Language and Method","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130530407","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
Applying SOFL to a Generic Insulin Pump Software Design SOFL在通用胰岛素泵软件设计中的应用
International Workshop on Structured Object-Oriented Formal Language and Method Pub Date : 2012-11-13 DOI: 10.1007/978-3-642-39277-1_9
Chung-Ling Ling, Wuwei Shen, D. Kountanis
{"title":"Applying SOFL to a Generic Insulin Pump Software Design","authors":"Chung-Ling Ling, Wuwei Shen, D. Kountanis","doi":"10.1007/978-3-642-39277-1_9","DOIUrl":"https://doi.org/10.1007/978-3-642-39277-1_9","url":null,"abstract":"","PeriodicalId":382747,"journal":{"name":"International Workshop on Structured Object-Oriented Formal Language and Method","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127450572","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
Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing “基于功能场景”的测试用例生成方法在单元测试和集成测试中的应用
International Workshop on Structured Object-Oriented Formal Language and Method Pub Date : 2012-11-13 DOI: 10.1007/978-3-642-39277-1_1
Cencen Li, Mo Li, Shaoying Liu, S. Nakajima
{"title":"Applying \"Functional Scenario-Based\" Test Case Generation Method in Unit Testing and Integration Testing","authors":"Cencen Li, Mo Li, Shaoying Liu, S. Nakajima","doi":"10.1007/978-3-642-39277-1_1","DOIUrl":"https://doi.org/10.1007/978-3-642-39277-1_1","url":null,"abstract":"","PeriodicalId":382747,"journal":{"name":"International Workshop on Structured Object-Oriented Formal Language and Method","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131084706","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
Extension on Transactional Remote Services in SOFL SOFL中事务性远程服务的扩展
International Workshop on Structured Object-Oriented Formal Language and Method Pub Date : 2012-11-13 DOI: 10.1007/978-3-642-39277-1_10
Yisheng Wang, Hao-peng Chen
{"title":"Extension on Transactional Remote Services in SOFL","authors":"Yisheng Wang, Hao-peng Chen","doi":"10.1007/978-3-642-39277-1_10","DOIUrl":"https://doi.org/10.1007/978-3-642-39277-1_10","url":null,"abstract":"","PeriodicalId":382747,"journal":{"name":"International Workshop on Structured Object-Oriented Formal Language and Method","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133304746","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 Formal Specification-Based Integration Testing Approach 正式的基于规范的集成测试方法
International Workshop on Structured Object-Oriented Formal Language and Method Pub Date : 2012-11-13 DOI: 10.1007/978-3-642-39277-1_3
Weikai Miao, Shaoying Liu
{"title":"A Formal Specification-Based Integration Testing Approach","authors":"Weikai Miao, Shaoying Liu","doi":"10.1007/978-3-642-39277-1_3","DOIUrl":"https://doi.org/10.1007/978-3-642-39277-1_3","url":null,"abstract":"","PeriodicalId":382747,"journal":{"name":"International Workshop on Structured Object-Oriented Formal Language and Method","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133840828","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
Supporting Tool for Automatic Specification-Based Test Case Generation 支持自动基于规格的测试用例生成的工具
International Workshop on Structured Object-Oriented Formal Language and Method Pub Date : 2012-11-13 DOI: 10.1007/978-3-642-39277-1_2
Weihang Zhang, Shaoying Liu
{"title":"Supporting Tool for Automatic Specification-Based Test Case Generation","authors":"Weihang Zhang, Shaoying Liu","doi":"10.1007/978-3-642-39277-1_2","DOIUrl":"https://doi.org/10.1007/978-3-642-39277-1_2","url":null,"abstract":"","PeriodicalId":382747,"journal":{"name":"International Workshop on Structured Object-Oriented Formal Language and Method","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128764167","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
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学术官方微信