Abstract is missing.
- Controlling the Complexity of Software DesignKarl J. Lieberherr. 2-11 [doi]
- Software Engineering Challenges in BioinformaticsJonathan A. Barker, Janet M. Thornton. 12-15 [doi]
- Adding High Availability and Autonomic Behavior to Web ServicesKenneth P. Birman, Robbert van Renesse, Werner Vogels. 17-26 [doi]
- Grid Small and Large: Distributed Systems and Global CommunitiesIan T. Foster. 27 [doi]
- A Model Driven Approach for Software Systems ReliabilityGenaína Nunes Rodrigues. 30-32 [doi]
- Component-Based Self-Adaptability in Peer-to-Peer ArchitecturesSascha Alda. 33-35 [doi]
- One More Step in the Direction of Modularized Integration ConcernsHridesh Rajan. 36-38 [doi]
- Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation InterpretationEun-Young Kang. 39-41 [doi]
- Empirical Studies on Requirement Management MeasuresAnnabella Loconsole. 42-44 [doi]
- Agile Process Tailoring and probLem analYsis (APTLY)Frank Keenan. 45-47 [doi]
- Developing New Approaches for Software Design Quality Improvement Based on Subjective EvaluationsMika Mäntylä. 48-50 [doi]
- Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based SoftwareSteffen Zschaler. 51-53 [doi]
- Fault Localization Using Visualization of Test InformationJames A. Jones. 54-56 [doi]
- A Flexible Software Process ModelDiana Kirk. 57-59 [doi]
- Toward a Software Testing and Reliability Early Warning Metric SuiteNachiappan Nagappan. 60-62 [doi]
- Software Visualisation for Object-Oriented Program ComprehensionMichael J. Pacione. 63-65 [doi]
- A Weakly Constrained Approach to Software Change CoordinationCiaran O Reilly. 66-68 [doi]
- Calculating Architectural Reliability via Modeling and AnalysisRoshanak Roshandel. 69-71 [doi]
- chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements SpecificationsAna Belén Barragáns-Martínez, José J. Pazos Arias. 72-74 [doi]
- Improving UML Design Tools by Formal Games Jennifer Tenzer. 75-77 [doi]
- Behavior Capture and Test for Verifying Evolving Component-Based SystemsLeonardo Mariani. 78-80 [doi]
- A Constraint Architectural Description Approach to Self-Organising Component-Based Software SystemsPakorn Waewsawangwong. 81-83 [doi]
- Using Simulation to Empirically Investigate Test Coverage Criteria Based on StatechartLionel C. Briand, Yvan Labiche, Yihong Wang. 86-95 [doi]
- Automated Generation of Test Programs from Closed Specifications of Classes and Test CasesWee Kheng Leow, Siau-Cheng Khoo, Yi Sun. 96-105 [doi]
- Bi-Criteria Models for All-Uses Test Suite ReductionJennifer Black, Emanuel Melachrinoudis, David R. Kaeli. 106-115 [doi]
- The Dublo Architecture Pattern for Smooth Migration of Business Information Systems: An Experience ReportWilhelm Hasselbring, Ralf Reussner, Holger Jaekel, Jürgen Schlegelmilch, Thorsten Teschke, Stefan Krieghoff. 117-126 [doi]
- Comparison of Software Product Line Architecture Design Methods: COPA, FAST, FORM, KobrA and QADAMari Matinlassi. 127-136 [doi]
- Oil and Water? High Performance Garbage Collection in Java with MMTkStephen M. Blackburn, Perry Cheng, Kathryn S. McKinley. 137-146 [doi]
- Elaborating Security Requirements by Construction of Intentional Anti-ModelsAxel van Lamsweerde. 148-157 [doi]
- Theme: An Approach for Aspect-Oriented Analysis and DesignElisa L. A. Baniassad, Siobhán Clarke. 158-167 [doi]
- Visual Timed Event ScenariosA. Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero. 168-177 [doi]
- Precise Service Level AgreementsJames Skene, D. Davide Lamanna, Wolfgang Emmerich. 179-188 [doi]
- GlueQoS: Middleware to Sweeten Quality-of-Service Policy InteractionsEric Wohlstadter, Stefan Tai, Thomas A. Mikalsen, Isabelle Rouvellou, Premkumar T. Devanbu. 189-199 [doi]
- Verifying DAML+OIL and Beyond in Z/EVESJin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang. 201-210 [doi]
- Assume-Guarantee Verification of Source Code with Design-Level AssumptionsDimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh. 211-220 [doi]
- Compositional Verification of Middleware-Based Software Architecture DescriptionsMauro Caporuscio, Paola Inverardi, Patrizio Pelliccione. 221-230 [doi]
- The Evaluation of Large, Complex UML Analysis and Design ModelBrian Berenbach. 232-241 [doi]
- Revisiting Statechart Synthesis with an Algebraic ApproachTewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel. 242-251 [doi]
- Precise Modeling of Design Patterns in UMLJeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Daniel Pak-Kong Lun. 252-261 [doi]
- Team-Based Fault Content Estimation in the Software Inspection ProcessThomas Thelin. 263-272 [doi]
- Evidence-Based Software EngineeringBarbara A. Kitchenham, Tore Dybå, Magne Jørgensen. 273-281 [doi]
- An Empirical Study of Software Reuse vs. Defect-Density and StabilityParastoo Mohagheghi, Reidar Conradi, Ole Morten Killi, Henrik Schwarz. 282-292 [doi]
- SNIAFL: Towards a Static Non-Interactive Approach to Feature LocationWei Zhao, Lu Zhang, Yin Liu, Jiasu Sun, Fuqing Yang. 293-303 [doi]
- Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience ReportVu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre. 304-313 [doi]
- Using Data Versioning in Database Application DevelopmentRamkrishna Chatterjee, Gopalan Arun, Sanjay Agarwal, Ben Speckhard, Ramesh Vasudevan. 315-325 [doi]
- Generating Tests from CounterexamplesDirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar. 326-335 [doi]
- Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control FlowSaurabh Sinha, Alessandro Orso, Mary Jean Harrold. 336-345 [doi]
- Towards Safe Distributed Application DevelopmentPatrick Th. Eugster, Christian Heide Damm, Rachid Guerraoui. 347-356 [doi]
- Design of Large-Scale Polylingual SystemsMark Grechanik, Don S. Batory, Dewayne E. Perry. 357-366 [doi]
- A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data StreamsAlexandre R. J. François. 367-376 [doi]
- Breaking the Ice for Agile Development of Embedded Software: An Industry Experience ReportPeter Manhart, Kurt Schneider. 378-386 [doi]
- Unifying Artifacts and Activities in a Visual Tool for Distributed Software Development TeamsJon Froehlich, Paul Dourish. 387-396 [doi]
- Making Resource Decisions for Software ProjectsNorman E. Fenton, William Marsh, Martin Neil, Patrick Cates, Simon Forey, Manesh Tailor. 397-406 [doi]
- Using Event-Based Translation to Support Dynamic Protocol EvolutionNathan D. Ryan, Alexander L. Wolf. 408-417 [doi]
- Efficient Decentralized Monitoring of Safety in Distributed SystemsKoushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu. 418-427 [doi]
- Extending the Representational State Transfer (REST) Architectural Style for Decentralized SystemsRohit Khare, Richard N. Taylor. 428-437 [doi]
- Validating the Unit Correctness of Spreadsheet ProgramsTudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen. 439-448 [doi]
- A Tool for Writing and Debugging Algebraic SpecificationsJohannes Henkel, Amer Diwan. 449-458 [doi]
- Skoll: Distributed Continuous Quality AssuranceAtif M. Memon, Adam A. Porter, Cemal Yilmaz, Adithya Nagarajan, Douglas C. Schmidt, Balachandran Natarajan. 459-468 [doi]
- DiscoTect: A System for Discovering Architectures from Running SystemsHong Yan, David Garlan, Bradley R. Schmerl, Jonathan Aldrich, Rick Kazman. 470-479 [doi]
- Finding Latent Code Errors via Machine Learning over Program ExecutionsYuriy Brun, Michael D. Ernst. 480-490 [doi]
- An Empirical Comparison of Dynamic Impact Analysis AlgorithmsAlessandro Orso, Taweesup Apiwattanapong, James Law, Gregg Rothermel, Mary Jean Harrold. 491-500 [doi]
- Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision DiagramsXiangyu Zhang, Rajiv Gupta, Youtao Zhang. 502-511 [doi]
- Using Compressed Bytecode Traces for Slicing Java ProgramsTao Wang, Abhik Roychoudhury. 512-521 [doi]
- A Fast Assembly Level Reverse Execution Method via Dynamic SlicingTankut Akgul, Vincent John Mooney III, Santosh Pande. 522-531 [doi]
- Polyphony in ArchitectureBas van der Raadt, Jasper Soetendal, Michiel Perdeck, Hans van Vliet. 533-542 [doi]
- Architecting in the Face of Uncertainty: An Experience ReportIan Gorton, Jereme Haack. 543-551 [doi]
- Using Web Service Technologies to Create an Information Broker: An Experience ReportMark Turner, Fujun Zhu, Ioannis A. Kotsiopoulos, Michelle Russell, David Budgen, Keith H. Bennett, Pearl Brereton, John Keane, Paul J. Layzell, Michael Rigby. 552-561 [doi]
- Mining Version Histories to Guide Software ChangesThomas Zimmermann, Peter Weißgerber, Stephan Diehl, Andreas Zeller. 563-572 [doi]
- An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy CompositionRonald van der Lingen, André van der Hoek. 573-582 [doi]
- Imposing a Memory Management Discipline on Software DeploymentEelco Dolstra, Eelco Visser, Merijn de Jonge. 583-592 [doi]
- An Open Framework for Dynamic ReconfigurationJamie Hillman, Ian Warren. 594-603 [doi]
- Dynamic Configuration of Resource-Aware ServicesVahe Poladian, João Pedro Sousa, David Garlan, Mary Shaw. 604-613 [doi]
- Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component ModelHumberto Cervantes, Richard S. Hall. 614-623 [doi]
- DMS\textregistered{}: Program Transformations for Practical Scalable Software EvolutionIra D. Baxter, Christopher Pidgeon, Michael Mehlich. 625-634 [doi]
- Heuristic-Based Model Refinement for FLAVERSJianbin Tan, George S. Avrunin, Lori A. Clarke. 635-644 [doi]
- Static Checking of Dynamically Generated Queries in Database ApplicationsCarl Gould, Zhendong Su, Premkumar T. Devanbu. 645-654 [doi]
- Evaluating Object-Oriented Designs with Link AnalysisAlexander Chatzigeorgiou, Spiros Xanthos, George Stephanides. 656-665 [doi]
- Responsibilities and Rewards: Specifying Design PatternsNeelam Soundarajan, Jason O. Hallstrom. 666-675 [doi]
- Traits: Tools and MethodologyAndrew P. Black, Nathanael Schärli. 676-686 [doi]
- Supporting Reflective PractitionersDavid F. Redmiles, Kumiyo Nakakoji. 688-690 [doi]
- Panel MDA in PracticeJean-Marc Jézéquel, Wolfgang Emmerich. 691 [doi]
- Agile Development: Evaluation and ExperienceWalter F. Tichy. 692 [doi]
- BoF: New Directions in UK Software Engineering ResearchDavid W. Bustard, Mike Holcombe, Ian Sommerville. 693-694 [doi]
- JDBC Checker: A Static Analysis Tool for SQL/JDBC ApplicationsCarl Gould, Zhendong Su, Premkumar T. Devanbu. 697-698 [doi]
- Gammatella: Visualization of Program-Execution Data for Deployed SoftwareAlessandro Orso, James A. Jones, Mary Jean Harrold, John T. Stasko. 699-700 [doi]
- Feature-Oriented Programming and the AHEAD Tool SuiteDon S. Batory. 702-703 [doi]
- AcmeStudio: Supporting Style-Centered Architecture DevelopmentBradley R. Schmerl, David Garlan. 704-705 [doi]
- Design and Implementation of Distributed Crosscutting Features with DADOEric Wohlstadter, Stoney Jackson, Premkumar T. Devanbu. 706-707 [doi]
- The CommUnity WorkbenchCristóvão Oliveira, Michel Wermelinger. 709-710 [doi]
- Statestep: A Tool for Systematic, Incremental SpecificationMichael Breen. 711-712 [doi]
- Requirements Engineering Tools Go MobileNorbert Seyff, Paul Grünbacher, Neil A. M. Maiden, Amit Tosar. 713-714 [doi]
- Usability-Supporting Architectural PatternsLen Bass, Bonnie E. John, Natalia Juristo Juzgado, Maria Isabel Sánchez Segura. 716-717 [doi]
- Balancing Agility and Discipline: Evaluating and Integrating Agile and Plan-Driven MethodsBarry W. Boehm, Richard Turner. 718-719 [doi]
- Software Variability ManagementJan Bosch. 720-721 [doi]
- Statistical Techniques for Software Engineering PracticeDavid N. Card. 722-723 [doi]
- Software Modeling Techniques and the Semantic WebJin Song Dong. 724-725 [doi]
- Architectures and Technologies for Enterprise Application IntegrationIan Gorton, Anna Liu. 726-727 [doi]
- Getting Results from Search-Based Approaches to Software EngineeringMark Harman, Joachim Wegener. 728-729 [doi]
- An Introduction to Computing System DependabilityJohn C. Knight. 730-731 [doi]
- Managing Commitments and Risks: Challenges in Distributed Agile DevelopmentJyrki Kontio, Magnus Höglund, Jan Rydén, Pekka Abrahamsson. 732-733 [doi]
- Object-Oriented Reengineering PatternsOscar Nierstrasz, Serge Demeyer. 734-735 [doi]
- Case Studies for Software EngineersDewayne E. Perry, Susan Elliott Sim, Steve M. Easterbrook. 736-738 [doi]
- Testing Object Oriented SoftwareMauro Pezzè, Michal Young. 739-740 [doi]
- Tutorial: An Overview of UML 2.0Bran Selic. 741-742 [doi]
- Formal Concept Analysis in Software EngineeringPaolo Tonella. 743-744 [doi]
- Software Architecture ReconstructionArie van Deursen, Claudio Riva. 745-746 [doi]
- 4th International Workshop on Adoption-Centric Software EngineeringRobert Balzer, Marin Litoiu, Hausi A. Müller, Dennis B. Smith, Margaret-Anne D. Storey, Scott R. Tilley, Kenny Wong. 748-74 [doi]
- Third International Workshop on Distributed Event-Based Systems - DEBS 04Antonio Carzaniga, Pascal Fenkam. 750-751 [doi]
- Software Engineering for Large-Scale Multi-agent Systems - SELMAS 04Ricardo Choren, Alessandro F. Garcia, Carlos José Pereira de Lucena, Martin L. Griss, David Chenho Kung, Naftaly H. Minsky, Alexander B. Romanovsky. 752-753 [doi]
- 1st International Workshop on Advances and Applications of Problem FramesKarl Cox, Jon G. Hall, Lucia Rapanotti. 754-755 [doi]
- The 3rd International Workshop on Global Software DevelopmentDaniela Damian, Filippo Lanubile. 756-757 [doi]
- Twin Workshops on Architecting Dependable Systems (WADS 2004)Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky. 758 [doi]
- Models and Processes for the Evaluation of COTS ComponentsEric Dubois, Xavier Franch. 759-760 [doi]
- The Sixth International Workshop on Economics-Driven Software Engineering Research (EDSER-6)Hakan Erdogmus, Jyrki Kontio, Michael A. Cusumano, David Raffo. 761-762 [doi]
- Second International Workshop on Dynamic Analysis (WODA 2004)David Evans, Raimondas Lencevicius. 763 [doi]
- Collaboration, Conflict and Control: The 4th Workshop on Open Source Software EngineeringJoseph Feller, Brian Fitzgerald, Scott A. Hissam, Karim Lakhani. 764-765 [doi]
- Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM 04)Holger Giese, Ingolf Krüger. 766-767 [doi]
- Workshop on Directions in Software Engineering Environments (WoDiSEE)John C. Grundy, Ray Welland, Hermann Stoeckle. 768-769 [doi]
- MSR 2004: International Workshop on Mining Software RepositoriesAhmed E. Hassan, Richard C. Holt, Audris Mockus. 770-771 [doi]
- Workshop on Software Engineering for High Performance Computing System (HPCS) ApplicationsPhilip Johnson. 772 [doi]
- Bridging the Gaps II: Bridging the Gaps between Software Engineering and Human-Computer InteractionRick Kazman, Len Bass, Bonnie E. John. 773-774 [doi]
- Second ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS)Alessandro Orso, Adam A. Porter. 775-776 [doi]
- ProSim 04 - The 5th International Workshop on Software Process Simulation and ModelingDietmar Pfahl, Ioana Rus, David Raffo, Paul Wernick. 777-778 [doi]
- ICSE Workshop: Software Engineering for Automotive SystemsChris Salzmann, Thomas Stauner, Alexander Pretschner. 779 [doi]
- Second Workshop on Software QualityBernard Wong, Sunita Chulani, June M. Verner, Barry W. Boehm. 780-782 [doi]