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

UML Satellite Activities最新文献

筛选
英文 中文
Towards a Platform for Debugging Executed UML-Models in Embedded Systems 嵌入式系统中已执行uml模型的调试平台
UML Satellite Activities Pub Date : 2004-10-11 DOI: 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}
引用次数: 3
Tailoring IEEE 1471 for MDE Support 裁剪IEEE 1471以支持MDE
UML Satellite Activities Pub Date : 2004-10-11 DOI: 10.1007/978-3-540-31797-5_17
E. Jouenne, V. Normand
{"title":"Tailoring IEEE 1471 for MDE Support","authors":"E. Jouenne, V. Normand","doi":"10.1007/978-3-540-31797-5_17","DOIUrl":"https://doi.org/10.1007/978-3-540-31797-5_17","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":"126613308","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
SVERTS - Specification and Validation of Real-Time and Embedded Systems 实时和嵌入式系统的规范和验证
UML Satellite Activities Pub Date : 2004-10-11 DOI: 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}
引用次数: 1
The TopModL Initiative TopModL计划
UML Satellite Activities Pub Date : 2004-10-11 DOI: 10.1007/978-3-540-31797-5_25
Pierre-Alain Muller, C. Dumoulin, Frédéric Fondement, M. Hassenforder
{"title":"The TopModL Initiative","authors":"Pierre-Alain Muller, C. Dumoulin, Frédéric Fondement, M. Hassenforder","doi":"10.1007/978-3-540-31797-5_25","DOIUrl":"https://doi.org/10.1007/978-3-540-31797-5_25","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":"131346484","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
Tools Exhibits 工具展品
UML Satellite Activities Pub Date : 2004-10-11 DOI: 10.1007/978-3-540-31797-5_34
A. Silva
{"title":"Tools Exhibits","authors":"A. Silva","doi":"10.1007/978-3-540-31797-5_34","DOIUrl":"https://doi.org/10.1007/978-3-540-31797-5_34","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":"132390704","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
Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop) 使用建模语言的关键系统开发(CSDUML-04):当前发展和未来挑战(第三届国际研讨会报告)
UML Satellite Activities Pub Date : 2004-10-11 DOI: 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}
引用次数: 7
OCL and Model Driven Engineering OCL和模型驱动工程
UML Satellite Activities Pub Date : 2004-10-11 DOI: 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}
引用次数: 4
Six Lessons Learned Using MDA 使用MDA的六个经验教训
UML Satellite Activities Pub Date : 2004-10-11 DOI: 10.1007/978-3-540-31797-5_20
S. Mellor, Leon Starr
{"title":"Six Lessons Learned Using MDA","authors":"S. Mellor, Leon Starr","doi":"10.1007/978-3-540-31797-5_20","DOIUrl":"https://doi.org/10.1007/978-3-540-31797-5_20","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":"133167103","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
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors 基于模型的错误检查代码和属性监视器的设计
UML Satellite Activities Pub Date : 2004-10-11 DOI: 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}
引用次数: 2
Managed Architecture of Existing Code as a Practical Transition Towards MDA 作为向MDA的实际过渡的现有代码的托管架构
UML Satellite Activities Pub Date : 2004-10-11 DOI: 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}
引用次数: 17
下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信