Scenarios: Models, Transformations and Tools最新文献

筛选
英文 中文
Component Synthesis from Service Specifications 来自服务规范的组件合成
Scenarios: Models, Transformations and Tools Pub Date : 2003-09-07 DOI: 10.1007/11495628_14
Ingolf Krüger, Reena Mathew
{"title":"Component Synthesis from Service Specifications","authors":"Ingolf Krüger, Reena Mathew","doi":"10.1007/11495628_14","DOIUrl":"https://doi.org/10.1007/11495628_14","url":null,"abstract":"","PeriodicalId":432731,"journal":{"name":"Scenarios: Models, Transformations and Tools","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124273776","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}
引用次数: 34
From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System 从MSC到SDL:概述及其在自主穿梭运输系统中的应用
Scenarios: Models, Transformations and Tools Pub Date : 2003-09-07 DOI: 10.1007/11495628_13
F. Khendek, Xiao-Jun Zhang
{"title":"From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System","authors":"F. Khendek, Xiao-Jun Zhang","doi":"10.1007/11495628_13","DOIUrl":"https://doi.org/10.1007/11495628_13","url":null,"abstract":"","PeriodicalId":432731,"journal":{"name":"Scenarios: Models, Transformations and Tools","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121177054","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}
引用次数: 13
Traceability and Evaluation in Scenario Analysis by Use Case Maps 用例图在场景分析中的可追溯性和评估
Scenarios: Models, Transformations and Tools Pub Date : 2003-09-07 DOI: 10.1007/11495628_8
D. Petriu, Daniel Amyot, C. Woodside, Bo Jiang
{"title":"Traceability and Evaluation in Scenario Analysis by Use Case Maps","authors":"D. Petriu, Daniel Amyot, C. Woodside, Bo Jiang","doi":"10.1007/11495628_8","DOIUrl":"https://doi.org/10.1007/11495628_8","url":null,"abstract":"","PeriodicalId":432731,"journal":{"name":"Scenarios: Models, Transformations and Tools","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126973665","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}
引用次数: 17
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models 参数化实时UML模型的多场景模式综合
Scenarios: Models, Transformations and Tools Pub Date : 2003-09-07 DOI: 10.1007/11495628_11
H. Giese, F. Klein, Sven Burmester
{"title":"Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models","authors":"H. Giese, F. Klein, Sven Burmester","doi":"10.1007/11495628_11","DOIUrl":"https://doi.org/10.1007/11495628_11","url":null,"abstract":"","PeriodicalId":432731,"journal":{"name":"Scenarios: Models, Transformations and Tools","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117077288","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}
引用次数: 10
Scenario-Based Statistical Testing of Quality of Service Requirements 基于场景的服务质量需求统计测试
Scenarios: Models, Transformations and Tools Pub Date : 2003-09-07 DOI: 10.1007/11495628_9
Matthias Beyer, W. Dulz
{"title":"Scenario-Based Statistical Testing of Quality of Service Requirements","authors":"Matthias Beyer, W. Dulz","doi":"10.1007/11495628_9","DOIUrl":"https://doi.org/10.1007/11495628_9","url":null,"abstract":"","PeriodicalId":432731,"journal":{"name":"Scenarios: Models, Transformations and Tools","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115096105","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}
引用次数: 10
Lightweight Formal Methods for Scenario-Based Software Engineering 基于场景的软件工程的轻量级形式化方法
Scenarios: Models, Transformations and Tools Pub Date : 2003-09-07 DOI: 10.1007/11495628_10
Y. Bontemps, P. Heymans, Pierre-Yves Schobbens
{"title":"Lightweight Formal Methods for Scenario-Based Software Engineering","authors":"Y. Bontemps, P. Heymans, Pierre-Yves Schobbens","doi":"10.1007/11495628_10","DOIUrl":"https://doi.org/10.1007/11495628_10","url":null,"abstract":"","PeriodicalId":432731,"journal":{"name":"Scenarios: Models, Transformations and Tools","volume":"34 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120925274","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}
引用次数: 13
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach 从使用LSCs和Play-In/Play-Out方法的经验中得出的一些方法观察
Scenarios: Models, Transformations and Tools Pub Date : 2003-09-07 DOI: 10.1007/11495628_2
D. Harel, H. Kugler, Gera Weiss
{"title":"Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach","authors":"D. Harel, H. Kugler, Gera Weiss","doi":"10.1007/11495628_2","DOIUrl":"https://doi.org/10.1007/11495628_2","url":null,"abstract":"","PeriodicalId":432731,"journal":{"name":"Scenarios: Models, Transformations and Tools","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128510692","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}
引用次数: 23
Why Timed Sequence Diagrams Require Three-Event Semantics 为什么时间序列图需要三事件语义
Scenarios: Models, Transformations and Tools Pub Date : 2003-09-07 DOI: 10.1007/11495628_1
Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, K. Stølen
{"title":"Why Timed Sequence Diagrams Require Three-Event Semantics","authors":"Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, K. Stølen","doi":"10.1007/11495628_1","DOIUrl":"https://doi.org/10.1007/11495628_1","url":null,"abstract":"","PeriodicalId":432731,"journal":{"name":"Scenarios: Models, Transformations and Tools","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122133576","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}
引用次数: 59
Applying Story Driven Modeling to the Paderborn Shuttle System Case Study 故事驱动建模在帕德伯恩航天飞机系统案例研究中的应用
Scenarios: Models, Transformations and Tools Pub Date : 2003-09-07 DOI: 10.1007/11495628_7
I. Diethelm, Leif Geiger, Albert Zündorf
{"title":"Applying Story Driven Modeling to the Paderborn Shuttle System Case Study","authors":"I. Diethelm, Leif Geiger, Albert Zündorf","doi":"10.1007/11495628_7","DOIUrl":"https://doi.org/10.1007/11495628_7","url":null,"abstract":"","PeriodicalId":432731,"journal":{"name":"Scenarios: Models, Transformations and Tools","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124119037","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}
引用次数: 10
Partial Order Semantics of Sequence Diagrams for Mobility 可移动性序列图的偏序语义
Scenarios: Models, Transformations and Tools Pub Date : 2003-09-07 DOI: 10.1007/11495628_12
P. Kosiuczenko
{"title":"Partial Order Semantics of Sequence Diagrams for Mobility","authors":"P. Kosiuczenko","doi":"10.1007/11495628_12","DOIUrl":"https://doi.org/10.1007/11495628_12","url":null,"abstract":"","PeriodicalId":432731,"journal":{"name":"Scenarios: Models, Transformations and Tools","volume":"584 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134499969","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学术官方微信