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

Industrial Deployment of System Engineering Methods最新文献

筛选
英文 中文
Experience of Deploying Event-B in Industrial Microprocessor Development Event-B在工业微处理器开发中的应用经验
Industrial Deployment of System Engineering Methods Pub Date : 2013-07-01 DOI: 10.1007/978-3-642-33170-1_9
Stephen Wright, K. Eder
{"title":"Experience of Deploying Event-B in Industrial Microprocessor Development","authors":"Stephen Wright, K. Eder","doi":"10.1007/978-3-642-33170-1_9","DOIUrl":"https://doi.org/10.1007/978-3-642-33170-1_9","url":null,"abstract":"","PeriodicalId":249737,"journal":{"name":"Industrial Deployment of System Engineering Methods","volume":"6 1-2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124048218","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
Formal Methods as an Improvement Tool 作为改进工具的形式化方法
Industrial Deployment of System Engineering Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-33170-1_7
Aryldo G. Russo
{"title":"Formal Methods as an Improvement Tool","authors":"Aryldo G. Russo","doi":"10.1007/978-3-642-33170-1_7","DOIUrl":"https://doi.org/10.1007/978-3-642-33170-1_7","url":null,"abstract":"","PeriodicalId":249737,"journal":{"name":"Industrial Deployment of System Engineering Methods","volume":"40 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":"129128315","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
After and Outside DEPLOY: The DEPLOY Ecosystem 部署前后:部署生态系统
Industrial Deployment of System Engineering Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-33170-1_14
A. Romanovsky
{"title":"After and Outside DEPLOY: The DEPLOY Ecosystem","authors":"A. Romanovsky","doi":"10.1007/978-3-642-33170-1_14","DOIUrl":"https://doi.org/10.1007/978-3-642-33170-1_14","url":null,"abstract":"","PeriodicalId":249737,"journal":{"name":"Industrial Deployment of System Engineering Methods","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":"125555017","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
Deployment in the Space Sector 在空间部门的部署
Industrial Deployment of System Engineering Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-33170-1_5
D. Ilic, L. Laibinis, T. Latvala, E. Troubitsyna, K. Varpaaniemi
{"title":"Deployment in the Space Sector","authors":"D. Ilic, L. Laibinis, T. Latvala, E. Troubitsyna, K. Varpaaniemi","doi":"10.1007/978-3-642-33170-1_5","DOIUrl":"https://doi.org/10.1007/978-3-642-33170-1_5","url":null,"abstract":"","PeriodicalId":249737,"journal":{"name":"Industrial Deployment of System Engineering Methods","volume":"154 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":"121261945","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
Industrial Software Engineering and Formal Methods 工业软件工程和形式化方法
Industrial Deployment of System Engineering Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-33170-1_15
Martyn Thomas, A. Romanovsky
{"title":"Industrial Software Engineering and Formal Methods","authors":"Martyn Thomas, A. Romanovsky","doi":"10.1007/978-3-642-33170-1_15","DOIUrl":"https://doi.org/10.1007/978-3-642-33170-1_15","url":null,"abstract":"","PeriodicalId":249737,"journal":{"name":"Industrial Deployment of System Engineering Methods","volume":"14 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":"126452278","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
Experience of Deployment in the Automotive Industry 有在汽车行业部署的经验
Industrial Deployment of System Engineering Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-33170-1_3
Rainer Gmehlich, Cliff B. Jones
{"title":"Experience of Deployment in the Automotive Industry","authors":"Rainer Gmehlich, Cliff B. Jones","doi":"10.1007/978-3-642-33170-1_3","DOIUrl":"https://doi.org/10.1007/978-3-642-33170-1_3","url":null,"abstract":"","PeriodicalId":249737,"journal":{"name":"Industrial Deployment of System Engineering Methods","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":"126902642","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
Improving Railway Data Validation with ProB 利用probb改进铁路数据验证
Industrial Deployment of System Engineering Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-33170-1_4
Jérôme Falampin, Hung Le-Dang, M. Leuschel, Mikael Mokrani, Daniel Plagge
{"title":"Improving Railway Data Validation with ProB","authors":"Jérôme Falampin, Hung Le-Dang, M. Leuschel, Mikael Mokrani, Daniel Plagge","doi":"10.1007/978-3-642-33170-1_4","DOIUrl":"https://doi.org/10.1007/978-3-642-33170-1_4","url":null,"abstract":"","PeriodicalId":249737,"journal":{"name":"Industrial Deployment of System Engineering Methods","volume":"15 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":"132657332","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
Integrated Project DEPLOY 集成项目部署
Industrial Deployment of System Engineering Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-33170-1_2
A. Romanovsky
{"title":"Integrated Project DEPLOY","authors":"A. Romanovsky","doi":"10.1007/978-3-642-33170-1_2","DOIUrl":"https://doi.org/10.1007/978-3-642-33170-1_2","url":null,"abstract":"","PeriodicalId":249737,"journal":{"name":"Industrial Deployment of System Engineering Methods","volume":"88 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":"121478157","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
Business Information Sector 商业资讯组
Industrial Deployment of System Engineering Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-33170-1_6
S. Wieczorek, V. Kozyura, Wei Wei, A. Roth, Alin Stefanescu
{"title":"Business Information Sector","authors":"S. Wieczorek, V. Kozyura, Wei Wei, A. Roth, Alin Stefanescu","doi":"10.1007/978-3-642-33170-1_6","DOIUrl":"https://doi.org/10.1007/978-3-642-33170-1_6","url":null,"abstract":"","PeriodicalId":249737,"journal":{"name":"Industrial Deployment of System Engineering Methods","volume":"4 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":"123334229","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
Critical Software Technologies' Experience with Formal Methods 关键软件技术使用形式化方法的经验
Industrial Deployment of System Engineering Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-33170-1_8
Alex Hill, J. Reis, P. Carvalho
{"title":"Critical Software Technologies' Experience with Formal Methods","authors":"Alex Hill, J. Reis, P. Carvalho","doi":"10.1007/978-3-642-33170-1_8","DOIUrl":"https://doi.org/10.1007/978-3-642-33170-1_8","url":null,"abstract":"","PeriodicalId":249737,"journal":{"name":"Industrial Deployment of System Engineering Methods","volume":"4 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":"125445999","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学术文献互助群
群 号：604180095
Book学术官方微信