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

Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.最新文献

筛选
英文 中文
Aspect-oriented programming and modular reasoning 面向方面编程和模块化推理
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062482
G. Kiczales, M. Mezini
{"title":"Aspect-oriented programming and modular reasoning","authors":"G. Kiczales, M. Mezini","doi":"10.1145/1062455.1062482","DOIUrl":"https://doi.org/10.1145/1062455.1062482","url":null,"abstract":"Aspects cut new interfaces through the primary decomposition of a system. This implies that in the presence of aspects, the complete interface of a module can only be determined once the complete configuration of modules in the system is known. While this may seem anti-modular, it is an inherent property of crosscutting concerns, and using aspect-oriented programming enables modular reasoning in the presence of such concerns.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"34 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":"121617616","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}
引用次数: 342
Assurance patterns for distributed real-time embedded systems 分布式实时嵌入式系统的保证模式
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062591
S. Konrad
{"title":"Assurance patterns for distributed real-time embedded systems","authors":"S. Konrad","doi":"10.1145/1062455.1062591","DOIUrl":"https://doi.org/10.1145/1062455.1062591","url":null,"abstract":"Recently, there has been a significant increase in demand for distributed real-time embedded systems (DREs). As the demand for DREs has increased, so has the complexity of these systems, thus prompting the need for more rigorous, repeatable, and cost-effective development techniques. We propose to make several contributions in the rigorous development of DREs: object analysis patterns, specification patterns, and an integrated modeling and analysis approach for the formal analysis of DRE system models. These contributions are presented collectively as assurance patterns that emphasize the analysis phase of DREs, with the intent of preventing and detecting errors in the early stages of development prior to coding and fabrication. Industrial projects play a major role in validating our techniques.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"31 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":"129513439","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 software engineer and the development, management and use of intellectual property 软件工程师和知识产权的开发、管理和使用
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1109/ICSE.2005.1553674
H. B. Rockman, V. Khodosh
{"title":"The software engineer and the development, management and use of intellectual property","authors":"H. B. Rockman, V. Khodosh","doi":"10.1109/ICSE.2005.1553674","DOIUrl":"https://doi.org/10.1109/ICSE.2005.1553674","url":null,"abstract":"This full day tutorial will offer instruction on patent, copyright, trade secret and other intellectual property issues faced by developers and users of software in protecting their innovations, including information on avoiding infringing the intellectual property rights of others in the software development process. The course is directed to conference attendees who are involved in any aspect of the development, management or use of intellectual property, including those in the private sector, universities and government. The course will be presented at a basic and understandable, level tailored for the software engineer audience. The course will comprise an oral presentation of nine (9) 30-35 minute segments, with 10 minute breaks for refreshments and specific attendee questions. The instructors will remain available for questions from attendees during breaks. Answers to questions will also be provided during each session. Power Point slides will be used, and actual anecdotal experiences will be presented to illustrate important points.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"1 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":"129478228","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
Tool support for just-in-time architecture reconstruction and evaluation: an experience report 对即时架构重建和评估的工具支持:经验报告
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062548
I. Gorton, Liming Zhu
{"title":"Tool support for just-in-time architecture reconstruction and evaluation: an experience report","authors":"I. Gorton, Liming Zhu","doi":"10.1145/1062455.1062548","DOIUrl":"https://doi.org/10.1145/1062455.1062548","url":null,"abstract":"The need for software architecture evaluation has drawn considerable attention. In practice, this is a challenging exercise for two main reasons. First, in deployed projects, software architecture documentation is often not readily available, and may not be a correct representation of the as built architecture. Second, large software systems have numerous potential views of the various architecturally significant structures in the system. In this paper, we assess the capabilities of software reverse engineering and architecture reconstruction tools to support just-in-time architecture reconstruction. If an application's architecture can be reconstructed efficiently, this could promote more effective architecture reviews and evaluations. We describe our experiences in leveraging multiple reconstruction tools and how these guided the choice of design artifacts to construct. We discovered that the tools complemented each other in identifying reconstruction scope, critical architectural elements, potential design irregularities and creating useful architectural views for different evaluation tasks. With the help of these tools, the reconstruction and evaluation effort was significantly streamlined and productive. Finally, we also report some potential improvements these tools could make.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"1 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":"129048728","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}
引用次数: 42
An empirical evaluation of test case filtering techniques based on exercising complex information flows 基于复杂信息流的测试用例过滤技术的经验评估
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062531
David Leon, Wes Masri, Andy Podgurski
{"title":"An empirical evaluation of test case filtering techniques based on exercising complex information flows","authors":"David Leon, Wes Masri, Andy Podgurski","doi":"10.1145/1062455.1062531","DOIUrl":"https://doi.org/10.1145/1062455.1062531","url":null,"abstract":"Some software defects trigger failures only when certain complex information flows occur within the software. Profiling and analyzing such flows therefore provides a potentially important basis for filtering test cases. We report the results of an empirical evaluation of several test case filtering techniques that are based on exercising complex information flows. Both coverage-based and profile-distribution-based filtering techniques are considered. They are compared to filtering techniques based on exercising basic blocks, branches, function calls, and def-use pairs, with respect to their effectiveness for revealing defects.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"73 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":"125759046","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}
引用次数: 54
Model-based testing 基于模型的测试
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062529
A. Pretschner, Wolfgang Prenninger, S. Wagner, C. Kühnel, Martin Baumgartner, B. Sostawa, Rüdiger Zölch, T. Stauner
{"title":"Model-based testing","authors":"A. Pretschner, Wolfgang Prenninger, S. Wagner, C. Kühnel, Martin Baumgartner, B. Sostawa, Rüdiger Zölch, T. Stauner","doi":"10.1145/1062455.1062529","DOIUrl":"https://doi.org/10.1145/1062455.1062529","url":null,"abstract":"Model-based testing has become increasingly popular in recent years. Major reasons include: (1) the need for quality assurance for increasingly complex systems, (2) the emerging model-centric development paradigm, e.g., UML and MDA, with its seemingly direct connection to testing, and (3) the advent of test-centered development methodologies. Model-based testing relies on execution traces of behavior models. They are used as test cases for an implementation: input and expected output. This complements the ideas of model-driven testing. The latter uses static models to derive test drivers to automate test execution. This assumes the existence of test cases, and is, like the particular intricacies of OO testing, not in the focus of this tutorial. We cover major methodological and technological issues: the business case of model-based testing within model-based development, the need for abstraction and inverse concretization, test selection, and test case generation. We (1) discuss different scenarios of model-based testing, (2) present common abstractions when building models, and their consequences for testing, (3) explain how to use functional, structural, and stochastic test selection criteria, and (4) describe today's test generation technology. We provide both practical guidance and a discussion of the state-of-the-art. Potentials of model-based testing in practical applications and future research are highlighted.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"1 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":"125629296","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}
引用次数: 233
Monitoring and control in scenario-based requirements analysis 基于场景的需求分析中的监视和控制
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062527
Emmanuel Letier, J. Kramer, J. Magee, Sebastián Uchitel
{"title":"Monitoring and control in scenario-based requirements analysis","authors":"Emmanuel Letier, J. Kramer, J. Magee, Sebastián Uchitel","doi":"10.1145/1062455.1062527","DOIUrl":"https://doi.org/10.1145/1062455.1062527","url":null,"abstract":"Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the software-to-be and agents in the environment. Interactions correspond to the occurrence of an event that is controlled by one agent and monitored by another. This paper presents a technique to analyse requirements-level scenarios for unforeseen, potentially harmful, consequences. Our aim is to perform analysis early in system development, where it is highly cost-effective. The approach recognises the importance of monitoring and control issues and extends existing work on implied scenarios accordingly. These so-called input-output implied scenarios expose problematic behaviours in scenario descriptions that cannot be detected using standard implied scenarios. Validation of these implied scenarios supports requirements elaboration. We demonstrate the relevance of input-output implied scenarios using a number of examples.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"06 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":"122696830","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}
引用次数: 73
The Fujaba real-time tool suites: model-driven development of safety-critical, real-time systems 藤场实时工具套件：安全关键型实时系统的模型驱动开发
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062601
Sven Burmester, H. Giese, M. Hirsch, Daniela Schilling, Matthias Tichy
{"title":"The Fujaba real-time tool suites: model-driven development of safety-critical, real-time systems","authors":"Sven Burmester, H. Giese, M. Hirsch, Daniela Schilling, Matthias Tichy","doi":"10.1145/1062455.1062601","DOIUrl":"https://doi.org/10.1145/1062455.1062601","url":null,"abstract":"More and more complex functionality is today realized with complex, networked, real-time systems. The majority of the costs and time in development is required to design and verify the control software. As these systems are often used in a safety-critical environment, the Fujaba real-time tool suite aims at supporting the model-driven development of correct software for such safety-critical, networked, real-time systems. This paper presents an overview of this Unified Modeling Language (UML) tool, its framework and processes.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"33 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":"130164264","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}
引用次数: 73
Information systems development at the Virtual Global University: an experience report 虚拟全球大学的信息系统开发:经验报告
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062579
V. Pankratius, W. Stucky
{"title":"Information systems development at the Virtual Global University: an experience report","authors":"V. Pankratius, W. Stucky","doi":"10.1145/1062455.1062579","DOIUrl":"https://doi.org/10.1145/1062455.1062579","url":null,"abstract":"In this paper, we present our experiences gained from the course \"Information Systems Envelopment\" which is entirely taught online at the Virtual Global University (VGU). We identify technical, economic, and pedagogical problems and challenges which are of general interest to anyone teaching software engineering online.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":" 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114060752","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
Binary refactoring: improving code behind the scenes 二进制重构:在幕后改进代码
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Pub Date : 2005-05-15 DOI: 10.1145/1062455.1062511
E. Tilevich, Y. Smaragdakis
{"title":"Binary refactoring: improving code behind the scenes","authors":"E. Tilevich, Y. Smaragdakis","doi":"10.1145/1062455.1062511","DOIUrl":"https://doi.org/10.1145/1062455.1062511","url":null,"abstract":"We present binary refactoring: a software engineering technique for improving the implementation of programs without modifying their source code. While related to regular refactoring in preserving a program's functionality, binary refactoring aims to capture modifications that are often applied to source code, although they only improve the performance of the software application and not the code structure. We motivate binary refactoring, present a binary refactoring catalogue, describe the design and implementation of BARBER - our binary refactoring browser for Java, and demonstrate the usefulness of binary refactoring through a series of benchmarks.","PeriodicalId":217879,"journal":{"name":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.","volume":"108 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":"116658690","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}
引用次数: 26
首页 上一页 下一页 尾页
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学术官方微信
小红书