Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001最新文献_第6页

Systematic object-oriented inspection - an empirical study 系统的面向对象的检验——一个实证研究

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919088

A. Dunsmore, M. Roper, M. Wood

{"title":"Systematic object-oriented inspection - an empirical study","authors":"A. Dunsmore, M. Roper, M. Wood","doi":"10.1109/ICSE.2001.919088","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919088","url":null,"abstract":"Software inspection is recognised as an effective defect detection technique, but research has suggested that its performance on object-oriented code may suffer as a result of the delocalised nature of the software. This leads to problems of how to segment a system into chunks, what reading strategy should be adopted to read those chunks, and how to make available necessary non-local information. This paper presents the results of an empirical investigation that compared a systematic, abstraction-driven inspection reading technique with an ad-hoc approach in an attempt to investigate these issues.\u0000The analysis shows that using the systematic technique does not significantly improve an inspector's overall defect detection performance. The systematic technique does, however, seem to have potential to help address delocalisation through the creation of abstract specifications, encourage a deeper understanding of the code being inspected, and may also help discover different defects from an ad-hoc approach. There was also positive feedback from inspectors for the rigour imposed by the systematic technique.\u0000This research suggests that a systematic, abstraction-driven reading strategy offers some potential but there are issues that need to be addressed in terms of supporting the efficient construction of abstractions and dealing with the differences between the static and dynamic views of object-oriented code.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"12 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":"132726041","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}

引用次数: 50

Reuse of verification efforts and incomplete specifications in a formalized, iterative and incremental software process 在形式化的、迭代的和增量的软件过程中重用验证工作和不完整的规范

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919185

R. Redondo, J. Pazos-Arias

引用次数: 9

Web engineering device independent Web services Web工程设备独立的Web服务

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919182

E. Kirda

引用次数: 19

Encoding program executions 编码程序执行

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919096

S. Reiss, Manos Renieris

引用次数: 244

(W18) 1st workshop on open source software engineering (W18)关于开源软件工程的第一次研讨会

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919176

J. Feller, Brian Fitzgerald, A. Hoek

引用次数: 5

4/sup th/ ICSE workshop on "software engineering over the internet" 4 .协助“互联网软件工程”研讨会

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919158

F. Maurer

引用次数: 0

Consistent group membership in ad hoc networks 自组织网络中一致的组成员关系

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919111

G. Roman, Qingfeng Huang, Ali Hazemi

引用次数: 113

A workbench for synthesising behaviour models from scenarios 用于从场景中综合行为模型的工作台

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919093

Sebastián Uchitel, J. Kramer

{"title":"A workbench for synthesising behaviour models from scenarios","authors":"Sebastián Uchitel, J. Kramer","doi":"10.1109/ICSE.2001.919093","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919093","url":null,"abstract":"Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Our objective is to facilitate the development of behaviour models in conjunction with scenarios. In this paper, we first present an MSC language with semantics in terms of labelled transition systems and parallel composition. The language integrates existing languages based on the use of high-level MSCs (hMSCs) and on identifying component states. This integration allows stakeholders to break up scenario specifications into manageable parts using hMCSs and to explicitly introduce additional information and domain-specific or other assumptions using state labels. Secondly, we present an algorithm, implemented in Java, which translates scenarios into a specification in the form of Finite Sequential Processes. This can then be fed to the labelled transition system analyser for model checking and animation. Finally we show how many of the assumptions embedded in existing synthesis approaches can be translated into our approach. Thus we provide the basis of a common workbench for supporting MSC specifications, behaviour synthesis and analysis.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"2 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":"122071987","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}

引用次数: 107

Academic software engineering: what is and what could be? Results of the first annual survey for international SE programs 学术软件工程:什么是，什么可能是?第一次国际SE项目年度调查结果

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919139

Kenneth L. Modesitt, D. Bagert, L. Werth

{"title":"Academic software engineering: what is and what could be? Results of the first annual survey for international SE programs","authors":"Kenneth L. Modesitt, D. Bagert, L. Werth","doi":"10.1109/ICSE.2001.919139","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919139","url":null,"abstract":"According to data received from an international survey, almost 6800 students are enrolled in software engineering degree programs in 11 countries, as of January, 2001. A total of 94 academic programs in software engineering are in place at 60 universities with 350 full-time faculty and nearly 200 part-time faculty teaching hundreds of undergraduate and graduate courses in the discipline. Over 5500 people have obtained degrees in software engineering since 1979. The authors are conducting the first of an ongoing annual survey of international academic software engineering programs, as a joint ACM/IEEE-CS project. This status report covers: history, audience, initial survey, initial partial results available on the WWW, request for evaluation of WWW-site, request for additional questions for next version of survey, time-line for next version of the survey, \"lessons learned,\" and some future directions. The annual report and survey results will be posted on a wide variety of Web pages. A more current report, based on the sabbatical of the first author, will be presented at the conference. The sabbatical involves the initial development of an \"International Software Engineering University Consortium-ISEUC\". A sample scenario for an employee in industry who becomes a student in ISEUC is given.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"18 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":"121332690","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

2nd international workshop on living with inconsistency 第二届不一致生活国际研讨会

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1145/505532.505552

S. Easterbrook, M. Chechik

引用次数: 17