ICSE A*

127 papers

YearTitle / Authors
20041st International Workshop on Advances and Applications of Problem Frames.
Karl Cox, Jon G. Hall, Lucia Rapanotti
200426th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom
Anthony Finkelstein, Jacky Estublier, David S. Rosenblum
20044th International Workshop on Adoption-Centric Software Engineering.
Robert Balzer, Marin Litoiu, Hausi A. Müller, Dennis B. Smith, Margaret-Anne D. Storey, Scott R. Tilley, Kenny Wong
2004A Constraint Architectural Description Approach to Self-Organising Component-Based Software Systems.
Pakorn Waewsawangwong
2004A Fast Assembly Level Reverse Execution Method via Dynamic Slicing.
Tankut Akgul, Vincent John Mooney III, Santosh Pande
2004A Flexible Software Process Model.
Diana Kirk
2004A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams.
Alexandre R. J. François
2004A Model Driven Approach for Software Systems Reliability.
Genaína Nunes Rodrigues
2004A Tool for Writing and Debugging Algebraic Specifications.
Johannes Henkel, Amer Diwan
2004A Weakly Constrained Approach to Software Change Coordination.
Ciaran O'Reilly
2004AcmeStudio: Supporting Style-Centered Architecture Development.
Bradley R. Schmerl, David Garlan
2004Adding High Availability and Autonomic Behavior to Web Services.
Kenneth P. Birman, Robbert van Renesse, Werner Vogels
2004Agile Development: Evaluation and Experience.
Walter F. Tichy
2004Agile Process Tailoring and probLem analYsis (APTLY).
Frank Keenan
2004An Empirical Comparison of Dynamic Impact Analysis Algorithms.
Alessandro Orso, Taweesup Apiwattanapong, James Law, Gregg Rothermel, Mary Jean Harrold
2004An Empirical Study of Software Reuse vs. Defect-Density and Stability.
Parastoo Mohagheghi, Reidar Conradi, Ole M. Killi, Henrik Schwarz
2004An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy Composition.
Ronald van der Lingen, André van der Hoek
2004An Introduction to Computing System Dependability.
John C. Knight
2004An Open Framework for Dynamic Reconfiguration.
Jamie Hillman, Ian Warren
2004Architecting in the Face of Uncertainty: An Experience Report.
Ian Gorton, Jereme Haack
2004Architectures and Technologies for Enterprise Application Integration.
Ian Gorton, Anna Liu
2004Assume-Guarantee Verification of Source Code with Design-Level Assumptions.
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh
2004Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases.
Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun
2004Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow.
Saurabh Sinha, Alessandro Orso, Mary Jean Harrold
2004Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model.
Humberto Cervantes, Richard S. Hall
2004Balancing Agility and Discipline: Evaluating and Integrating Agile and Plan-Driven Methods.
Barry W. Boehm, Richard Turner
2004Behavior Capture and Test for Verifying Evolving Component-Based Systems.
Leonardo Mariani
2004Bi-Criteria Models for All-Uses Test Suite Reduction.
Jennifer Black, Emanuel Melachrinoudis, David R. Kaeli
2004BoF: New Directions in UK Software Engineering Research.
David W. Bustard, Mike Holcombe, Ian Sommerville
2004Breaking the Ice for Agile Development of Embedded Software: An Industry Experience Report.
Peter Manhart, Kurt Schneider
2004Bridging the Gaps II: Bridging the Gaps between Software Engineering and Human-Computer Interaction.
Rick Kazman, Len Bass, Bonnie E. John
2004Calculating Architectural Reliability via Modeling and Analysis.
Roshanak Roshandel
2004Case Studies for Software Engineers.
Dewayne E. Perry, Susan Elliott Sim, Steve M. Easterbrook
2004Collaboration, Conflict and Control: The 4th Workshop on Open Source Software Engineering.
Joseph Feller, Brian Fitzgerald, Scott A. Hissam, Karim R. Lakhani
2004Comparison of Software Product Line Architecture Design Methods: COPA, FAST, FORM, KobrA and QADA.
Mari Matinlassi
2004Component-Based Self-Adaptability in Peer-to-Peer Architectures.
Sascha Alda
2004Compositional Verification of Middleware-Based Software Architecture Descriptions.
Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione
2004Controlling the Complexity of Software Design.
Karl J. Lieberherr
2004DMS®: Program Transformations for Practical Scalable Software Evolution.
Ira D. Baxter, Christopher W. Pidgeon, Michael Mehlich
2004Design and Implementation of Distributed Crosscutting Features with DADO.
Eric Wohlstadter, Stoney Jackson, Premkumar T. Devanbu
2004Design of Large-Scale Polylingual Systems.
Mark Grechanik, Don S. Batory, Dewayne E. Perry
2004Developing New Approaches for Software Design Quality Improvement Based on Subjective Evaluations.
Mika Mäntylä
2004DiscoTect: A System for Discovering Architectures from Running Systems.
Hong Yan, David Garlan, Bradley R. Schmerl, Jonathan Aldrich, Rick Kazman
2004Dynamic Configuration of Resource-Aware Services.
Vahe Poladian, João Pedro Sousa, David Garlan, Mary Shaw
2004Efficient Decentralized Monitoring of Safety in Distributed Systems.
Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
2004Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams.
Xiangyu Zhang, Rajiv Gupta, Youtao Zhang
2004Elaborating Security Requirements by Construction of Intentional Anti-Models.
Axel van Lamsweerde
2004Empirical Studies on Requirement Management Measures.
Annabella Loconsole
2004Evaluating Object-Oriented Designs with Link Analysis.
Alexander Chatzigeorgiou, Spiros Xanthos, George Stephanides
2004Evidence-Based Software Engineering.
Barbara A. Kitchenham, Tore Dybå, Magne Jørgensen
2004Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems.
Rohit Khare, Richard N. Taylor
2004Fault Localization Using Visualization of Test Information.
James A. Jones
2004Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report.
Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre
2004Feature-Oriented Programming and the AHEAD Tool Suite.
Don S. Batory
2004Finding Latent Code Errors via Machine Learning over Program Executions.
Yuriy Brun, Michael D. Ernst
2004Formal Concept Analysis in Software Engineering.
Paolo Tonella
2004Gammatella: Visualization of Program-Execution Data for Deployed Software.
Alessandro Orso, James A. Jones, Mary Jean Harrold, John T. Stasko
2004Generating Tests from Counterexamples.
Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2004Getting Results from Search-Based Approaches to Software Engineering.
Mark Harman, Joachim Wegener
2004GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions.
Eric Wohlstadter, Stefan Tai, Thomas A. Mikalsen, Isabelle Rouvellou, Premkumar T. Devanbu
2004Grid Small and Large: Distributed Systems and Global Communities.
Ian T. Foster
2004Heuristic-Based Model Refinement for FLAVERS.
Jianbin Tan, George S. Avrunin, Lori A. Clarke
2004ICSE Workshop: Software Engineering for Automotive Systems.
Christian Salzmann, Thomas Stauner, Alexander Pretschner
2004Imposing a Memory Management Discipline on Software Deployment.
Eelco Dolstra, Eelco Visser, Merijn de Jonge
2004Improving UML Design Tools by Formal Games .
Jennifer Tenzer
2004JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications.
Carl Gould, Zhendong Su, Premkumar T. Devanbu
2004MSR 2004: International Workshop on Mining Software Repositories.
Ahmed E. Hassan, Richard C. Holt, Audris Mockus
2004Making Resource Decisions for Software Projects.
Norman E. Fenton, William Marsh, Martin Neil, Patrick Cates, Simon Forey, Manesh Tailor
2004Managing Commitments and Risks: Challenges in Distributed Agile Development.
Jyrki Kontio, Magnus Höglund, Jan Rydén, Pekka Abrahamsson
2004Mining Version Histories to Guide Software Changes.
Thomas Zimmermann, Peter Weißgerber, Stephan Diehl, Andreas Zeller
2004Models and Processes for the Evaluation of COTS Components.
Eric Dubois, Xavier Franch
2004Object-Oriented Reengineering Patterns.
Oscar Nierstrasz, Serge Demeyer
2004Oil and Water? High Performance Garbage Collection in Java with MMTk.
Stephen M. Blackburn, Perry Cheng, Kathryn S. McKinley
2004One More Step in the Direction of Modularized Integration Concerns.
Hridesh Rajan
2004Panel MDA in Practice.
Jean-Marc Jézéquel, Wolfgang Emmerich
2004Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation.
Eun-Young Kang
2004Polyphony in Architecture.
Bas van der Raadt, Jasper Soetendal, Michiel Perdeck, Hans van Vliet
2004Precise Modeling of Design Patterns in UML.
Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Daniel Pak-Kong Lun
2004Precise Service Level Agreements.
James Skene, D. Davide Lamanna, Wolfgang Emmerich
2004ProSim'04 - The 5th International Workshop on Software Process Simulation and Modeling.
Dietmar Pfahl, Ioana Rus, David Raffo, Paul Wernick
2004Requirements Engineering Tools Go Mobile.
Norbert Seyff, Paul Grünbacher, Neil A. M. Maiden, Amit Tosar
2004Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software.
Steffen Zschaler
2004Responsibilities and Rewards: Specifying Design Patterns.
Neelam Soundarajan, Jason O. Hallstrom
2004Revisiting Statechart Synthesis with an Algebraic Approach.
Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel
2004SNIAFL: Towards a Static Non-Interactive Approach to Feature Location.
Wei Zhao, Lu Zhang, Yin Liu, Jiasu Sun, Fuqing Yang
2004Second ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS).
Alessandro Orso, Adam A. Porter
2004Second International Workshop on Dynamic Analysis (WODA 2004).
David Evans, Raimondas Lencevicius
2004Second Workshop on Software Quality.
Bernard Wong, Sunita Chulani, June M. Verner, Barry W. Boehm
2004Skoll: Distributed Continuous Quality Assurance.
Atif M. Memon, Adam A. Porter, Cemal Yilmaz, Adithya Nagarajan, Douglas C. Schmidt, Balachandran Natarajan
2004Software Architecture Reconstruction.
Arie van Deursen, Claudio Riva
2004Software Engineering Challenges in Bioinformatics.
Jonathan A. Barker, Janet M. Thornton
2004Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04.
Ricardo Choren, Alessandro F. Garcia, Carlos José Pereira de Lucena, Martin L. Griss, David Chenho Kung, Naftaly H. Minsky, Alexander B. Romanovsky
2004Software Modeling Techniques and the Semantic Web.
Jin Song Dong
2004Software Variability Management.
Jan Bosch
2004Software Visualisation for Object-Oriented Program Comprehension.
Michael John Pacione
2004Statestep: A Tool for Systematic, Incremental Specification.
Michael Breen
2004Static Checking of Dynamically Generated Queries in Database Applications.
Carl Gould, Zhendong Su, Premkumar T. Devanbu
2004Statistical Techniques for Software Engineering Practice.
David N. Card
2004Supporting Reflective Practitioners.
David F. Redmiles, Kumiyo Nakakoji
2004Team-Based Fault Content Estimation in the Software Inspection Process.
Thomas Thelin
2004Testing Object Oriented Software.
Mauro Pezzè, Michal Young
2004The 3rd International Workshop on Global Software Development.
Daniela E. Damian, Filippo Lanubile
2004The CommUnity Workbench.
Cristóvão Oliveira, Michel Wermelinger
2004The Dublo Architecture Pattern for Smooth Migration of Business Information Systems: An Experience Report.
Wilhelm Hasselbring, Ralf H. Reussner, Holger Jaekel, Jürgen Schlegelmilch, Thorsten Teschke, Stefan Krieghoff
2004The Evaluation of Large, Complex UML Analysis and Design Model.
Brian Berenbach
2004The Sixth International Workshop on Economics-Driven Software Engineering Research (EDSER-6).
Hakan Erdogmus, Jyrki Kontio, Michael A. Cusumano, David Raffo
2004Theme: An Approach for Aspect-Oriented Analysis and Design.
Elisa L. A. Baniassad, Siobhán Clarke
2004Third International Workshop on Distributed Event-Based Systems - DEBS '04.
Antonio Carzaniga, Pascal Fenkam
2004Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04).
Holger Giese, Ingolf Krüger
2004Toward a Software Testing and Reliability Early Warning Metric Suite.
Nachiappan Nagappan
2004Towards Safe Distributed Application Development.
Patrick Th. Eugster, Christian Heide Damm, Rachid Guerraoui
2004Traits: Tools and Methodology.
Andrew P. Black, Nathanael Schärli
2004Tutorial: An Overview of UML 2.0.
Bran Selic
2004Twin Workshops on Architecting Dependable Systems (WADS 2004).
Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky
2004Unifying Artifacts and Activities in a Visual Tool for Distributed Software Development Teams.
Jon Froehlich, Paul Dourish
2004Usability-Supporting Architectural Patterns.
Len Bass, Bonnie E. John, Natalia Juristo Juzgado, María Isabel Sánchez Segura
2004Using Compressed Bytecode Traces for Slicing Java Programs.
Tao Wang, Abhik Roychoudhury
2004Using Data Versioning in Database Application Development.
Ramkrishna Chatterjee, Gopalan Arun, Sanjay Agarwal, Ben Speckhard, Ramesh Vasudevan
2004Using Event-Based Translation to Support Dynamic Protocol Evolution.
Nathan D. Ryan, Alexander L. Wolf
2004Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart.
Lionel C. Briand, Yvan Labiche, Yihong Wang
2004Using Web Service Technologies to Create an Information Broker: An Experience Report.
Mark Turner, Fujun Zhu, Ioannis Kotsiopoulos, Michelle Russell, David Budgen, Keith H. Bennett, Pearl Brereton, John A. Keane, Paul J. Layzell, Michael Rigby
2004Validating the Unit Correctness of Spreadsheet Programs.
Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen
2004Verifying DAML+OIL and Beyond in Z/EVES.
Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang
2004Visual Timed Event Scenarios.
Alejandra Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero
2004Workshop on Directions in Software Engineering Environments (WoDiSEE).
John C. Grundy, Ray Welland, Hermann Stoeckle
2004Workshop on Software Engineering for High Performance Computing System (HPCS) Applications.
Philip Johnson
2004chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications.
Ana Belén Barragáns-Martínez, José Juan Pazos-Arias