Pub Date : 2004-10-11DOI: 10.1007/978-3-540-31797-5_24
P. Graf, C. Reichmann, K. Müller-Glaser
{"title":"Towards a Platform for Debugging Executed UML-Models in Embedded Systems","authors":"P. Graf, C. Reichmann, K. Müller-Glaser","doi":"10.1007/978-3-540-31797-5_24","DOIUrl":"https://doi.org/10.1007/978-3-540-31797-5_24","url":null,"abstract":"","PeriodicalId":211960,"journal":{"name":"UML Satellite Activities","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2004-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115680961","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}
Pub Date : 2004-10-11DOI: 10.1007/978-3-540-31797-5_4
S. Graf, Øystein Haugen, I. Ober, B. Selić
{"title":"SVERTS - Specification and Validation of Real-Time and Embedded Systems","authors":"S. Graf, Øystein Haugen, I. Ober, B. Selić","doi":"10.1007/978-3-540-31797-5_4","DOIUrl":"https://doi.org/10.1007/978-3-540-31797-5_4","url":null,"abstract":"","PeriodicalId":211960,"journal":{"name":"UML Satellite Activities","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2004-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114263591","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}
Pub Date : 2004-10-11DOI: 10.1007/978-3-540-31797-5_9
J. Jürjens, E. Fernández, R. France, Bernhard Rumpe, C. Heitmeyer
{"title":"Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)","authors":"J. Jürjens, E. Fernández, R. France, Bernhard Rumpe, C. Heitmeyer","doi":"10.1007/978-3-540-31797-5_9","DOIUrl":"https://doi.org/10.1007/978-3-540-31797-5_9","url":null,"abstract":"","PeriodicalId":211960,"journal":{"name":"UML Satellite Activities","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2004-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129667473","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}
Pub Date : 2004-10-11DOI: 10.1007/978-3-540-31797-5_8
J. Bézivin, T. Baar, T. Gardner, Martin Gogolla, Reiner Hähnle, H. Hussmann, Octavian Patrascoiu, P. Schmitt, J. Warmer
{"title":"OCL and Model Driven Engineering","authors":"J. Bézivin, T. Baar, T. Gardner, Martin Gogolla, Reiner Hähnle, H. Hussmann, Octavian Patrascoiu, P. Schmitt, J. Warmer","doi":"10.1007/978-3-540-31797-5_8","DOIUrl":"https://doi.org/10.1007/978-3-540-31797-5_8","url":null,"abstract":"","PeriodicalId":211960,"journal":{"name":"UML Satellite Activities","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2004-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122486413","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}
Pub Date : 2004-10-11DOI: 10.1007/978-3-540-31797-5_16
L. Lavagno, M. Natale, A. Ferrari, P. Giusto
{"title":"SoftContract: Model-Based Design of Error-Checking Code and Property Monitors","authors":"L. Lavagno, M. Natale, A. Ferrari, P. Giusto","doi":"10.1007/978-3-540-31797-5_16","DOIUrl":"https://doi.org/10.1007/978-3-540-31797-5_16","url":null,"abstract":"","PeriodicalId":211960,"journal":{"name":"UML Satellite Activities","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2004-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114441473","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}
Pub Date : 2004-10-11DOI: 10.1007/978-3-540-31797-5_22
N. Mansurov, D. Campara
{"title":"Managed Architecture of Existing Code as a Practical Transition Towards MDA","authors":"N. Mansurov, D. Campara","doi":"10.1007/978-3-540-31797-5_22","DOIUrl":"https://doi.org/10.1007/978-3-540-31797-5_22","url":null,"abstract":"","PeriodicalId":211960,"journal":{"name":"UML Satellite Activities","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2004-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122647981","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号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：