Gruia-Catalin Roman, William G. Griswold, Bashar Nuseibeh
Proceedings of the 27th International Conference on Software Engineering
ICSE, 2005.

@proceedings{ICSE-2005,
	address       = "St. Louis, Missouri, USA",
	editor        = "Gruia-Catalin Roman and William G. Griswold and Bashar Nuseibeh",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 27th International Conference on Software Engineering}",
	year          = 2005,
}

Contents (124 items)

15 ×#re-engineering
14 ×#development
12 ×#modelling
11 ×#education
11 ×#testing
10 ×#case study
10 ×#requirements
8 ×#architecture
6 ×#automation
6 ×#design

ICSE-2005-Cardelli #modelling #programming

Transitions in programming models: 2 (LC), p. 2.

ICSE-2005-Florida

Global talent and innovation (RF), p. 3.

ICSE-2005-Gamma #agile #development #distributed #eclipse #open source #process

Agile, open source, distributed, and on-time: inside the eclipse development process (EG), p. 4.

ICSE-2005-Littlewood #assessment #dependence #state of the art

Dependability assessment of software-based systems: state of the art (BL), pp. 6–7.

ICSE-2005-Fox #dependence #machine learning #statistics

Addressing software dependability with statistical and machine learning techniques (AF), p. 8.

ICSE-2005-WantP #challenge #pervasive #ubiquitous

System challenges for ubiquitous & pervasive computing (RW, TP), pp. 9–14.

ICSE-2005-Kephart #challenge #research

Research challenges of autonomic computing (JOK), pp. 15–22.

ICSE-2005-Herbsleb

Beyond computer science (JDH), pp. 23–27.

ICSE-2005-Fickas #requirements

Clinical requirements engineering (SF), pp. 28–34.

ICSE-2005-Twidale #development #open source #usability

Silver bullet or fool’s gold: supporting usability in open source software development (MT), p. 35.

ICSE-2005-Ayton #how

Extending the discipline: how software can help or hinder human decision making (and vice-versa) (PA), p. 36.

ICSE-2005-Siegel #architecture #design #distributed #modelling #question #why

Why use the model driven architecture to design and build distributed applications? (JS), p. 37.

ICSE-2005-Hirsch #agile #development

Moving from a plan driven culture to agile development (MH), p. 38.

ICSE-2005-Brechner #development #evolution

Journey of enlightenment: the evolution of development at Microsoft (EB), pp. 39–42.

ICSE-2005-Fielding #architecture #open source

Software architecture in an open source world (RTF), p. 43.

ICSE-2005-JacksonZ #question

Where do you go when you’re through the turnstile? (MJ, PZ), p. 44.

ICSE-2005-SullivanM #design

Science of design (KJS, JM), p. 46.

ICSE-2005-GriswoldN #research

Introduction to Research Papers (WGG, BN), p. 48.

ICSE-2005-KiczalesM #aspect-oriented #composition #programming #reasoning

Aspect-oriented programming and modular reasoning (GK, MM), pp. 49–58.

ICSE-2005-RajanS #design #named #object-oriented

Classpects: unifying aspect- and object-oriented language design (HR, KJS), pp. 59–68.

ICSE-2005-CourbisF #aspect-oriented #towards #weaving

Towards aspect weaving applications (CC, AF), pp. 69–77.

ICSE-2005-DengFC #database #testing #transaction

Testing database transactions with AGENDA (YD, PGF, DC), pp. 78–87.

ICSE-2005-McClureK #sql

SQL DOM: compile time checking of dynamic SQL statements (RAM, IHK), pp. 88–96.

ICSE-2005-CookR #execution #query #static typing

Safe query objects: statically typed objects as remotely executable queries (WRC, SR), pp. 97–106.

ICSE-2005-MichailX #debugging #user interface

Helping users avoid bugs in GUI applications (AM, TX), pp. 107–116.

ICSE-2005-HolmesM #recommendation #source code #using

Using structural context to recommend source code examples (RH, GCM), pp. 117–125.

ICSE-2005-KoAM #design #elicitation #ide #maintenance #requirements

Eliciting design requirements for maintenance-oriented IDEs: a detailed study of corrective and perfective maintenance tasks (AJK, HHA, BAM), pp. 126–135.

ICSE-2005-ErwigACK #automation #generative #maintenance #spreadsheet

Automatic generation and maintenance of correct spreadsheets (ME, RA, IC, SK), pp. 136–145.

ICSE-2005-BryceCC #framework #interactive #testing

A framework of greedy methods for constructing interaction test suites (RCB, CJC, MBC), pp. 146–155.

ICSE-2005-MisurdaCRCS #testing

Demand-driven structural testing with dynamic instrumentation (JM, JAC, JLR, BRC, MLS), pp. 156–165.

ICSE-2005-TamaiUI #adaptation

An adaptive object model with dynamic role binding (TT, NU, RI), pp. 166–175.

ICSE-2005-DemskyR #data type #reasoning #using

Data structure repair using goal-directed reasoning (BD, MCR), pp. 176–185.

ICSE-2005-ChinKQPN #alias #policy #safety #verification

Verifying safety policies with size properties and alias controls (WNC, SCK, SQ, CP, HHN), pp. 186–195.

ICSE-2005-FislerKMT #impact analysis #policy #verification

Verification and change-impact analysis of access-control policies (KF, SK, LAM, MCT), pp. 196–205.

ICSE-2005-LagoV #architecture #modelling

Explicit assumptions enrich architectural models (PL, HvV), pp. 206–214.

ICSE-2005-NguyenMBT #configuration management #development #framework #multi #object-oriented

An infrastructure for development of object-oriented, multi-level configuration management services (TNN, EVM, JTB, CT), pp. 215–224.

ICSE-2005-MockusZL #predict #quality

Predictors of customer perceived software quality (AM, PZ, PLL), pp. 225–233.

ICSE-2005-LavazzaB #automation #execution #metric

Automated support for process-aware definition and execution of measurement plans (LL, GB), pp. 234–243.

ICSE-2005-Al-NaeemGBRB #approach #architecture #distributed #quality

A quality-driven systematic approach for architecting distributed software applications (TAN, IG, MAB, FAR, BB), pp. 244–253.

ICSE-2005-RountevC #analysis #diagrams #sequence chart

Object naming analysis for reverse-engineered sequence diagrams (AR, BHC), pp. 254–263.

ICSE-2005-TilevichS #refactoring

Binary refactoring: improving code behind the scenes (ET, YS), pp. 264–273.

ICSE-2005-HenkelD #api #evolution #exclamation #game studies #refactoring

CatchUp!: capturing and replaying refactorings to support API evolution (JH, AD), pp. 274–283.

ICSE-2005-NagappanB #fault #metric #predict #using

Use of relative code churn measures to predict system defect density (NN, TB), pp. 284–292.

ICSE-2005-YilmazKMPSGN #assurance #distributed #evolution #monitoring #performance #process #quality

Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving software systems (CY, ASK, AMM, AAP, DCS, ASG, BN), pp. 293–302.

ICSE-2005-MohagheghiAC #case study #development #estimation #incremental #scalability

Effort estimation of use cases for incremental large-scale software development (PM, BA, RC), pp. 303–311.

ICSE-2005-GanapathySJRB #automation

Automatic discovery of API-level exploits (VG, SAS, SJ, TWR, REB), pp. 312–321.

ICSE-2005-Jurjens #effectiveness #modelling #security #tool support #uml

Sound methods and effective tools for model-based security engineering with UML (JJ), pp. 322–331.

ICSE-2005-AvotsDLL #analysis #c #pointer #security

Improving software security with a C pointer analysis (DA, MD, VBL, MSL), pp. 332–341.

ICSE-2005-CleveZ

Locating causes of program failures (HC, AZ), pp. 342–351.

ICSE-2005-RuthruffBR #empirical #fault #locality

An empirical study of fault localization for end-user programmers (JRR, MMB, GR), pp. 352–361.

ICSE-2005-Cleland-HuangSKBC #non-functional #requirements #traceability

Goal-centric traceability for managing non-functional requirements (JCH, RS, OBK, EB, SC), pp. 362–371.

ICSE-2005-KonradC #realtime #specification

Real-time specification patterns (SK, BHCC), pp. 372–381.

ICSE-2005-LetierKMU #analysis #monitoring #requirements

Monitoring and control in scenario-based requirements analysis (EL, JK, JM, SU), pp. 382–391.

ICSE-2005-PretschnerPWKBSZS #automation #evaluation #modelling #testing

One evaluation of model-based testing and its automation (AP, WP, SW, CK, MB, BS, RZ, TS), pp. 392–401.

ICSE-2005-AndrewsBL #question #testing

Is mutation an appropriate tool for testing experiments? (JHA, LCB, YL), pp. 402–411.

ICSE-2005-LeonMP #data flow #empirical #evaluation #testing

An empirical evaluation of test case filtering techniques based on exercising complex information flows (DL, WM, AP), pp. 412–421.

ICSE-2005-CsallnerS #static analysis #testing

Check’n’crash: combining static checking and testing (CC, YS), pp. 422–431.

ICSE-2005-ApiwattanapongOH #impact analysis #performance #precise #sequence #using

Efficient and precise dynamic impact analysis using execute-after sequences (TA, AO, MJH), pp. 432–441.

ICSE-2005-FriasGPA #alloy #named

DynAlloy: upgrading alloy with actions (MFF, JPG, CLP, NA), pp. 442–451.

ICSE-2005-BasitRJ #case study

Beyond templates: a study of clones in the STL and some general implications (HAB, DCR, SJ), pp. 451–459.

ICSE-2005-GoldenJB #design pattern #empirical #usability

The value of a usability-supporting architectural pattern in software architecture design: a controlled experiment (EG, BEJ, LB), pp. 460–469.

ICSE-2005-HostWT #classification #experience

Experimental context classification: incentives and experience of subjects (MH, CW, TT), pp. 470–478.

ICSE-2005-HeitmeyerP #case study #experience

Introduction to the experience reports track (CLH, KP), p. 480.

ICSE-2005-MelnikM #agile #student

A cross-program investigation of students’ perceptions of agile methods (GM, FM), pp. 481–488.

ICSE-2005-Woit #case study #interactive #programming #requirements

Requirements interaction management in an eXtreme programming environment: a case study (DMW), pp. 489–494.

ICSE-2005-HulkkoA #case study #multi #programming #quality

A multiple case study on the impact of pair programming on product quality (HH, PA), pp. 495–504.

ICSE-2005-KimLKHB #architecture #case study #re-engineering

Re-engineering software architecture of home service robots: a case study (MK, JL, KCK, YH, SB), pp. 505–513.

ICSE-2005-GortonZ #architecture #case study #evaluation #experience #re-engineering #tool support

Tool support for just-in-time architecture reconstruction and evaluation: an experience report (IG, LZ), pp. 514–523.

ICSE-2005-HerbslebPB #development #experience

Global software development at siemens: experience from nine projects (JDH, DJP, MB), pp. 524–533.

ICSE-2005-VerlageK #product line

Five years of product line engineering in a small company (MV, TK), pp. 534–543.

ICSE-2005-SchmidJKM #approach #embedded

Introducing the puLSE approach to an embedded system population at testo AG (KS, IJ, RK, GM), pp. 544–552.

ICSE-2005-EbertM #nondeterminism #requirements

Requirements Uncertainty: Influencing Factors and Concrete Improvements (CE, JDM), pp. 553–560.

ICSE-2005-MaidenR #case study #process #requirements

Developing use cases and scenarios in the requirements process (NAMM, SR), pp. 561–570.

ICSE-2005-BernerWK #automation #lessons learnt #testing

Observations and lessons learned from automated testing (SB, RW, RKK), pp. 571–579.

ICSE-2005-NagappanB05a #fault #static analysis #tool support

Static analysis tools as early indicators of pre-release defect density (NN, TB), pp. 580–586.

ICSE-2005-MenziesPCHS #modelling #validation

Validation methods for calibrating software effort models (TM, DP, ZC, JH, SS), pp. 587–595.

ICSE-2005-BeekMLGFS #automation #case study #protocol #verification

A case study on the automated verification of groupware protocols (MHtB, MM, DL, SG, AF, MS), pp. 596–603.

ICSE-2005-InverardiJ #education

Introduction to education and training track (PI, MJ), p. 606.

ICSE-2005-ShawHO #design #education #re-engineering #what

Deciding what to design: closing a gap in software engineering education (MS, JDH, IO), pp. 607–608.

ICSE-2005-Tamai #education #how #modelling

How to teach software modeling (TT), pp. 609–610.

ICSE-2005-SampaioAVCFC #experience #testing

Software test program: a software residency experience (AS, CA, JV, LC, LF, SC), pp. 611–612.

ICSE-2005-Liu #approach #open source #re-engineering

Enriching software engineering courses with service-learning projects and the open-source approach (CL), pp. 613–614.

ICSE-2005-BlahaMSSV #ambiguity #design #multi #student

Do students recognize ambiguity in software design? a multi-national, multi-institutional report (KB, AEM, DS, BS, TV), pp. 615–616.

ICSE-2005-ErnstC #specification

The groupthink specification exercise (MDE, JC), pp. 617–618.

ICSE-2005-SherrellS #education #process #question

Will earlier projects plus a disciplined process enforce SE principles throughout the CS curriculum? (LBS, SGS), pp. 619–620.

ICSE-2005-Vliet #education #re-engineering

Some myths of software engineering education (HvV), pp. 621–622.

ICSE-2005-AtleeLLST #guidelines #re-engineering #source code

Software engineering 2004: ACM/IEEE-CS guidelines for undergraduate programs in software engineering (JMA, RJL, TCL, AEKS, JBT), pp. 623–624.

ICSE-2005-KatiraWO #student #towards

Towards increasing the compatibility of student pair programmers (NK, LAW, JAO), pp. 625–626.

ICSE-2005-ZeidE #development #education #framework #using

Using peer reviews in teaching framework development (AZ, ME), pp. 627–628.

ICSE-2005-Filho #process

Process issues in course projects (WPPF), pp. 629–630.

ICSE-2005-Alzamil #effectiveness #re-engineering #towards

Towards an effective software engineering course project (ZA), pp. 631–632.

ICSE-2005-Olalekan #empirical #problem #re-engineering #research

Conducting empirical software engineering research in Nigeria: the posing problems (ASO), pp. 633–634.

ICSE-2005-Szyperski #challenge

The making of a software engineer challenges for the educator (CAS), pp. 635–636.

ICSE-2005-GhezziM #challenge #education #re-engineering

The challenges of software engineering education (CG, DM), pp. 637–638.

ICSE-2005-PankratiusS #case study #development #experience #information management

Information systems development at the virtual global university: an experience report (VP, WS), pp. 639–640.

ICSE-2005-HoekKR #education #re-engineering

A B.S. degree in informatics: contextualizing software engineering education (AvdH, DGK, DJR), pp. 641–642.

ICSE-2005-HawthorneP #challenge #development #distributed #education #open source #outsourcing #re-engineering

Software engineering education in the era of outsourcing, distributed development, and open source software: challenges and opportunities (MJH, DEP), pp. 643–644.

ICSE-2005-DubinskyH

The role of a project-based capstone course (YD, OH), pp. 645–646.

ICSE-2005-HazzanT #aspect-oriented #education #re-engineering

Teaching human aspects of software engineering (OH, JET), pp. 647–648.

ICSE-2005-Ciancarini #education #on the

On the education of future software engineers (PC), pp. 649–650.

ICSE-2005-ReissR #java

Demonstration of JIVE and JOVE: Java as it happens (SPR, MR), pp. 662–663.

ICSE-2005-RenRST #impact analysis #java #named #source code

Chianti: a change impact analysis tool for java programs (XR, BGR, MS, FT), pp. 664–665.

ICSE-2005-ChungHKOSTCCHJ

The concern manipulation environment (WC, WHH, VJK, HO, SMSJ, PLT, MC, AC, HH, SJ), pp. 666–667.

ICSE-2005-SaffE05a #eclipse #testing

Continuous testing in eclipse (DS, MDE), pp. 668–669.

ICSE-2005-BurmesterGHST #development #modelling #realtime #safety

The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems (SB, HG, MH, DS, MT), pp. 670–671.

ICSE-2005-LanzaDGP #comprehension #named #visualisation

CodeCrawler: an information visualization tool for program comprehension (ML, SD, HG, MP), pp. 672–673.

ICSE-2005-ChatleyUKM #animation #requirements #validation #web

Fluent-based web animation: exploring goals for requirements validation (RC, SU, JK, JM), pp. 674–675.

ICSE-2005-Abi-AntounAGSNT #architecture #implementation #modelling

Modeling and implementing software architecture with acme and archJava (MAA, JA, DG, BRS, NHN, TT), pp. 676–677.

ICSE-2005-Peine #re-engineering

Rules of thumb for secure software engineering (HP), pp. 702–703.

ICSE-2005-SterlingJ #adaptation #re-engineering

The software engineering of agent-based intelligent adaptive systems (LS, TJ), pp. 704–705.

ICSE-2005-BoehmBT #development

Spiral development of software-intensive systems of systems (BWB, AWB, RT), pp. 706–707.

ICSE-2005-RockmanK #development #using

The software engineer and the development, management and use of intellectual property (HBR, VK), pp. 708–709.

ICSE-2005-Cleland-HuangD #requirements

Financially informed requirements prioritization (JCH, MD), pp. 710–711.

ICSE-2005-Crnkovic #component #embedded #re-engineering

Component-based software engineering for embedded systems (IC), pp. 712–713.

ICSE-2005-Zundorf #development #modelling

Story driven modeling: a practical guide to model driven software development (AZ), pp. 714–715.

ICSE-2005-Kuhne #comprehension #metamodelling

Understanding metamodeling (TK), pp. 716–717.

ICSE-2005-Diehl #visualisation

Software visualization (SD), pp. 718–719.

ICSE-2005-Firesmith #requirements

Engineering safety-related requirements for software-intensive systems (DF), pp. 720–721.

ICSE-2005-Pretschner #modelling #testing

Model-based testing (AP), pp. 722–723.

ICSE-2005-Tonella #object-oriented #reverse engineering

Reverse engineering of object oriented code (PT), pp. 724–725.

ICSE-2005-GortonL #architecture #dot-net #enterprise #integration

An architects guide to enterprise application integration with J2EE and .NET (IG, AL), pp. 726–727.

ICSE-2005-CortellessaMI #modelling #performance

Transformations of software models into performance models (VC, ADM, PI), pp. 728–729.

ICSE-2005-Kiczales #aspect-oriented #programming

Aspect-oriented programming (GK), p. 730.

ICSE-2005-MaurerM #agile #what

What you always wanted to know about agile methods but did not dare to ask (FM, GM), pp. 731–732.