{"title":"Component Behavior Synthesis for Critical Systems","authors":"Stefan Henkler, T. Eckardt","doi":"10.1007/978-3-642-13556-9_4","DOIUrl":"https://doi.org/10.1007/978-3-642-13556-9_4","url":null,"abstract":"","PeriodicalId":354295,"journal":{"name":"Model-Based Development of Embedded Systems","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133034073","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}
M. Fränzle, Tayfun Gezgin, H. Hungar, Stefan Puch, G. Sauter
{"title":"Using Guided Simulation to Assess Driver Assistance Systems","authors":"M. Fränzle, Tayfun Gezgin, H. Hungar, Stefan Puch, G. Sauter","doi":"10.1007/978-3-642-14261-1_20","DOIUrl":"https://doi.org/10.1007/978-3-642-14261-1_20","url":null,"abstract":"","PeriodicalId":354295,"journal":{"name":"Model-Based Development of Embedded Systems","volume":"16 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":"133040139","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":"Effizientes Erstellen von Simulink Modellen mit Hilfe eines Spezifisch angepassten Layoutalgorithmus","authors":"Lars-Kristian Klauske, Christian Dziobek","doi":"10.14279/DEPOSITONCE-3379","DOIUrl":"https://doi.org/10.14279/DEPOSITONCE-3379","url":null,"abstract":"","PeriodicalId":354295,"journal":{"name":"Model-Based Development of Embedded Systems","volume":"11 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":"127418184","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":"Von Use Cases zu Test Cases: Eine systematische Vorgehensweise","authors":"Mario Friske, Holger Schlingloff","doi":"10.18452/9153","DOIUrl":"https://doi.org/10.18452/9153","url":null,"abstract":"Anwendungsfalle (Use Cases) dienen oftmals nicht nur als Grundlage fur den Systementwurf, sondern auch fur Systemund Abnahmetests. Die Ableitung der Testfalle geschieht jedoch oft intuitiv und unsystematisch. In dieser Arbeit beschreiben wir eine Methode zur systematischen Erzeugung von Testfallen aus Anwendungsfallen. In einem ersten Schritt wird der semantische Bezug zwischen Use Case Elementen und Systemfunktionen hergestellt. In einem zweiten Schritt werden die Use Cases aufbereitet und in AktivitatsDiagramme uberfuhrt, die dann mit automatischen Testgenerierungswerkzeugen weiter verarbeitet werden konnen. Im Gegensatz zu Ansatzen, die auf der vollautomatischen Analyse naturlicher Sprache basieren, erlaubt unsere Vorgehensweise, alle normalerweise benotigten Sprachelemente zu verwenden. Im Gegensatz zu informellen oder leitfadenbasierten Methoden kann unsere Methode gut durch automatisierte Werkzeuge unterstutzt werden.","PeriodicalId":354295,"journal":{"name":"Model-Based Development of Embedded Systems","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":"124912789","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}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
