default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th ICSE 2004: Edinburgh, Scotland, UK
- Anthony Finkelstein, Jacky Estublier, David S. Rosenblum:
26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom. IEEE Computer Society 2004, ISBN 0-7695-2163-0
Keynote Talks
- Karl J. Lieberherr:
Controlling the Complexity of Software Design. 2-11 - Jonathan A. Barker, Janet M. Thornton:
Software Engineering Challenges in Bioinformatics. 12-15
Linkages
- Kenneth P. Birman, Robbert van Renesse, Werner Vogels:
Adding High Availability and Autonomic Behavior to Web Services. 17-26 - Ian T. Foster:
Grid Small and Large: Distributed Systems and Global Communities. 27
Doctoral Symposium
Invited Participants
- Genaína Nunes Rodrigues:
A Model Driven Approach for Software Systems Reliability. 30-32 - Sascha Alda:
Component-Based Self-Adaptability in Peer-to-Peer Architectures. 33-35 - Hridesh Rajan:
One More Step in the Direction of Modularized Integration Concerns. 36-38 - Eun-Young Kang:
Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation. 39-41 - Annabella Loconsole:
Empirical Studies on Requirement Management Measures. 42-44 - Frank Keenan:
Agile Process Tailoring and probLem analYsis (APTLY). 45-47 - Mika Mäntylä:
Developing New Approaches for Software Design Quality Improvement Based on Subjective Evaluations. 48-50 - Steffen Zschaler:
Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software. 51-53 - James A. Jones:
Fault Localization Using Visualization of Test Information. 54-56 - Diana Kirk:
A Flexible Software Process Model. 57-59 - Nachiappan Nagappan:
Toward a Software Testing and Reliability Early Warning Metric Suite. 60-62 - Michael John Pacione:
Software Visualisation for Object-Oriented Program Comprehension. 63-65 - Ciaran O'Reilly:
A Weakly Constrained Approach to Software Change Coordination. 66-68 - Roshanak Roshandel:
Calculating Architectural Reliability via Modeling and Analysis. 69-71 - Ana Belén Barragáns-Martínez, José Juan Pazos-Arias:
chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications. 72-74 - Jennifer Tenzer:
Improving UML Design Tools by Formal Games . 75-77 - Leonardo Mariani:
Behavior Capture and Test for Verifying Evolving Component-Based Systems. 78-80 - Pakorn Waewsawangwong:
A Constraint Architectural Description Approach to Self-Organising Component-Based Software Systems. 81-83
Technical Sessions
Testing I
- Lionel C. Briand, Yvan Labiche, Yihong Wang:
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart. 86-95 - Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun:
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases. 96-105 - Jennifer Black, Emanuel Melachrinoudis, David R. Kaeli:
Bi-Criteria Models for All-Uses Test Suite Reduction. 106-115
Patterns and Frameworks
- Wilhelm Hasselbring, Ralf H. Reussner, Holger Jaekel, Jürgen Schlegelmilch, Thorsten Teschke, Stefan Krieghoff:
The Dublo Architecture Pattern for Smooth Migration of Business Information Systems: An Experience Report. 117-126 - Mari Matinlassi:
Comparison of Software Product Line Architecture Design Methods: COPA, FAST, FORM, KobrA and QADA. 127-136 - Stephen M. Blackburn, Perry Cheng, Kathryn S. McKinley:
Oil and Water? High Performance Garbage Collection in Java with MMTk. 137-146
Requirements
- Axel van Lamsweerde:
Elaborating Security Requirements by Construction of Intentional Anti-Models. 148-157 - Elisa L. A. Baniassad, Siobhán Clarke:
Theme: An Approach for Aspect-Oriented Analysis and Design. 158-167 - Alejandra Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero:
Visual Timed Event Scenarios. 168-177
Quality of Service
- James Skene, D. Davide Lamanna, Wolfgang Emmerich:
Precise Service Level Agreements. 179-188 - Eric Wohlstadter, Stefan Tai, Thomas A. Mikalsen, Isabelle Rouvellou, Premkumar T. Devanbu:
GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions. 189-199
Verification
- Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang:
Verifying DAML+OIL and Beyond in Z/EVES. 201-210 - Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh:
Assume-Guarantee Verification of Source Code with Design-Level Assumptions. 211-220 - Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione
:
Compositional Verification of Middleware-Based Software Architecture Descriptions. 221-230
Unified Modeling Language
- Brian Berenbach:
The Evaluation of Large, Complex UML Analysis and Design Model. 232-241 - Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel:
Revisiting Statechart Synthesis with an Algebraic Approach. 242-251 - Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Daniel Pak-Kong Lun:
Precise Modeling of Design Patterns in UML. 252-261
Empirical Methods
- Thomas Thelin:
Team-Based Fault Content Estimation in the Software Inspection Process. 263-272 - Barbara A. Kitchenham, Tore Dybå, Magne Jørgensen:
Evidence-Based Software Engineering. 273-281 - Parastoo Mohagheghi, Reidar Conradi, Ole M. Killi, Henrik Schwarz:
An Empirical Study of Software Reuse vs. Defect-Density and Stability. 282-292
Feature-Based Software Engineering
- Wei Zhao, Lu Zhang, Yin Liu, Jiasu Sun, Fuqing Yang:
SNIAFL: Towards a Static Non-Interactive Approach to Feature Location. 293-303 - Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre:
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. 304-313
Testing II
- Ramkrishna Chatterjee, Gopalan Arun, Sanjay Agarwal, Ben Speckhard, Ramesh Vasudevan:
Using Data Versioning in Database Application Development. 315-325 - Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Generating Tests from Counterexamples. 326-335 - Saurabh Sinha, Alessandro Orso, Mary Jean Harrold:
Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow. 336-345
Software Architecture I
- Patrick Th. Eugster, Christian Heide Damm, Rachid Guerraoui:
Towards Safe Distributed Application Development. 347-356 - Mark Grechanik, Don S. Batory, Dewayne E. Perry:
Design of Large-Scale Polylingual Systems. 357-366 - Alexandre R. J. François:
A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams. 367-376
Process and Project Management
- Peter Manhart, Kurt Schneider:
Breaking the Ice for Agile Development of Embedded Software: An Industry Experience Report. 378-386 - Jon Froehlich, Paul Dourish:
Unifying Artifacts and Activities in a Visual Tool for Distributed Software Development Teams. 387-396 - Norman E. Fenton, William Marsh, Martin Neil, Patrick Cates, Simon Forey, Manesh Tailor:
Making Resource Decisions for Software Projects. 397-406
Decentralized Systems
- Nathan D. Ryan, Alexander L. Wolf:
Using Event-Based Translation to Support Dynamic Protocol Evolution. 408-417 - Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu:
Efficient Decentralized Monitoring of Safety in Distributed Systems. 418-427 - Rohit Khare, Richard N. Taylor:
Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems. 428-437
Analysis Tools
- Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen:
Validating the Unit Correctness of Spreadsheet Programs. 439-448 - Johannes Henkel, Amer Diwan:
A Tool for Writing and Debugging Algebraic Specifications. 449-458 - Atif M. Memon, Adam A. Porter, Cemal Yilmaz, Adithya Nagarajan, Douglas C. Schmidt, Balachandran Natarajan:
Skoll: Distributed Continuous Quality Assurance. 459-468
Dynamic Analysis
- Hong Yan, David Garlan, Bradley R. Schmerl, Jonathan Aldrich, Rick Kazman:
DiscoTect: A System for Discovering Architectures from Running Systems. 470-479 - Yuriy Brun, Michael D. Ernst:
Finding Latent Code Errors via Machine Learning over Program Executions. 480-490 - Alessandro Orso, Taweesup Apiwattanapong, James Law, Gregg Rothermel, Mary Jean Harrold:
An Empirical Comparison of Dynamic Impact Analysis Algorithms. 491-500
Slicing
- Xiangyu Zhang, Rajiv Gupta, Youtao Zhang:
Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams. 502-511 - Tao Wang, Abhik Roychoudhury:
Using Compressed Bytecode Traces for Slicing Java Programs. 512-521 - Tankut Akgul, Vincent John Mooney III, Santosh Pande:
A Fast Assembly Level Reverse Execution Method via Dynamic Slicing. 522-531
Software Architecture II
- Bas van der Raadt, Jasper Soetendal, Michiel Perdeck, Hans van Vliet:
Polyphony in Architecture. 533-542 - Ian Gorton, Jereme Haack:
Architecting in the Face of Uncertainty: An Experience Report. 543-551 - Mark Turner, Fujun Zhu, Ioannis Kotsiopoulos, Michelle Russell, David Budgen, Keith H. Bennett, Pearl Brereton, John A. Keane, Paul J. Layzell, Michael Rigby:
Using Web Service Technologies to Create an Information Broker: An Experience Report. 552-561
Software Configuration Management and Deployment
- Thomas Zimmermann, Peter Weißgerber, Stephan Diehl, Andreas Zeller:
Mining Version Histories to Guide Software Changes. 563-572 - Ronald van der Lingen, André van der Hoek:
An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy Composition. 573-582 - Eelco Dolstra, Eelco Visser, Merijn de Jonge:
Imposing a Memory Management Discipline on Software Deployment. 583-592
Dynamic Reconfiguration
- Jamie Hillman, Ian Warren:
An Open Framework for Dynamic Reconfiguration. 594-603 - Vahe Poladian, João Pedro Sousa, David Garlan, Mary Shaw:
Dynamic Configuration of Resource-Aware Services. 604-613 - Humberto Cervantes, Richard S. Hall:
Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model. 614-623
Static Analysis
- Ira D. Baxter, Christopher W. Pidgeon, Michael Mehlich:
DMS®: Program Transformations for Practical Scalable Software Evolution. 625-634 - Jianbin Tan, George S. Avrunin, Lori A. Clarke:
Heuristic-Based Model Refinement for FLAVERS. 635-644 - Carl Gould, Zhendong Su, Premkumar T. Devanbu:
Static Checking of Dynamically Generated Queries in Database Applications. 645-654
Object-Oriented Programming
- Alexander Chatzigeorgiou, Spiros Xanthos, George Stephanides:
Evaluating Object-Oriented Designs with Link Analysis. 656-665 - Neelam Soundarajan, Jason O. Hallstrom:
Responsibilities and Rewards: Specifying Design Patterns. 666-675 - Andrew P. Black, Nathanael Schärli:
Traits: Tools and Methodology. 676-686
Panels
- David F. Redmiles, Kumiyo Nakakoji:
Supporting Reflective Practitioners. 688-690 - Jean-Marc Jézéquel, Wolfgang Emmerich:
Panel MDA in Practice. 691 - Walter F. Tichy:
Agile Development: Evaluation and Experience. 692 - David W. Bustard, Mike Holcombe, Ian Sommerville:
BoF: New Directions in UK Software Engineering Research. 693-694
Research (Formal) Demos
Analysis and Visualization
- Carl Gould, Zhendong Su, Premkumar T. Devanbu:
JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications. 697-698 - Alessandro Orso, James A. Jones, Mary Jean Harrold, John T. Stasko:
Gammatella: Visualization of Program-Execution Data for Deployed Software. 699-700
Design Tools
- Don S. Batory:
Feature-Oriented Programming and the AHEAD Tool Suite. 702-703 - Bradley R. Schmerl, David Garlan:
AcmeStudio: Supporting Style-Centered Architecture Development. 704-705 - Eric Wohlstadter, Stoney Jackson, Premkumar T. Devanbu:
Design and Implementation of Distributed Crosscutting Features with DADO. 706-707
Requirements and Specifications
- Cristóvão Oliveira, Michel Wermelinger:
The CommUnity Workbench. 709-710 - Michael Breen:
Statestep: A Tool for Systematic, Incremental Specification. 711-712 - Norbert Seyff, Paul Grünbacher, Neil A. M. Maiden, Amit Tosar:
Requirements Engineering Tools Go Mobile. 713-714
Tutorials
- Len Bass, Bonnie E. John, Natalia Juristo Juzgado, María Isabel Sánchez Segura:
Usability-Supporting Architectural Patterns. 716-717 - Barry W. Boehm, Richard Turner:
Balancing Agility and Discipline: Evaluating and Integrating Agile and Plan-Driven Methods. 718-719 - Jan Bosch:
Software Variability Management. 720-721 - David N. Card:
Statistical Techniques for Software Engineering Practice. 722-723 - Jin Song Dong:
Software Modeling Techniques and the Semantic Web. 724-725 - Ian Gorton, Anna Liu:
Architectures and Technologies for Enterprise Application Integration. 726-727 - Mark Harman, Joachim Wegener:
Getting Results from Search-Based Approaches to Software Engineering. 728-729 - John C. Knight:
An Introduction to Computing System Dependability. 730-731 - Jyrki Kontio, Magnus Höglund, Jan Rydén, Pekka Abrahamsson:
Managing Commitments and Risks: Challenges in Distributed Agile Development. 732-733 - Oscar Nierstrasz, Serge Demeyer:
Object-Oriented Reengineering Patterns. 734-735 - Dewayne E. Perry, Susan Elliott Sim, Steve M. Easterbrook:
Case Studies for Software Engineers. 736-738 - Mauro Pezzè, Michal Young:
Testing Object Oriented Software. 739-740 - Bran Selic:
Tutorial: An Overview of UML 2.0. 741-742 - Paolo Tonella:
Formal Concept Analysis in Software Engineering. 743-744 - Arie van Deursen, Claudio Riva:
Software Architecture Reconstruction. 745-746
Workshops
- Robert Balzer, Marin Litoiu, Hausi A. Müller, Dennis B. Smith, Margaret-Anne D. Storey, Scott R. Tilley, Kenny Wong:
4th International Workshop on Adoption-Centric Software Engineering. 748-74 - Antonio Carzaniga, Pascal Fenkam:
Third International Workshop on Distributed Event-Based Systems - DEBS '04. 750-751 - Ricardo Choren, Alessandro F. Garcia, Carlos José Pereira de Lucena, Martin L. Griss, David Chenho Kung, Naftaly H. Minsky, Alexander B. Romanovsky:
Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04. 752-753 - Karl Cox, Jon G. Hall, Lucia Rapanotti:
1st International Workshop on Advances and Applications of Problem Frames. 754-755 - Daniela E. Damian, Filippo Lanubile:
The 3rd International Workshop on Global Software Development. 756-757 - Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky:
Twin Workshops on Architecting Dependable Systems (WADS 2004). 758 - Eric Dubois, Xavier Franch:
Models and Processes for the Evaluation of COTS Components. 759-760 - Hakan Erdogmus, Jyrki Kontio, Michael A. Cusumano, David Raffo:
The Sixth International Workshop on Economics-Driven Software Engineering Research (EDSER-6). 761-762 - David Evans, Raimondas Lencevicius:
Second International Workshop on Dynamic Analysis (WODA 2004). 763 - Joseph Feller, Brian Fitzgerald, Scott A. Hissam, Karim R. Lakhani:
Collaboration, Conflict and Control: The 4th Workshop on Open Source Software Engineering. 764-765 - Holger Giese, Ingolf Krüger:
Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04). 766-767 - John C. Grundy, Ray Welland, Hermann Stoeckle:
Workshop on Directions in Software Engineering Environments (WoDiSEE). 768-769 - Ahmed E. Hassan, Richard C. Holt, Audris Mockus:
MSR 2004: International Workshop on Mining Software Repositories. 770-771 - Philip Johnson:
Workshop on Software Engineering for High Performance Computing System (HPCS) Applications. 772 - Rick Kazman, Len Bass, Bonnie E. John:
Bridging the Gaps II: Bridging the Gaps between Software Engineering and Human-Computer Interaction. 773-774 - Alessandro Orso, Adam A. Porter:
Second ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS). 775-776 - Dietmar Pfahl, Ioana Rus, David Raffo, Paul Wernick:
ProSim'04 - The 5th International Workshop on Software Process Simulation and Modeling. 777-778 - Christian Salzmann, Thomas Stauner, Alexander Pretschner:
ICSE Workshop: Software Engineering for Automotive Systems. 779 - Bernard Wong, Sunita Chulani, June M. Verner, Barry W. Boehm:
Second Workshop on Software Quality. 780-782
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-03 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
