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