Lori A. Clarke, Laurie Dillon, Walter F. Tichy
Proceedings of the 25th International Conference on Software Engineering
ICSE, 2003.

@proceedings{ICSE-2003,
	acmid         = "776816",
	address       = "Portland, Oregon, USA",
	editor        = "Lori A. Clarke and Laurie Dillon and Walter F. Tichy",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 25th International Conference on Software Engineering}",
	year          = 2003,
}

Contents (104 items)

13 ×#re-engineering
11 ×#architecture
11 ×#component
10 ×#named
10 ×#testing
7 ×#framework
7 ×#modelling
6 ×#analysis
6 ×#case study
6 ×#design

ICSE-2003-LorenzV #implementation #interface

Pluggable Reflection: Decoupling Meta-Interface and Implementation (DHL, JMV), pp. 3–13.

ICSE-2003-InoueYFYMK #component #rank

Component Rank: Relative Significance Rank for Software Component Search (KI, RY, HF, TY, MM, SK), pp. 14–24.

ICSE-2003-OberleitnerGJ #component #composition #framework #modelling

The Vienna Component Framework Enabling Composition Across Component Models (JO, TG, MJ), pp. 25–37.

ICSE-2003-CohenGMC #interactive #testing

Constructing Test Suites for Interaction Testing (MBC, PBG, WBM, CJC), pp. 38–48.

ICSE-2003-ElbaumKR #testing #web

Improving Web Application Testing with User Session Data (SGE, SK, GR), pp. 49–59.

ICSE-2003-HarderME #abstraction #testing

Improving Test Suites via Operational Abstraction (MH, JM, MDE), pp. 60–73.

ICSE-2003-SimEH #benchmark #challenge #metric #re-engineering #research #using

Using Benchmarking to Advance Research: A Challenge to Software Engineering (SES, SME, RCH), pp. 74–83.

ICSE-2003-DingsoyrR #empirical #information management #repository

An Empirical Study of an Informal Knowledge Repository in a Medium-Sized Software Consulting Company (TD, ER), pp. 84–92.

ICSE-2003-BurnettCPRSW #paradigm #re-engineering #spreadsheet

End-User Software Engineering with Assertions in the Spreadsheet Paradigm (MMB, CRC, OP, GR, JS, CSW), pp. 93–105.

ICSE-2003-BarryKS #evolution #on the

On the Uniformity of Software Evolution Patterns (EJB, CFK, SS), pp. 106–113.

ICSE-2003-ChanLM #design #interactive #visual notation

Design Recovery of Interactive Graphical Applications (KC, ZCLL, AM), pp. 114–124.

ICSE-2003-MarcusM #semantics #traceability #using

Recovering Documentation-to-Source-Code Traceability Links using Latent Semantic Indexing (AM, JIM), pp. 125–137.

ICSE-2003-Dingel #reasoning

Computer-Assisted Assume/Guarantee Reasoning with VeriSoft (JD), pp. 138–148.

ICSE-2003-EdenK #architecture #design #implementation

Architecture, Design, Implementation (AHE, RK), pp. 149–159.

ICSE-2003-HatcliffDDJR #analysis #component #development #named #verification

Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems (JH, XD, MBD, GJ, VPR), pp. 160–173.

ICSE-2003-WohlstadterJD #distributed #feature model #middleware #named

DADO: Enhancing Middleware to Support Crosscutting Features in Distributed, Heterogeneous Systems (EW, SJ, PTD), pp. 174–186.

ICSE-2003-BatorySR #refinement #scalability

Scaling Step-Wise Refinement (DSB, JNS, AR), pp. 187–197.

ICSE-2003-CoppitS #analysis #effectiveness #modelling #tool support

Sound Methods and Effective Tools for Engineering Modeling and Analysis (DC, KJS), pp. 198–209.

ICSE-2003-RountevMR #analysis #java #morphism #polymorphism #testing

Fragment Class Analysis for Testing of Polymorphism in Java Software (AR, AM, BGR), pp. 210–220.

ICSE-2003-BertolinoP #component #deployment #framework #testing

A Framework for Component Deployment Testing (AB, AP), pp. 221–231.

ICSE-2003-HongCLSU #data flow #model checking #testing

Data Flow Testing as Model Checking (HSH, SDC, IL, OS, HU), pp. 232–243.

ICSE-2003-AbrahamssonWSR #agile #analysis #comparative

New Directions on Agile Methods: A Comparative Analysis (PA, JW, MTS, JR), pp. 244–254.

ICSE-2003-Kylmakoski #agile #authoring #documentation #performance #using

Efficient Authoring of Software Documentation Using RaPiD7 (RK), pp. 255–261.

ICSE-2003-ValettoK #adaptation #coordination #process #using

Using Process Technology to Control and Coordinate Software Adaptation (GV, GEK), pp. 262–273.

ICSE-2003-MockusWZ #comprehension #predict

Understanding and Predicting Effort in Software Projects (AM, DMW, PZ), pp. 274–284.

ICSE-2003-RuheJW #estimation #web

Cost Estimation for Web Applications (MR, DRJ, IW), pp. 285–294.

ICSE-2003-MoodySBS #concept #empirical #framework #modelling #quality #testing

Evaluating the Quality of Information Models: Empirical Testing of a Conceptual Model Quality Framework (DLM, GS, TB, AS), pp. 295–307.

ICSE-2003-LawR #impact analysis

Whole Program Path-Based Dynamic Impact Analysis (JL, GR), pp. 308–318.

ICSE-2003-ZhangGZ #algorithm #precise #slicing

Precise Dynamic Slicing Algorithms (XZ, RG, YZ), pp. 319–329.

ICSE-2003-BinkleyH #dependence #empirical #roadmap

An Empirical Study of Predicate Dependence Levels and Trends (DB, MH), pp. 330–340.

ICSE-2003-CasagniL #comparison #component #framework #multi #platform

Comparison of Two Component Frameworks: The FIPA-Compliant Multi-Agent System and The Web-Centric J2EE Platform (MC, ML), pp. 341–351.

ICSE-2003-BaniassadMS #design pattern #graph

Design Pattern Rationale Graphs: Linking Design to Source (ELAB, GCM, CS), pp. 352–362.

ICSE-2003-GriswoldBBT #architecture #component #framework

A Component Architecture for an Extensible, Highly Integrated Context-Aware Computing Infrastructure (WGG, RTB, SWB, TMT), pp. 363–373.

ICSE-2003-SpitznagelG #composition #formal method

A Compositional Formalization of Connector Wrappers (BS, DG), pp. 374–384.

ICSE-2003-ChakiCGJV #c #component #composition #verification

Modular Verification of Software Components in C (SC, EMC, AG, SJ, HV), pp. 385–395.

ICSE-2003-RayC #architecture #diagrams #interactive #modelling

Architectural Interaction Diagrams: AIDs for System Modeling (AR, RC), pp. 396–407.

ICSE-2003-CubranicM #development #named #recommendation

Hipikat: Recommending Pertinent Software Development Artifacts (DC, GCM), pp. 408–418.

ICSE-2003-YeK #comprehension #developer #motivation #open source #towards

Toward an Understanding of the Motivation of Open Source Software Developers (YY, KK), pp. 419–429.

ICSE-2003-MarburgerW #behaviour #comprehension #tool support

Tools for Understanding the Behavior of Telecommunication Systems (AM, BW), pp. 430–443.

ICSE-2003-SarmaNH #configuration management #named

Palantír: Raising Awareness among Configuration Management Workspaces (AS, ZN, AvdH), pp. 444–454.

ICSE-2003-NentwichEF #consistency

Consistency Management with Repair Actions (CN, WE, AF), pp. 455–464.

ICSE-2003-PodgurskiLFMMSW #automation

Automated Support for Classifying Software Failure Reports (AP, DL, PF, WM, MM, JS, BW), pp. 465–477.

ICSE-2003-SmeikalG #case study #distributed #fault tolerance

Fault-tolerance in a Distributed Management System: a Case Study (RS, KMG), pp. 478–483.

ICSE-2003-RaghavachariRJ #configuration management #performance #problem #reliability

The Deployer’s Problem: Configuring Application Servers for Performance and Reliability (MR, DR, RDJ), pp. 484–489.

ICSE-2003-WhittleSK #case study

From Scenarios to Code: An Air Traffic Control Case Study (JW, JS, RK), pp. 490–497.

ICSE-2003-Grimm #challenge

Software Technology in an Automotive Company — Major Challenges (KG), pp. 498–505.

ICSE-2003-GantnerB #adaptation #case study #experience #overview #process

Experiences on Defining and Evaluating an Adapted Review Process (TG, TB), pp. 506–511.

ICSE-2003-HeumesserH #requirements #towards

Towards Systematic Recycling of Systems Requirements (NH, FH), pp. 512–519.

ICSE-2003-EbertS #concept #product line

Tricks and Traps of Initiating a Product Line Concept in Existing Product (CE, MS), pp. 520–527.

ICSE-2003-Berner #case study #development #experience

About the Development of a Point of Sale System: an Experience Report (SB), pp. 528–533.

ICSE-2003-SchneiderH #effectiveness #experience #re-engineering #repository

Effective Experience Repositories for Software Engineering (KS, JPvH), pp. 534–539.

ICSE-2003-Borchers #development #multi #re-engineering

The Software Engineering Impacts of Cultural Factors on Multi-cultural Software Development Teams (GB), pp. 540–547.

ICSE-2003-Fairbanks #architecture #case study #developer #experience #modelling #why

Why Can’t They Create Architecture Models Like “Developer X”? An Experience Report (GF), pp. 548–552.

ICSE-2003-PrecheltH #architecture #co-evolution #component #experience #scalability

The Co-Evolution of a Hype and a Software Architecture: Experience of Component-Producing Large-Scale EJB Early Adopters (LP, DJH), pp. 553–556.

ICSE-2003-MooreKKA #architecture #design #lessons learnt

Quantifying the Value of Architecture Design Decisions: Lessons from the Field (MM, RK, MK, JA), pp. 557–563.

ICSE-2003-MaximilienW #agile #development #testing

Assessing Test-Driven Development at IBM (EMM, LAW), pp. 564–569.

ICSE-2003-ZageZ #analysis #fault #process #scalability

An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model (DMZ, WMZ), pp. 570–577.

ICSE-2003-LutzM #requirements #safety #testing

Requirements Discovery during the Testing of Safety-Critical Software (RRL, ICM), pp. 578–585.

ICSE-2003-HedinBM #programming #re-engineering

Introducing Software Engineering by means of Extreme Programming (GH, LB, BM), pp. 586–593.

ICSE-2003-SchneiderJ #education #perspective #programming

eXtreme Programming at Universities — An Educational Perspective (JGS, LJ), pp. 594–601.

ICSE-2003-McDowellWBF #performance #persistent #programming #student

The Impact of Pair Programming on Student Performance, Perception and Persistence (CM, LLW, HEB, JF), pp. 602–607.

ICSE-2003-SindreLV #case study #experience #programming

Positive Experiences with an Open Project Assignment in an Introductory Programming Course (GS, SL, OVV), pp. 608–613.

ICSE-2003-BakerNH #education #game studies #problem #re-engineering

Problems and Programmers: An Educational Software Engineering Card Game (AB, EON, AvdH), pp. 614–621.

ICSE-2003-HayesLP #re-engineering #towards

Evaluating Individual Contribution Toward Group Software Engineering Projects (JHH, TCL, DP), pp. 622–627.

ICSE-2003-SimpsonMGDM #assessment #on the #re-engineering

On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects (AS, AM, JG, JD, SM), pp. 628–633.

ICSE-2003-BagertM #education #process #re-engineering #using

Using a Web-Based Project Process Throughout the Software Engineering Curriculum (DJB, SAM), pp. 634–640.

ICSE-2003-JohnsonKACMMZD #analysis #metric #process

Beyond the Personal Software Process: Metrics collection and analysis for the differently disciplined (PMJ, HK, JA, CC, CAM, JM, SZ, WEJD), pp. 641–646.

ICSE-2003-Ross #concept #contract #education #programming

Teaching Contract Programming Concepts to Future Software Engineers (DFR), p. 647.

ICSE-2003-SeffahA #design

Empowering Software Engineers in Human-Centered Design (AS, AA), pp. 653–659.

ICSE-2003-Meyer #challenge #component

The Grand Challenge of Trusted Components (BM), pp. 660–667.

ICSE-2003-Cohoon #women

Must There Be So Few? Including Women in CS (JMC), pp. 668–675.

ICSE-2003-NuseibehKF #exclamation #named

ViewPoints: meaningful relationships are difficult! (BN, JK, AF), pp. 676–683.

ICSE-2003-Szyperski #component #how #question #what

Component Technology — What, Where, and How? (CAS), pp. 684–693.

ICSE-2003-SchmidtB #framework #middleware

Patterns, Frameworks, and Middleware: Their Synergistic Relationships (DCS, FB), pp. 694–704.

ICSE-2003-Kemmerer

Cybersecurity (RAK), pp. 705–717.

ICSE-2003-Broy #re-engineering

Automotive Software Engineering (MB), pp. 719–720.

ICSE-2003-Shaw #re-engineering #research

Writing Good Software Engineering Research Paper (MS), pp. 726–737.

ICSE-2003-Card #metric

Practical Software Measurement (DNC), pp. 738–739.

ICSE-2003-ClementsGLNS #architecture

Documenting Software Architectures: Views and Beyond (PCC, DG, RL, RLN, JAS), pp. 740–741.

ICSE-2003-Knight #dependence

Computing Systems Dependability (JCK), pp. 742–743.

ICSE-2003-Lamsweerde #modelling #precise #requirements #specification #uml

Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications (AvL), pp. 744–745.

ICSE-2003-ConstantineL #agile #approach #re-engineering #usability #user interface

Usage-Centered Software Engineering: An Agile Approach to Integrating Users, User Interfaces, and Usability into Software Engineering Practice (LLC, LADL), pp. 746–747.

ICSE-2003-KemmererV #detection #internet #security

Internet Security and Intrusion Detection (RAK, GV), pp. 748–749.

ICSE-2003-Schmidt #architecture #distributed

Pattern-Oriented Distributed System Architectures (DCS), p. 750.

ICSE-2003-KleinPW #product line

Industrial-Strength Software Product-Line Engineering (JK, BP, DMW), pp. 751–752.

ICSE-2003-Batory #product line #programming #tutorial

A Tutorial on Feature Oriented Programming and Product-Lines (DSB), pp. 753–754.

ICSE-2003-Selic #overview #tutorial #uml

Tutorial H2: An Overview of UML 2.0 (BS), pp. 755–756.

ICSE-2003-BoschJ #architecture #design #usability

Designing Software Architectures for Usability (JB, NJJ), pp. 757–758.

ICSE-2003-WeisUG #corba #quality #uml

Quality of Service Engineering with UML, .NET, and CORBA (TW, AU, KG), pp. 759–761.

ICSE-2003-KazmanBB #human-computer #interactive #re-engineering

Bridging the Gaps Between Software Engineering and Human-Computer Interaction (RK, LJB, JB), pp. 777–778.

ICSE-2003-ChaysD #database #relational #testing

Demonstration of AGENDA Tool Set for Testing Relational Database Applications (DC, YD), pp. 802–803.

ICSE-2003-EasterbrookCDGLPTT #model checking #multi #named #reasoning

χChek: A Model Checker for Multi-Valued Reasoning (SME, MC, BD, AG, AYCL, VP, AT, CDTW), pp. 804–805.

ICSE-2003-FredrikssonG

Trustworthy and sustainable operations in marine environments (MF, RG), pp. 806–807.

ICSE-2003-WangHGAGA #architecture #assessment #risk management #specification #uml

Architectural Level Risk Assessment Tool Based on UML Specifications (TW, AEH, AG, WA, KGP, HHA), pp. 808–809.

ICSE-2003-JarzabekBZZ #named #xml

XVCL: XML-based Variant Configuration Language (SJ, PB, HZ, WZ), pp. 810–811.

ICSE-2003-MaleticMF #3d #framework #visualisation

Source Viewer 3D (sv3D) — A Framework for Software Visualization (JIM, AM, LF), pp. 812–813.

ICSE-2003-ChanCLMNS #design #interactive #named #visual notation

DRT: A Tool for Design Recovery of Interactive Graphical Applications (KC, AC, ZCLL, AM, MHN, NS), pp. 814–815.

ICSE-2003-Padberg #process #scheduling

A Software Process Scheduling Simulator (FP), pp. 816–817.

ICSE-2003-ReissKWK #evolution #named

CLIME: An Environment for Constrained Evolution Demonstration Description (SPR, CMK, TW, SK), pp. 818–819.

ICSE-2003-Reiss #java #named #visualisation

JIVE: Visualizing Java in Action Demonstration Description (SPR), pp. 820–821.

ICSE-2003-RobillardM #source code

FEAT. A Tool for Locating, Describing, and Analyzing Concerns in Source Code (MPR, GCM), pp. 822–823.

ICSE-2003-RussellJ #architecture #embedded #evaluation #performance

Embedded Architect: A Tool for Early Performance Evaluation of Embedded Software (JTR, MFJ), pp. 824–825.

ICSE-2003-SeyboldGMM #adaptation #effectiveness #layout #modelling #visual notation

An Effective Layout Adaptation Technique for a Graphical Modeling Tool (CS, MG, SM, NMS), pp. 826–827.

ICSE-2003-YokomoriIYMKI #component #java #program analysis #slicing

Java Program Analysis Projects in Osaka University: Aspect-Based Slicing System ADAS and Ranked-Component Search System SPARS-J (RY, TI, TY, MM, SK, KI), pp. 828–829.