International Conference on the Unified Modeling Language最新文献

筛选
英文 中文
Deductive Verification of UML Models in TLPVS tlpv中UML模型的演绎验证
International Conference on the Unified Modeling Language Pub Date : 2004-10-11 DOI: 10.1007/978-3-540-30187-5_24
T. Arons, J. Hooman, H. Kugler, A. Pnueli, M. V. D. Zwaag
{"title":"Deductive Verification of UML Models in TLPVS","authors":"T. Arons, J. Hooman, H. Kugler, A. Pnueli, M. V. D. Zwaag","doi":"10.1007/978-3-540-30187-5_24","DOIUrl":"https://doi.org/10.1007/978-3-540-30187-5_24","url":null,"abstract":"","PeriodicalId":253579,"journal":{"name":"International Conference on the Unified Modeling Language","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133178128","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}
引用次数: 22
Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications 使用基于UML的特征模型和UML协作图对基于web的应用程序进行信息建模
International Conference on the Unified Modeling Language Pub Date : 2004-10-11 DOI: 10.1007/978-3-540-30187-5_30
Peter Dolog, W. Nejdl
{"title":"Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications","authors":"Peter Dolog, W. Nejdl","doi":"10.1007/978-3-540-30187-5_30","DOIUrl":"https://doi.org/10.1007/978-3-540-30187-5_30","url":null,"abstract":"","PeriodicalId":253579,"journal":{"name":"International Conference on the Unified Modeling Language","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122731881","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
Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time UML概要文件的可调度性、性能和时间的实验性评估
International Conference on the Unified Modeling Language Pub Date : 2004-10-11 DOI: 10.1007/978-3-540-30187-5_11
Andrew J. Bennett, T. Field, C. Woodside
{"title":"Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time","authors":"Andrew J. Bennett, T. Field, C. Woodside","doi":"10.1007/978-3-540-30187-5_11","DOIUrl":"https://doi.org/10.1007/978-3-540-30187-5_11","url":null,"abstract":"","PeriodicalId":253579,"journal":{"name":"International Conference on the Unified Modeling Language","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128310860","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}
引用次数: 31
A Metamodel for Generating Performance Models from UML Designs 从UML设计中生成性能模型的元模型
International Conference on the Unified Modeling Language Pub Date : 2004-10-11 DOI: 10.1007/978-3-540-30187-5_4
D. Petriu, C. Woodside
{"title":"A Metamodel for Generating Performance Models from UML Designs","authors":"D. Petriu, C. Woodside","doi":"10.1007/978-3-540-30187-5_4","DOIUrl":"https://doi.org/10.1007/978-3-540-30187-5_4","url":null,"abstract":"","PeriodicalId":253579,"journal":{"name":"International Conference on the Unified Modeling Language","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121981815","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}
引用次数: 67
Modeling Business Processes in Web Applications with ArgoUWE 使用ArgoUWE在Web应用程序中建模业务流程
International Conference on the Unified Modeling Language Pub Date : 2004-10-11 DOI: 10.1007/978-3-540-30187-5_6
Alexander Knapp, N. Koch, Gefei Zhang, Hanns-Martin Hassler
{"title":"Modeling Business Processes in Web Applications with ArgoUWE","authors":"Alexander Knapp, N. Koch, Gefei Zhang, Hanns-Martin Hassler","doi":"10.1007/978-3-540-30187-5_6","DOIUrl":"https://doi.org/10.1007/978-3-540-30187-5_6","url":null,"abstract":"","PeriodicalId":253579,"journal":{"name":"International Conference on the Unified Modeling Language","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115559893","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}
引用次数: 49
Model Composition Directives 模型组合指令
International Conference on the Unified Modeling Language Pub Date : 2004-10-11 DOI: 10.1007/978-3-540-30187-5_7
Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, R. France, J. Bieman
{"title":"Model Composition Directives","authors":"Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, R. France, J. Bieman","doi":"10.1007/978-3-540-30187-5_7","DOIUrl":"https://doi.org/10.1007/978-3-540-30187-5_7","url":null,"abstract":"","PeriodicalId":253579,"journal":{"name":"International Conference on the Unified Modeling Language","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122809310","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}
引用次数: 87
Empirically Driven Use Case Metamodel Evolution 经验驱动的用例元模型演化
International Conference on the Unified Modeling Language Pub Date : 2004-10-11 DOI: 10.1007/978-3-540-30187-5_1
A. Durán, B. Bernárdez, M. Genero, M. Piattini
{"title":"Empirically Driven Use Case Metamodel Evolution","authors":"A. Durán, B. Bernárdez, M. Genero, M. Piattini","doi":"10.1007/978-3-540-30187-5_1","DOIUrl":"https://doi.org/10.1007/978-3-540-30187-5_1","url":null,"abstract":"","PeriodicalId":253579,"journal":{"name":"International Conference on the Unified Modeling Language","volume":"414 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131727924","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}
引用次数: 8
Automated Verification of UMLsec Models for Security Requirements 安全需求的UMLsec模型的自动验证
International Conference on the Unified Modeling Language Pub Date : 2004-10-11 DOI: 10.1007/978-3-540-30187-5_26
J. Jürjens, P. Shabalin
{"title":"Automated Verification of UMLsec Models for Security Requirements","authors":"J. Jürjens, P. Shabalin","doi":"10.1007/978-3-540-30187-5_26","DOIUrl":"https://doi.org/10.1007/978-3-540-30187-5_26","url":null,"abstract":"","PeriodicalId":253579,"journal":{"name":"International Conference on the Unified Modeling Language","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115393652","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}
引用次数: 55
Integrating a Security Requirement Language with UML 将安全需求语言与UML集成
International Conference on the Unified Modeling Language Pub Date : 2004-10-11 DOI: 10.1007/978-3-540-30187-5_25
H. Abie, D. Aredo, T. Kristoffersen, Shahrzade Mazaher, T. Raguin
{"title":"Integrating a Security Requirement Language with UML","authors":"H. Abie, D. Aredo, T. Kristoffersen, Shahrzade Mazaher, T. Raguin","doi":"10.1007/978-3-540-30187-5_25","DOIUrl":"https://doi.org/10.1007/978-3-540-30187-5_25","url":null,"abstract":"","PeriodicalId":253579,"journal":{"name":"International Conference on the Unified Modeling Language","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128529417","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}
引用次数: 12
Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation 非功能属性的模型驱动开发:通过模型转换进行细化
International Conference on the Unified Modeling Language Pub Date : 2004-10-11 DOI: 10.1007/978-3-540-30187-5_20
Simone Röttger, S. Zschaler
{"title":"Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation","authors":"Simone Röttger, S. Zschaler","doi":"10.1007/978-3-540-30187-5_20","DOIUrl":"https://doi.org/10.1007/978-3-540-30187-5_20","url":null,"abstract":"","PeriodicalId":253579,"journal":{"name":"International Conference on the Unified Modeling Language","volume":"18 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125540141","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}
引用次数: 39
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学术官方微信