Proceedings of the 27th international conference on Software engineering最新文献

筛选
英文 中文
First international workshop on the modeling and analysis of concerns in software (MACS 2005) 第一届关于软件建模和关注点分析的国际研讨会(MACS 2005)
Proceedings of the 27th international conference on Software engineering Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062611
M. Robillard, P. Tarr
{"title":"First international workshop on the modeling and analysis of concerns in software (MACS 2005)","authors":"M. Robillard, P. Tarr","doi":"10.1145/1062455.1062611","DOIUrl":"https://doi.org/10.1145/1062455.1062611","url":null,"abstract":"Many software engineering activities are organized around the idea of concerns. Separation of concerns is a basic tenet of software engineering intended to facilitate the development and evolution of software systems. Unfortunately, separation of concerns is not always possible in practice, and concerns often end up scattered and tangled. The goal of the MACS workshop is to bring together researchers and practitioners with interest and experience in techniques for modeling and analyzing the realization of concerns in software systems.","PeriodicalId":196748,"journal":{"name":"Proceedings of the 27th international conference on Software engineering","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126905809","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
Sound methods and effective tools for model-based security engineering with UML 使用UML进行基于模型的安全工程的可靠方法和有效工具
Proceedings of the 27th international conference on Software engineering Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062519
J. Jürjens
{"title":"Sound methods and effective tools for model-based security engineering with UML","authors":"J. Jürjens","doi":"10.1145/1062455.1062519","DOIUrl":"https://doi.org/10.1145/1062455.1062519","url":null,"abstract":"Developing security-critical systems is difficult and there are many well-known examples of security weaknesses exploited in practice. Thus a sound methodology supporting secure systems development is urgently needed.We present an extensible verification framework for verifying UML models for security requirements. In particular, it includes various plugins performing different security analyses on models of the security extension UMLsec of UML. Here, we concentrate on an automated theorem prover binding to verify security properties of UMLsec models which make use of cryptography (such as cryptographic protocols). The work aims to contribute towards usage of UML for secure systems development in practice by offering automated analysis routines connected to popular CASE tools. We present an example of such an application where our approach found and corrected several serious design flaws in an industrial biometric authentication system.","PeriodicalId":196748,"journal":{"name":"Proceedings of the 27th international conference on Software engineering","volume":"111 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133770083","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}
引用次数: 119
Introduction to education and training track 教育培训入门
Proceedings of the 27th international conference on Software engineering Pub Date : 2005-05-15 DOI: 10.1109/ICSE.2005.1553608
P. Inverardi, M. Jazayeri
{"title":"Introduction to education and training track","authors":"P. Inverardi, M. Jazayeri","doi":"10.1109/ICSE.2005.1553608","DOIUrl":"https://doi.org/10.1109/ICSE.2005.1553608","url":null,"abstract":"The attendees of ICSE comprise some of the top researchers in software engineering and also many educators of software engineering. Traditionally, however, these two groups do not talk to each other about educational issues. Then there are the practitioners who attend ICSE who have their own opinions about the relevance, strengths, and shortcomings of current software engineering education offered in universities. The goal of this year's track on Software Engineering Education and Training at ICSE is to bring these three communities together to discuss some urgent questions that have profound effect on how we structure our educational programs. Considering the tremendous changes taking place in the software engineering industry, and in the industrial world in general, it seems appropriate to confront the needs of the software engineering educators.Consider just the following increasingly common developments: Outsourcing of software projects Pervasiveness of software in all areas of commerce, industry, and society Increasingly distributed platforms Open-source development Globalization, leading to international (multi-cultural) distributed software teamsHow should these developments change the way we teach software engineering? Should textbooks be updated? Should software engineering play a different role in the computer science curriculum, that is, be more pervasive? How are professors in universities handling these issues?These are some of the questions we address in this track. In particular, we consider current challenges, current solutions, and future challenges. We are pleased to have six distinguished researchers to present their views and fifteen presenters from universities around the world presenting their innovative approaches in their classrooms. We expect lively and active discussion between the speakers and the audience.","PeriodicalId":196748,"journal":{"name":"Proceedings of the 27th international conference on Software engineering","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127012910","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}
引用次数: 0
Understanding metamodeling 理解元建模
Proceedings of the 27th international conference on Software engineering Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062633
Thomas Kühne
{"title":"Understanding metamodeling","authors":"Thomas Kühne","doi":"10.1145/1062455.1062633","DOIUrl":"https://doi.org/10.1145/1062455.1062633","url":null,"abstract":"Metamodeling not only directly underpins the specification of modeling languages such as the UML, but is also the foundation for making the OMG's MDA vision come true. This tutorial starts by motivating metamodeling as an advanced way of creating software and then goes on to explore its fundamental principles. In particular, important new metamodeling concepts such as the distinction between ontological and linguistic instance-of relationships, the unification of class and object facets and deep instantiation are introduced. A metamodeling framework suitable for MDA is constructed step-by-step and then used to explain and critique the OMG's various metamodeling technologies. This information furnishes modelers with the heuristics they need to more effectively utilize OMG metamodeling technology and to know when metamodeling concepts are suitable and when they are not. The tutorial ends with some methodological advice on how to model in the presence of more than two modeling levels (objects & classes).","PeriodicalId":196748,"journal":{"name":"Proceedings of the 27th international conference on Software engineering","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123471202","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}
引用次数: 0
2nd international workshop on software engineering for automotive systems 第二届汽车系统软件工程国际研讨会
Proceedings of the 27th international conference on Software engineering Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062620
C. Salzmann, T. Stauner, A. Pretschner
{"title":"2nd international workshop on software engineering for automotive systems","authors":"C. Salzmann, T. Stauner, A. Pretschner","doi":"10.1145/1062455.1062620","DOIUrl":"https://doi.org/10.1145/1062455.1062620","url":null,"abstract":"No abstract available","PeriodicalId":196748,"journal":{"name":"Proceedings of the 27th international conference on Software engineering","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123532938","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}
引用次数: 11
Introduction to the experience reports track 介绍经验报告跟踪
Proceedings of the 27th international conference on Software engineering Pub Date : 2005-05-15 DOI: 10.1109/ICSE.2005.1553592
C. Heitmeyer, K. Pohl
{"title":"Introduction to the experience reports track","authors":"C. Heitmeyer, K. Pohl","doi":"10.1109/ICSE.2005.1553592","DOIUrl":"https://doi.org/10.1109/ICSE.2005.1553592","url":null,"abstract":"It is our great pleasure to welcome you to the Experience Reports Track of the 27th International Conference on Software Engineering (ICSE). The objective of the Experience Reports Track is to establish a dialogue between software practitioners and software engineering researchers on the benefits, obstacles, and weaknesses of applying software engineering principles, techniques, methods, processes, and tools in an industrial or organizational setting. In the call for papers, we invited four types of submissions: case studies, experience reports, experimental reports and problem statements. The call attracted 72 submissions from all over the world. The program committee of the Experience Reports Track accepted 14 submissions. The selection was based on at least three reviews per submission and the results of intensive consensus discussions prior to and during the Experience Reports Track program committee meeting, held on November 12, 2004 in Essen, Germany.The accepted papers of the ICSE 2005 Experience Reports Track cover topics such as agile methods, product lines, requirements engineering, software architecture, testing and verification. They document important lessons learned from applying software engineering principles, techniques, methods, processes, and tools in practice. Putting together the Experience Reports Track of ICSE 2005 was a team effort. We extend our sincerest gratitude to all of the people who helped us shape this event, especially to the members of our program committee and the ICSE 2005 organizing committee and to Richard van de Stadt, Andreas Metzger, and Nelufar Ulfat-Bunyadi. We hope that you find the Experience Reports Track of ICSE 2005 interesting and thought-provoking.","PeriodicalId":196748,"journal":{"name":"Proceedings of the 27th international conference on Software engineering","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133626351","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}
引用次数: 0
Design mentoring based on design evolution analysis 基于设计演化分析的设计指导
Proceedings of the 27th international conference on Software engineering Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062594
Z. Xing
{"title":"Design mentoring based on design evolution analysis","authors":"Z. Xing","doi":"10.1145/1062455.1062594","DOIUrl":"https://doi.org/10.1145/1062455.1062594","url":null,"abstract":"No abstract available","PeriodicalId":196748,"journal":{"name":"Proceedings of the 27th international conference on Software engineering","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123547477","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}
引用次数: 0
Modeling and implementing software architecture with acme and archJava 用acme和archJava建模和实现软件体系结构
Proceedings of the 27th international conference on Software engineering Pub Date : 2004-10-23 DOI: 10.1145/1062455.1062604
Marwan Abi-Antoun, Jonathan Aldrich, D. Garlan, B. Schmerl, Nagi H. Nahas, Tony Tseng
{"title":"Modeling and implementing software architecture with acme and archJava","authors":"Marwan Abi-Antoun, Jonathan Aldrich, D. Garlan, B. Schmerl, Nagi H. Nahas, Tony Tseng","doi":"10.1145/1062455.1062604","DOIUrl":"https://doi.org/10.1145/1062455.1062604","url":null,"abstract":"We demonstrate a tool to incrementally synchronize an Acme architectural model described in the Acme Architectural Description Language (ADL) with an implementation in ArchJava, an extension of the Java programming language that includes explicit architectural modeling constructs.","PeriodicalId":196748,"journal":{"name":"Proceedings of the 27th international conference on Software engineering","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132041650","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
7th international workshop on economics-driven software engineering research 第七届经济驱动软件工程研究国际研讨会
Proceedings of the 27th international conference on Software engineering Pub Date : 2001-07-01 DOI: 10.1145/1062455.1062610
K. Sullivan
{"title":"7th international workshop on economics-driven software engineering research","authors":"K. Sullivan","doi":"10.1145/1062455.1062610","DOIUrl":"https://doi.org/10.1145/1062455.1062610","url":null,"abstract":"The 7th International Workshop on Economics-Driven Software Engineering Research (EDSER-7) continues to be the leading forum for the discussion of emerging research ideas in software economics. The focus of the workshop is on the use of economic models for reasoning about technical issues and decisions in the definition, design, development, deployment, and evolution of software and software-intensive systems.","PeriodicalId":196748,"journal":{"name":"Proceedings of the 27th international conference on Software engineering","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115392503","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}
引用次数: 9
Proceedings of the 27th international conference on Software engineering 第27届软件工程国际会议论文集
{"title":"Proceedings of the 27th international conference on Software engineering","authors":"","doi":"10.1145/1062455","DOIUrl":"https://doi.org/10.1145/1062455","url":null,"abstract":"","PeriodicalId":196748,"journal":{"name":"Proceedings of the 27th international conference on Software engineering","volume":"51 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":"132044590","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}
引用次数: 61
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学术官方微信