{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}