Proceedings of the 25th International Conference on Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

SE
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.