Anthony Finkelstein, Jacky Estublier, David S. Rosenblum
Proceedings of the 26th International Conference on Software Engineering
ICSE, 2004.
@proceedings{ICSE-2004,
acmid = "998675",
address = "Edinburgh, Scotland, United Kingdom",
editor = "Anthony Finkelstein and Jacky Estublier and David S. Rosenblum",
isbn = "0-7695-2163-0",
publisher = "{IEEE Computer Society}",
title = "{Proceedings of the 26th International Conference on Software Engineering}",
year = 2004,
}
Contents (108 items)
- ICSE-2004-Lieberherr #complexity #design
- Controlling the Complexity of Software Design (KJL), pp. 2–11.
- ICSE-2004-BarkerT #challenge #re-engineering
- Software Engineering Challenges in Bioinformatics (JAB, JMT), pp. 12–15.
- ICSE-2004-BirmanRV #behaviour #web #web service
- Adding High Availability and Autonomic Behavior to Web Services (KPB, RvR, WV), pp. 17–26.
- ICSE-2004-Foster #community #distributed #grid #scalability
- Grid Small and Large: Distributed Systems and Global Communities (ITF), p. 27.
- ICSE-2004-Rodrigues #approach #modelling #reliability
- A Model Driven Approach for Software Systems Reliability (GNR), pp. 30–32.
- ICSE-2004-Alda #adaptation #architecture #component #peer-to-peer #self
- Component-Based Self-Adaptability in Peer-to-Peer Architectures (SA), pp. 33–35.
- ICSE-2004-Rajan #integration
- One More Step in the Direction of Modularized Integration Concerns (HR), pp. 36–38.
- ICSE-2004-Kang #analysis #approximate #embedded #parametricity #realtime
- Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation (EYK), pp. 39–41.
- ICSE-2004-Loconsole #empirical #metric
- Empirical Studies on Requirement Management Measures (AL), pp. 42–44.
- ICSE-2004-Keenan #agile #analysis #problem #process
- Agile Process Tailoring and probLem analYsis (APTLY) (FK), pp. 45–47.
- ICSE-2004-Mantyla #design #quality
- Developing New Approaches for Software Design Quality Improvement Based on Subjective Evaluations (MM), pp. 48–50.
- ICSE-2004-Zschaler #component #concept #non-functional #research #semantics #specification
- Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software (SZ), pp. 51–53.
- ICSE-2004-Jones #fault #locality #using #visualisation
- Fault Localization Using Visualization of Test Information (JAJ), pp. 54–56.
- ICSE-2004-Kirk #flexibility #process
- A Flexible Software Process Model (DK), pp. 57–59.
- ICSE-2004-Nagappan #metric #reliability #testing #towards
- Toward a Software Testing and Reliability Early Warning Metric Suite (NN), pp. 60–62.
- ICSE-2004-Pacione #comprehension #object-oriented #visualisation
- Software Visualisation for Object-Oriented Program Comprehension (MJP), pp. 63–65.
- ICSE-2004-OReilly #approach #coordination
- A Weakly Constrained Approach to Software Change Coordination (CO), pp. 66–68.
- ICSE-2004-Roshandel #analysis #architecture #modelling #reliability
- Calculating Architectural Reliability via Modeling and Analysis (RR), pp. 69–71.
- ICSE-2004-PrietoA #formal method #multi #named #requirements #specification
- chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications (ABBM, JJPA), pp. 72–74.
- ICSE-2004-Tenzer #design #game studies #tool support #uml
- Improving UML Design Tools by Formal Games (JT), pp. 75–77.
- ICSE-2004-Mariani #behaviour #component #evolution #verification
- Behavior Capture and Test for Verifying Evolving Component-Based Systems (LM), pp. 78–80.
- ICSE-2004-Waewsawangwong #approach #architecture #component #constraints #self
- A Constraint Architectural Description Approach to Self-Organising Component-Based Software Systems (PW), pp. 81–83.
- ICSE-2004-BriandLW #empirical #simulation #statechart #test coverage #using
- Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart (LCB, YL, YW), pp. 86–95.
- ICSE-2004-LeowKS #automation #generative #source code #specification #testing
- Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases (WKL, SCK, YS), pp. 96–105.
- ICSE-2004-BlackMK #modelling #reduction #testing
- Bi-Criteria Models for All-Uses Test Suite Reduction (JB, EM, DRK), pp. 106–115.
- ICSE-2004-HasselbringRJSTK #case study #design pattern #experience #information management #migration
- The Dublo Architecture Pattern for Smooth Migration of Business Information Systems: An Experience Report (WH, RR, HJ, JS, TT, SK), pp. 117–126.
- ICSE-2004-Matinlassi #architecture #comparison #design #performance #product line
- Comparison of Software Product Line Architecture Design Methods: COPA, FAST, FORM, KobrA and QADA (MM), pp. 127–136.
- ICSE-2004-BlackburnCM #garbage collection #java #performance
- Oil and Water? High Performance Garbage Collection in Java with MMTk (SMB, PC, KSM), pp. 137–146.
- ICSE-2004-Lamsweerde #anti #requirements #security
- Elaborating Security Requirements by Construction of Intentional Anti-Models (AvL), pp. 148–157.
- ICSE-2004-BaniassadC #analysis #approach #aspect-oriented #design #named
- Theme: An Approach for Aspect-Oriented Analysis and Design (ELAB, SC), pp. 158–167.
- ICSE-2004-AlfonsoBKO #visual notation
- Visual Timed Event Scenarios (AA, VAB, NK, AO), pp. 168–177.
- ICSE-2004-SkeneLE #precise
- Precise Service Level Agreements (JS, DDL, WE), pp. 179–188.
- ICSE-2004-WohlstadterTMRD #interactive #middleware #named #policy
- GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions (EW, ST, TAM, IR, PTD), pp. 189–199.
- ICSE-2004-DongLLW #verification
- Verifying DAML+OIL and Beyond in Z/EVES (JSD, CHL, YFL, HHW), pp. 201–210.
- ICSE-2004-GiannakopoulouPC #source code #verification
- Assume-Guarantee Verification of Source Code with Design-Level Assumptions (DG, CSP, JMC), pp. 211–220.
- ICSE-2004-CaporuscioIP #architecture #composition #middleware #verification
- Compositional Verification of Middleware-Based Software Architecture Descriptions (MC, PI, PP), pp. 221–230.
- ICSE-2004-Berenbach #analysis #design #evaluation #scalability #uml
- The Evaluation of Large, Complex UML Analysis and Design Model (BB), pp. 232–241.
- ICSE-2004-ZiadiHJ #algebra #approach #statechart #synthesis
- Revisiting Statechart Synthesis with an Algebraic Approach (TZ, LH, JMJ), pp. 242–251.
- ICSE-2004-MakCL #design pattern #modelling #precise #uml
- Precise Modeling of Design Patterns in UML (JKHM, CSTC, DPKL), pp. 252–261.
- ICSE-2004-Thelin #estimation #fault #process
- Team-Based Fault Content Estimation in the Software Inspection Process (TT), pp. 263–272.
- ICSE-2004-KitchenhamDJ #re-engineering
- Evidence-Based Software Engineering (BAK, TD, MJ), pp. 273–281.
- ICSE-2004-MohagheghiCKS #empirical #reuse
- An Empirical Study of Software Reuse vs. Defect-Density and Stability (PM, RC, OMK, HS), pp. 282–292.
- ICSE-2004-ZhaoZLSY #approach #feature model #named #towards
- SNIAFL: Towards a Static Non-Interactive Approach to Feature Location (WZ, LZ, YL, JS, FY), pp. 293–303.
- ICSE-2004-HaRCRD #case study #composition #experience #induction #proving #realtime
- Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report (VH, MR, DDC, HR, BD), pp. 304–313.
- ICSE-2004-ChatterjeeAASV #database #development #using #version control
- Using Data Versioning in Database Application Development (RC, GA, SA, BS, RV), pp. 315–325.
- ICSE-2004-BeyerCM #generative #testing
- Generating Tests from Counterexamples (DB, AC, TAH, RJ, RM), pp. 326–335.
- ICSE-2004-SinhaOH #automation #control flow #development #maintenance #testing
- Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow (SS, AO, MJH), pp. 336–345.
- ICSE-2004-EugsterDG #development #distributed #towards
- Towards Safe Distributed Application Development (PTE, CHD, RG), pp. 347–356.
- ICSE-2004-GrechanikBP #design #scalability
- Design of Large-Scale Polylingual Systems (MG, DSB, DEP), pp. 357–366.
- ICSE-2004-Francois #architecture #data type #distributed #hybrid #parallel
- A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams (ARJF), pp. 367–376.
- ICSE-2004-ManhartS #agile #case study #development #embedded #experience #industrial
- Breaking the Ice for Agile Development of Embedded Software: An Industry Experience Report (PM, KS), pp. 378–386.
- ICSE-2004-FroehlichD #development #distributed #process #visual notation
- Unifying Artifacts and Activities in a Visual Tool for Distributed Software Development Teams (JF, PD), pp. 387–396.
- ICSE-2004-FentonMNCFT #resource management
- Making Resource Decisions for Software Projects (NEF, WM, MN, PC, SF, MT), pp. 397–406.
- ICSE-2004-RyanW #evolution #protocol #using
- Using Event-Based Translation to Support Dynamic Protocol Evolution (NDR, ALW), pp. 408–417.
- ICSE-2004-SenVAR #distributed #monitoring #performance #safety
- Efficient Decentralized Monitoring of Safety in Distributed Systems (KS, AV, GA, GR), pp. 418–427.
- ICSE-2004-KhareT #architecture #distributed #rest
- Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems (RK, RNT), pp. 428–437.
- ICSE-2004-AntoniuSKNF #correctness #source code #spreadsheet #validation
- Validating the Unit Correctness of Spreadsheet Programs (TA, PAS, SK, EN, MF), pp. 439–448.
- ICSE-2004-HenkelD #algebra #debugging #specification
- A Tool for Writing and Debugging Algebraic Specifications (JH, AD), pp. 449–458.
- ICSE-2004-MemonPYNSN #assurance #distributed #named #quality
- Skoll: Distributed Continuous Quality Assurance (AMM, AAP, CY, AN, DCS, BN), pp. 459–468.
- ICSE-2004-YanGSAK #architecture #named
- DiscoTect: A System for Discovering Architectures from Running Systems (HY, DG, BRS, JA, RK), pp. 470–479.
- ICSE-2004-BrunE #fault #machine learning
- Finding Latent Code Errors via Machine Learning over Program Executions (YB, MDE), pp. 480–490.
- ICSE-2004-OrsoALRH #algorithm #comparison #empirical #impact analysis
- An Empirical Comparison of Dynamic Impact Analysis Algorithms (AO, TA, JL, GR, MJH), pp. 491–500.
- ICSE-2004-ZhangGZ #diagrams #dynamic analysis #order #performance #slicing #using
- Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams (XZ, RG, YZ), pp. 502–511.
- ICSE-2004-WangR #bytecode #java #slicing #source code #using
- Using Compressed Bytecode Traces for Slicing Java Programs (TW, AR), pp. 512–521.
- ICSE-2004-AkgulMP #assembly #execution #performance #slicing
- A Fast Assembly Level Reverse Execution Method via Dynamic Slicing (TA, VJMI, SP), pp. 522–531.
- ICSE-2004-RaadtSPV #architecture
- Polyphony in Architecture (BvdR, JS, MP, HvV), pp. 533–542.
- ICSE-2004-GortonH #architecture #case study #experience #nondeterminism
- Architecting in the Face of Uncertainty: An Experience Report (IG, JH), pp. 543–551.
- ICSE-2004-TurnerZKRBBBKLR #case study #experience #using #web #web service
- Using Web Service Technologies to Create an Information Broker: An Experience Report (MT, FZ, IAK, MR, DB, KHB, PB, JAK, PJL, MR), pp. 552–561.
- ICSE-2004-ZimmermannWDZ #mining #version control
- Mining Version Histories to Guide Software Changes (TZ, PW, SD, AZ), pp. 563–572.
- ICSE-2004-LingenH #composition #configuration management #framework #policy
- An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy Composition (RvdL, AvdH), pp. 573–582.
- ICSE-2004-DolstraVJ #deployment #memory management
- Imposing a Memory Management Discipline on Software Deployment (ED, EV, MdJ), pp. 583–592.
- ICSE-2004-HillmanW #configuration management #framework
- An Open Framework for Dynamic Reconfiguration (JH, IW), pp. 594–603.
- ICSE-2004-PoladianSGS #resource management
- Dynamic Configuration of Resource-Aware Services (VP, JPS, DG, MS), pp. 604–613.
- ICSE-2004-CervantesH #adaptation #component #using
- Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model (HC, RSH), pp. 614–623.
- ICSE-2004-BaxterPM #evolution #program transformation #scalability
- DMS®: Program Transformations for Practical Scalable Software Evolution (IDB, CWP, MM), pp. 625–634.
- ICSE-2004-TanAC #heuristic #refinement
- Heuristic-Based Model Refinement for FLAVERS (JT, GSA, LAC), pp. 635–644.
- ICSE-2004-GouldSD #database #query #static analysis
- Static Checking of Dynamically Generated Queries in Database Applications (CG, ZS, PTD), pp. 645–654.
- ICSE-2004-ChatzigeorgiouXS #analysis #design #object-oriented
- Evaluating Object-Oriented Designs with Link Analysis (AC, SX, GS), pp. 656–665.
- ICSE-2004-SoundarajanH #design pattern #specification
- Responsibilities and Rewards: Specifying Design Patterns (NS, JOH), pp. 666–675.
- ICSE-2004-BlackS #named #tool support
- Traits: Tools and Methodology (APB, NS), pp. 676–686.
- ICSE-2004-RedmilesN
- Supporting Reflective Practitioners (DFR, KN), pp. 688–690.
- ICSE-2004-Tichy #agile #development #evaluation #experience
- Agile Development: Evaluation and Experience (WFT), p. 692.
- ICSE-2004-BustardHS #named #re-engineering #research
- BoF: New Directions in UK Software Engineering Research (DWB, MH, IS), pp. 693–694.
- ICSE-2004-GouldSD04a #sql #static analysis
- JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications (CG, ZS, PTD), pp. 697–698.
- ICSE-2004-OrsoJHS #named #visualisation
- Gammatella: Visualization of Program-Execution Data for Deployed Software (AO, JAJ, MJH, JTS), pp. 699–700.
- ICSE-2004-Batory #feature model #programming
- Feature-Oriented Programming and the AHEAD Tool Suite (DSB), pp. 702–703.
- ICSE-2004-SchmerlG #architecture #development #named
- AcmeStudio: Supporting Style-Centered Architecture Development (BRS, DG), pp. 704–705.
- ICSE-2004-WohlstadterJD #design #distributed #feature model #implementation
- Design and Implementation of Distributed Crosscutting Features with DADO (EW, SJ, PTD), pp. 706–707.
- ICSE-2004-OliveiraW #community
- The CommUnity Workbench (CO, MW), pp. 709–710.
- ICSE-2004-Breen #incremental #named #specification
- Statestep: A Tool for Systematic, Incremental Specification (MB), pp. 711–712.
- ICSE-2004-SeyffGMT #mobile #requirements #tool support
- Requirements Engineering Tools Go Mobile (NS, PG, NAMM, AT), pp. 713–714.
- ICSE-2004-BassJJS #design pattern #usability
- Usability-Supporting Architectural Patterns (LB, BEJ, NJJ, MISS), pp. 716–717.
- ICSE-2004-BoehmT #agile
- Balancing Agility and Discipline: Evaluating and Integrating Agile and Plan-Driven Methods (BWB, RT), pp. 718–719.
- ICSE-2004-Bosch #variability
- Software Variability Management (JB), pp. 720–721.
- ICSE-2004-Card #re-engineering #statistics
- Statistical Techniques for Software Engineering Practice (DNC), pp. 722–723.
- ICSE-2004-Dong #modelling #semantics #web
- Software Modeling Techniques and the Semantic Web (JSD), pp. 724–725.
- ICSE-2004-GortonL #architecture #enterprise #integration
- Architectures and Technologies for Enterprise Application Integration (IG, AL), pp. 726–727.
- ICSE-2004-HarmanW #re-engineering #search-based
- Getting Results from Search-Based Approaches to Software Engineering (MH, JW), pp. 728–729.
- ICSE-2004-Knight #dependence
- An Introduction to Computing System Dependability (JCK), pp. 730–731.
- ICSE-2004-KontioHRA #agile #challenge #development #distributed #risk management
- Managing Commitments and Risks: Challenges in Distributed Agile Development (JK, MH, JR, PA), pp. 732–733.
- ICSE-2004-NierstraszD #object-oriented #re-engineering
- Object-Oriented Reengineering Patterns (ON, SD), pp. 734–735.
- ICSE-2004-PerrySE #case study
- Case Studies for Software Engineers (DEP, SES, SME), pp. 736–738.
- ICSE-2004-PezzeY #object-oriented #testing
- Testing Object Oriented Software (MP, MY), pp. 739–740.
- ICSE-2004-Selic #named #overview #tutorial #uml
- Tutorial: An Overview of UML 2.0 (BS), pp. 741–742.
- ICSE-2004-Tonella #concept analysis #re-engineering
- Formal Concept Analysis in Software Engineering (PT), pp. 743–744.
- ICSE-2004-DeursenR #architecture #re-engineering
- Software Architecture Reconstruction (AvD, CR), pp. 745–746.
- ICSE-2004-DuboisF #component #evaluation #modelling #off the shelf #process
- Models and Processes for the Evaluation of COTS Components (ED, XF), pp. 759–760.
- ICSE-2004-KazmanBJ #human-computer #interactive #re-engineering
- Bridging the Gaps II: Bridging the Gaps between Software Engineering and Human-Computer Interaction (RK, LB, BEJ), pp. 773–774.
13 ×#architecture
12 ×#named
9 ×#design
9 ×#distributed
9 ×#re-engineering
8 ×#development
8 ×#using
6 ×#analysis
6 ×#approach
6 ×#case study
12 ×#named
9 ×#design
9 ×#distributed
9 ×#re-engineering
8 ×#development
8 ×#using
6 ×#analysis
6 ×#approach
6 ×#case study