2012 34th International Conference on Software Engineering (ICSE)最新文献_第5页

CodeTimeline: Storytelling with versioning data CodeTimeline:用版本控制数据讲故事

2012 34th International Conference on Software Engineering (ICSE) Pub Date : 2012-06-02 DOI: 10.1109/ICSE.2012.6227086

Adrian Kuhn, Mirko Stocker

引用次数: 14

Towards business processes orchestrating the physical enterprise with wireless sensor networks 朝着用无线传感器网络编排实体企业的业务流程发展

2012 34th International Conference on Software Engineering (ICSE) Pub Date : 2012-06-02 DOI: 10.1109/ICSE.2012.6227080

F. Casati, F. Daniel, G. Dantchev, J. Eriksson, N. Finne, S. Karnouskos, P. Montero, L. Mottola, F. J. Oppermann, G. Picco, A. Quartulli, K. Römer, P. Spiess, S. Tranquillini, T. Voigt

引用次数: 29

Crosscutting revision control system 横切版本控制系统

2012 34th International Conference on Software Engineering (ICSE) Pub Date : 2012-06-02 DOI: 10.1109/ICSE.2012.6227182

S. Ifrah, D. Lorenz

引用次数: 3

How do professional developers comprehend software? 专业开发人员如何理解软件?

2012 34th International Conference on Software Engineering (ICSE) Pub Date : 2012-06-02 DOI: 10.1109/ICSE.2012.6227188

T. Roehm, Rebecca Tiarks, R. Koschke, W. Maalej

{"title":"How do professional developers comprehend software?","authors":"T. Roehm, Rebecca Tiarks, R. Koschke, W. Maalej","doi":"10.1109/ICSE.2012.6227188","DOIUrl":"https://doi.org/10.1109/ICSE.2012.6227188","url":null,"abstract":"Research in program comprehension has considerably evolved over the past two decades. However, only little is known about how developers practice program comprehension under time and project pressure, and which methods and tools proposed by researchers are used in industry. This paper reports on an observational study of 28 professional developers from seven companies, investigating how developers comprehend software. In particular we focus on the strategies followed, information needed, and tools used. We found that developers put themselves in the role of end users by inspecting user interfaces. They try to avoid program comprehension, and employ recurring, structured comprehension strategies depending on work context. Further, we found that standards and experience facilitate comprehension. Program comprehension was considered a subtask of other maintenance tasks rather than a task by itself. We also found that face-to-face communication is preferred to documentation. Overall, our results show a gap between program comprehension research and practice as we did not observe any use of state of the art comprehension tools and developers seem to be unaware of them. Our findings call for further careful analysis and for reconsidering research agendas.","PeriodicalId":420187,"journal":{"name":"2012 34th International Conference on Software Engineering (ICSE)","volume":"125 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121868264","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}

引用次数: 239

Green mining: Investigating power consumption across versions 绿色挖掘:调查不同版本的功耗

2012 34th International Conference on Software Engineering (ICSE) Pub Date : 2012-06-02 DOI: 10.1109/ICSE.2012.6227094

Abram Hindle

{"title":"Green mining: Investigating power consumption across versions","authors":"Abram Hindle","doi":"10.1109/ICSE.2012.6227094","DOIUrl":"https://doi.org/10.1109/ICSE.2012.6227094","url":null,"abstract":"Power consumption is increasingly becoming a concern for not only electrical engineers, but for software engineers as well, due to the increasing popularity of new power-limited contexts such as mobile-computing, smart-phones and cloud-computing. Software changes can alter software power consumption behaviour and can cause power performance regressions. By tracking software power consumption we can build models to provide suggestions to avoid power regressions. There is much research on software power consumption, but little focus on the relationship between software changes and power consumption. Most work measures the power consumption of a single software task; instead we seek to extend this work across the history (revisions) of a project. We develop a set of tests for a well established product and then run those tests across all versions of the product while recording the power usage of these tests. We provide and demonstrate a methodology that enables the analysis of power consumption performance for over 500 nightly builds of Firefox 3.6; we show that software change does induce changes in power consumption. This methodology and case study are a first step towards combining power measurement and mining software repositories research, thus enabling developers to avoid power regressions via power consumption awareness.","PeriodicalId":420187,"journal":{"name":"2012 34th International Conference on Software Engineering (ICSE)","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114317071","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}

引用次数: 35

Simulation-based abstractions for software product-line model checking 用于软件产品线模型检查的基于仿真的抽象

2012 34th International Conference on Software Engineering (ICSE) Pub Date : 2012-06-02 DOI: 10.1109/ICSE.2012.6227150

Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, P. Heymans, Axel Legay

{"title":"Simulation-based abstractions for software product-line model checking","authors":"Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, P. Heymans, Axel Legay","doi":"10.1109/ICSE.2012.6227150","DOIUrl":"https://doi.org/10.1109/ICSE.2012.6227150","url":null,"abstract":"Software Product Line (SPL) engineering is a software engineering paradigm that exploits the commonality between similar software products to reduce life cycle costs and time-to-market. Many SPLs are critical and would benefit from efficient verification through model checking. Model checking SPLs is more difficult than for single systems, since the number of different products is potentially huge. In previous work, we introduced Featured Transition Systems (FTS), a formal, compact representation of SPL behaviour, and provided efficient algorithms to verify FTS. Yet, we still face the state explosion problem, like any model checking-based verification. Model abstraction is the most relevant answer to state explosion. In this paper, we define a novel simulation relation for FTS and provide an algorithm to compute it. We extend well-known simulation preservation properties to FTS and thus lay the theoretical foundations for abstraction-based model checking of SPLs. We evaluate our approach by comparing the cost of FTS-based simulation and abstraction with respect to product-by-product methods. Our results show that FTS are a solid foundation for simulation-based model checking of SPL.","PeriodicalId":420187,"journal":{"name":"2012 34th International Conference on Software Engineering (ICSE)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116231840","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

Modeling Cloud performance with Kriging 用Kriging建模云性能

2012 34th International Conference on Software Engineering (ICSE) Pub Date : 2012-06-02 DOI: 10.1109/ICSE.2012.6227075

Alessio Gambi, G. T. Carughi

引用次数: 22

Mining application repository to recommend XML configuration snippets 挖掘应用程序存储库以推荐XML配置片段

2012 34th International Conference on Software Engineering (ICSE) Pub Date : 2012-06-02 DOI: 10.1109/ICSE.2012.6227069

Sheng Huang, Yiqi Lu, Yanghua Xiao, Wei Wang

引用次数: 3

FOCUS: An adaptation of a SWEBOK-based curriculum for industry requirements 重点:一个适应swebok为基础的课程行业的要求

2012 34th International Conference on Software Engineering (ICSE) Pub Date : 2012-06-02 DOI: 10.1109/ICSE.2012.6227021

Ganesh Samarthyam, G. Suryanarayana, A. Gupta, Raghu Nambiar

{"title":"FOCUS: An adaptation of a SWEBOK-based curriculum for industry requirements","authors":"Ganesh Samarthyam, G. Suryanarayana, A. Gupta, Raghu Nambiar","doi":"10.1109/ICSE.2012.6227021","DOIUrl":"https://doi.org/10.1109/ICSE.2012.6227021","url":null,"abstract":"Siemens Corporate Development Center India (CT DC IN) develops software applications for the industry, energy, health-care, and infrastructure & cities sectors of Siemens. These applications are typically critical in nature and require software practitioners who have considerable competency in the area of software engineering. To enhance the competency of engineers, CT DC IN has introduced an internal curriculum titled “FOundation CUrriculum for Software engineers” (FOCUS) which is an adapted version of IEEE's SWEBOK curriculum. The FOCUS program has been used to train more than 500 engineers in the last three years. In this experience report, we describe the motivation for FOCUS, how it was structured to address the specific needs of CT DC IN, and how the FOCUS program was rolled out within the organization. We also provide results obtained from a survey of the FOCUS participants, their managers, and FOCUS trainers that was conducted to throw light on the effectiveness of the program. We believe the insights from the survey results provide useful pointers to other organizations and academic institutions that are planning to adopt a SWEBOK-based curriculum.","PeriodicalId":420187,"journal":{"name":"2012 34th International Conference on Software Engineering (ICSE)","volume":"136 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123259483","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}

引用次数: 16

Model translations among big-step modeling languages 大阶建模语言之间的模型翻译

2012 34th International Conference on Software Engineering (ICSE) Pub Date : 2012-06-02 DOI: 10.1109/ICSE.2012.6227038

Fathiyeh Faghih

引用次数: 1