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

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

筛选
英文 中文
Multi-platform user interface construction: a challenge for software engineering-in-the-small 多平台用户界面构建:对小型软件工程的挑战
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134404
J. Bishop
{"title":"Multi-platform user interface construction: a challenge for software engineering-in-the-small","authors":"J. Bishop","doi":"10.1145/1134285.1134404","DOIUrl":"https://doi.org/10.1145/1134285.1134404","url":null,"abstract":"The popular view of software engineering focuses on managing teams of people to produce large systems. This paper addresses a different angle of software engineering, that of development for re-use and portability. We consider how an essential part of most software products - the user interface - can be successfully engineered so that it can be portable across multiple platforms and on multiple devices. Our research has identified the structure of the problem domain, and we have filled in some of the answers. We investigate promising solutions from the model-driven frameworks of the 1990s, to modern XML-based specification notations (Views, XUL, XIML, XAML), multi-platform toolkits (Qt and Gtk), and our new work, Mirrors which pioneers reflective libraries. The methodology on which Views and Mirrors is based enables existing GUI libraries to be transported to new operating systems. The paper also identifies cross-cutting challenges related to education, standardization and the impact of mobile and tangible devices on the future design of UIs. This paper seeks to position user interface construction as an important challenge in software engineering, worthy of ongoing research.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"184 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114156253","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}
引用次数: 21
Automating bug report assignment 自动化错误报告分配
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134457
J. Anvik
{"title":"Automating bug report assignment","authors":"J. Anvik","doi":"10.1145/1134285.1134457","DOIUrl":"https://doi.org/10.1145/1134285.1134457","url":null,"abstract":"Open-source development projects typically support an open bug repository to which both developers and users can report bugs. A report that appears in this repository must be triaged to determine if the report is one which requires attention and if it is, which developer will be assigned the responsibility of resolving the report. Large open-source developments are burdened by the rate at which new bug reports appear in the bug repository. The thesis of this work is that the task of triage can be eased by using a semi-automated approach to assign bug reports to developers. The approach consists of constructing a recommender for bug assignments; examined are both a range of algorithms that can be used and the various kinds of information provided to the algorithms. The proposed work seeks to determine through human experimentation a sufficient level of precision for the recommendations, and to analytically determine the trade-offs of the various algorithmic and information choices.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116507852","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}
引用次数: 117
Interactive transformation of java programs in eclipse eclipse中java程序的交互转换
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134414
Marat Boshernitsan, S. Graham
{"title":"Interactive transformation of java programs in eclipse","authors":"Marat Boshernitsan, S. Graham","doi":"10.1145/1134285.1134414","DOIUrl":"https://doi.org/10.1145/1134285.1134414","url":null,"abstract":"Implementing large and sweeping changes to software source code can be tedious and error-prone. A conceptually simple change may require a significant code editing effort. Integrating scriptable source-to-source program transformations into development environments can assist developers with this task. We present a developer-oriented interactive source code transformation tool for Java that addresses this need.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133779039","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
Managing space for finite-state verification 管理有限状态验证的空间
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134308
Jianbin Tan, G. Avrunin, L. Clarke
{"title":"Managing space for finite-state verification","authors":"Jianbin Tan, G. Avrunin, L. Clarke","doi":"10.1145/1134285.1134308","DOIUrl":"https://doi.org/10.1145/1134285.1134308","url":null,"abstract":"Finite-state verification (FSV) techniques attempt to prove properties about a model of a system by examining all possible behaviors of that model. This approach suffers from the state-explosion problem, where the size of the model or the analysis costs may be exponentially large with respect to the size of the system. Using symbolic data structures to represent subsets of the state space has been shown to usually be an effective optimization approach for hardware verification. The value for software verification, however, is still unclear. In this paper, we investigate applying two symbolic data structures, Binary Decision Diagrams (BDDs) and Zero-suppressed Binary Decision Diagrams (ZDDs), in two FSV tools, LTSA and FLAVERS. We describe an experiment showing that these two symbolic approaches can improve the performance of both FSV tools and are more efficient than two other algorithms that store the state space explicitly. Moreover, the ZDD-based approach often runs faster and can handle larger systems than the BDD-based approach.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"212 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116068705","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
An experimental comparison of four test suite reduction techniques 四种测试套件缩减技术的实验比较
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134380
Hao Zhong, Lu Zhang, Hong Mei
{"title":"An experimental comparison of four test suite reduction techniques","authors":"Hao Zhong, Lu Zhang, Hong Mei","doi":"10.1145/1134285.1134380","DOIUrl":"https://doi.org/10.1145/1134285.1134380","url":null,"abstract":"As a test suite usually contains redundancy, a subset of the test suite (representative set) may still satisfy all the test objectives. As the redundancy increases the cost of executing the test suite, many test suite reduction techniques have been brought out in spite of the NP-completeness of the general problem of finding the optimal representative set of the test suite. In the literature, some experimental studies of test suite reduction techniques have already been reported, but there are still shortcomings of the studies of these techniques. This paper presents an experimental comparison of the four typical test suite reduction techniques: heuristic H, heuristic GRE, genetic algorithm-based approach and ILP-based approach. The aim of the study is to provide a guideline for choosing the appropriate test suite reduction techniques.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121780678","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}
引用次数: 47
Living assistance systems: an ambient intelligence approach 生活辅助系统:一种环境智能方法
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134293
J. Nehmer, Martin Becker, A. Karshmer, R. Lamm
{"title":"Living assistance systems: an ambient intelligence approach","authors":"J. Nehmer, Martin Becker, A. Karshmer, R. Lamm","doi":"10.1145/1134285.1134293","DOIUrl":"https://doi.org/10.1145/1134285.1134293","url":null,"abstract":"In this paper, we present an integrated system concept for the living assistance domain based on ambient intelligence technology and discuss the resulting challenges for the software engineering discipline. Automated living assistance systems represent a promising approach for the prolongation of an independent and self-conducted life of handicapped and elderly people thereby, enhancing their quality of life and minimizing the need for manual social/medical care. It is demonstrated that living assistance systems must realize flexibility and adaptability at the algorithmic, architectural and human interface level to an extent unknown in present systems. The construction of robust, trustworthy living assistance systems is an extremely challenging task and requires novel approaches for dependable self-adapting software architectures, resource efficiency, and self-adapting multi-modal human-computer interfaces. The resulting consequences and challenges for the discipline of software engineering are outlined in this paper.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126052289","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}
引用次数: 280
Inferring templates from spreadsheets 从电子表格推断模板
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134312
Robin Abraham, Martin Erwig
{"title":"Inferring templates from spreadsheets","authors":"Robin Abraham, Martin Erwig","doi":"10.1145/1134285.1134312","DOIUrl":"https://doi.org/10.1145/1134285.1134312","url":null,"abstract":"We present a study investigating the performance of a system for automatically inferring spreadsheet templates. These templates allow users to safely edit spreadsheets, that is, certain kinds of errors such as range, reference, and type errors can be provably prevented. Since the inference of templates is inherently ambiguous, such a study is required to demonstrate the effectiveness of any such automatic system. The study results show that the system considered performs significantly better than subjects with intermediate to expert level programming expertise. These results are important because the translation of the huge body of existing spreadsheets into a system based on safety-guaranteeing templates cannot be performed without automatic support. We also carried out post-hoc analyses of the video recordings of the subjects' interactions with the spreadsheets and found that although expert-level subjects needed less time and developed more accurate templates than less experienced subjects, they did not inspect fewer cells in the spreadsheet. %and found that expert-level subjects spend less time and inspect fewer cells in the spreadsheet and develop more accurate templates than subjects with less experience.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124943159","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}
引用次数: 97
The problem of knowledge decoupling in software development projects 软件开发项目中的知识解耦问题
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134439
Yutaka Yamauchi, Jack Whalen, N. Ikeya, Erik Vinkhuyzen
{"title":"The problem of knowledge decoupling in software development projects","authors":"Yutaka Yamauchi, Jack Whalen, N. Ikeya, Erik Vinkhuyzen","doi":"10.1145/1134285.1134439","DOIUrl":"https://doi.org/10.1145/1134285.1134439","url":null,"abstract":"In our ethnographic investigation of software integration projects a recurrent pattern emerges. The detailed understanding leaders have of the design and development decreases over time as they become busier and busier attending meetings, creating documents, and resolving issues and thus cannot spend much time on design or development work. As a result, their leadership becomes increasingly decoupled from the work of the project. We discuss various dimensions of this problem.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130317401","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
Web service orchestration with BPEL 使用BPEL的Web服务编排
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134511
Liang Chen, Bruno Wassermann, W. Emmerich, H. Foster
{"title":"Web service orchestration with BPEL","authors":"Liang Chen, Bruno Wassermann, W. Emmerich, H. Foster","doi":"10.1145/1134285.1134511","DOIUrl":"https://doi.org/10.1145/1134285.1134511","url":null,"abstract":"Softwareengineersareincreasinglyadoptingserviceorientedar-chitectures (SOAs) for the automation of business processes andthe integration of IT systems, both within and across organisa-tional boundaries. These service oriented architectures frequentlyrely on web service standards, such as the Web Service Descrip-tion Language (WSDL) [5] and the Simple Object Access Protocol(SOAP) [10] for the implementation of service invocations acrossmachine boundaries.The combination of several web services into a more complexweb service is a crucial building block for service oriented archi-tectures. Peltz refers to such compositions that integrate the in-vocation of two or more services into a more complex executableworkflow as web service orchestration and contrasts this with webservice choreography, which tracks message exchanges betweendifferent autonomous domains [13]. Web service orchestration isappealing as it facilitates compositionality and reuse of the compo-nents that implement these services without necessarily having todeploy these services locally.Web service orchestration is supported by the Business ProcessExecution Language for Web Services (BPEL) [1]. BPEL emergedthrough consolidation of earlier work on IBM’s Web Service FlowLanguage (WSFL) [11] and XLANG [14] developed by Microsoft.BPELwas proposedas astandardby Microsoft, IBM,Siebel, BEA","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128891590","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
Visual languages for event integration specification 用于事件集成规范的可视化语言
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134465
Na Liu
{"title":"Visual languages for event integration specification","authors":"Na Liu","doi":"10.1145/1134285.1134465","DOIUrl":"https://doi.org/10.1145/1134285.1134465","url":null,"abstract":"We are exploring existing approaches and developing new techniques for visual event-based system integration. We are using domain-specific visual languages with different high-level visual metaphors (including Tool Abstraction, Event-Query-Filter-Action and Spreadsheet) to specify event-handling support and provide backend processing tool support for event integration specification and visualisation of event propagation. We aim to generalise from three exemplar visual event-driven system metaphors and develop a new, generic visual event handling metaphor. From this we will build a visual environment for specifying event-based system integration. The visual metaphor we are developing should adapt the event-based communication model to a wide range of application domains, and also should support complex and intelligent system design and implementation.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122754948","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
首页 上一页 下一页 尾页
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学术官方微信