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

SoftSpez Final Report最新文献

筛选
英文 中文
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks 移动自组织网络边缘路由器发现协议的规范与验证
SoftSpez Final Report Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-27863-4_15
L. Kristensen, K. Jensen
{"title":"Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks","authors":"L. Kristensen, K. Jensen","doi":"10.1007/978-3-540-27863-4_15","DOIUrl":"https://doi.org/10.1007/978-3-540-27863-4_15","url":null,"abstract":"","PeriodicalId":285032,"journal":{"name":"SoftSpez Final Report","volume":"BC-30 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":"126719857","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}
引用次数: 58
STOP - Specification Technique of Operational Processes 停止-操作过程规范技术
SoftSpez Final Report Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-27863-4_14
S. Einer
{"title":"STOP - Specification Technique of Operational Processes","authors":"S. Einer","doi":"10.1007/978-3-540-27863-4_14","DOIUrl":"https://doi.org/10.1007/978-3-540-27863-4_14","url":null,"abstract":"","PeriodicalId":285032,"journal":{"name":"SoftSpez Final Report","volume":"7 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":"128023496","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
Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems 规范方法，案例研究和实验-交通控制系统主题领域的介绍
SoftSpez Final Report Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-27863-4_7
E. Schnieder
{"title":"Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems","authors":"E. Schnieder","doi":"10.1007/978-3-540-27863-4_7","DOIUrl":"https://doi.org/10.1007/978-3-540-27863-4_7","url":null,"abstract":"","PeriodicalId":285032,"journal":{"name":"SoftSpez Final Report","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":"132065185","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
Interactive Verification of Statecharts 状态图的交互式验证
SoftSpez Final Report Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-27863-4_20
A. Thums, G. Schellhorn, F. Ortmeier, W. Reif
{"title":"Interactive Verification of Statecharts","authors":"A. Thums, G. Schellhorn, F. Ortmeier, W. Reif","doi":"10.1007/978-3-540-27863-4_20","DOIUrl":"https://doi.org/10.1007/978-3-540-27863-4_20","url":null,"abstract":"","PeriodicalId":285032,"journal":{"name":"SoftSpez Final Report","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":"126917206","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}
引用次数: 37
An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems 支持柔性生产控制系统集成开发的工程师工作站
SoftSpez Final Report Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-27863-4_5
Wilhelm Schäfer, Robert Wagner, J. Gausemeier, Raimund Eckes
{"title":"An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems","authors":"Wilhelm Schäfer, Robert Wagner, J. Gausemeier, Raimund Eckes","doi":"10.1007/978-3-540-27863-4_5","DOIUrl":"https://doi.org/10.1007/978-3-540-27863-4_5","url":null,"abstract":"","PeriodicalId":285032,"journal":{"name":"SoftSpez Final Report","volume":"520 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":"122604843","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}
引用次数: 24
Development of Hierarchical Broadcasting Software Architectures Using UML 2.0 使用UML 2.0开发分层广播软件体系结构
SoftSpez Final Report Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-27863-4_4
Ingolf Krüger, Wolfgang Prenninger, R. Sandner, M. Broy
{"title":"Development of Hierarchical Broadcasting Software Architectures Using UML 2.0","authors":"Ingolf Krüger, Wolfgang Prenninger, R. Sandner, M. Broy","doi":"10.1007/978-3-540-27863-4_4","DOIUrl":"https://doi.org/10.1007/978-3-540-27863-4_4","url":null,"abstract":"","PeriodicalId":285032,"journal":{"name":"SoftSpez Final Report","volume":"66 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":"121675086","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}
引用次数: 5
Combining Formal Methods and Safety Analysis - The ForMoSA Approach 形式化方法与安全分析的结合-福尔摩沙方法
SoftSpez Final Report Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-27863-4_26
F. Ortmeier, A. Thums, G. Schellhorn, W. Reif
{"title":"Combining Formal Methods and Safety Analysis - The ForMoSA Approach","authors":"F. Ortmeier, A. Thums, G. Schellhorn, W. Reif","doi":"10.1007/978-3-540-27863-4_26","DOIUrl":"https://doi.org/10.1007/978-3-540-27863-4_26","url":null,"abstract":"","PeriodicalId":285032,"journal":{"name":"SoftSpez Final Report","volume":"6 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":"114261039","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}
引用次数: 35
Specification and Formal Verification of Temporal Properties of Production Automation Systems 生产自动化系统时间特性的规范和形式化验证
SoftSpez Final Report Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-27863-4_13
S. Flake, W. Müller, Ulrich Pape, Jürgen Ruf
{"title":"Specification and Formal Verification of Temporal Properties of Production Automation Systems","authors":"S. Flake, W. Müller, Ulrich Pape, Jürgen Ruf","doi":"10.1007/978-3-540-27863-4_13","DOIUrl":"https://doi.org/10.1007/978-3-540-27863-4_13","url":null,"abstract":"","PeriodicalId":285032,"journal":{"name":"SoftSpez Final Report","volume":"44 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":"132171177","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
On the Integration of Modular Heterogeneous Specifications 模块化异构规范集成研究
SoftSpez Final Report Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-27863-4_31
F. Orejas, E. Pino
{"title":"On the Integration of Modular Heterogeneous Specifications","authors":"F. Orejas, E. Pino","doi":"10.1007/978-3-540-27863-4_31","DOIUrl":"https://doi.org/10.1007/978-3-540-27863-4_31","url":null,"abstract":"","PeriodicalId":285032,"journal":{"name":"SoftSpez Final Report","volume":"10 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":"133528726","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
Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements 用UML符号和安全需求规范精确定义无线电操作中的单轨平交
SoftSpez Final Report Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-27863-4_9
Saeid Arabestani, F. Bitsch, J. Gayen
{"title":"Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements","authors":"Saeid Arabestani, F. Bitsch, J. Gayen","doi":"10.1007/978-3-540-27863-4_9","DOIUrl":"https://doi.org/10.1007/978-3-540-27863-4_9","url":null,"abstract":"","PeriodicalId":285032,"journal":{"name":"SoftSpez Final Report","volume":"19 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":"115611440","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
首页 上一页 下一页 尾页
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学术官方微信