Table of Contents

• Composition Patterns: An Approach to Designing Reusable AspectsSiobhán Clarke, Robert J. Walker. 5-14
• MAS - An Interactive Synthesizer to Support Behavioral Modeling in UMLErkki Mäkinen, Tarja Systä. 15-24
• Analysis and Testing of Web ApplicationsFilippo Ricca, Paolo Tonella. 25-34
• The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State VerificationJamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil. 37-46
• Static Checking of Interrupt-Driven SoftwareDennis Brylow, Niels Damgaard, Jens Palsberg. 47-56
• Leightweight Analysis of Operational Specifications Using Inference GraphsLaura K. Dillon, Kurt Stirewalt. 57-67
• Commitment Development in Software Process Improvement: Critical MisconceptionsPekka Abrahamsson. 71-80
• An Empirical Study of Global Software Development: Distance and SpeedJames D. Herbsleb, Audris Mockus, Thomas A. Finholt, Rebecca E. Grinter. 81-90
• Software Product Lines: Organizational AlternativesJan Bosch. 91-100
• Supporting Program Comprehension Using Semantic and Structural InformationJonathan I. Maletic, Andrian Marcus. 103-112
• On the Syllogistic Structure of Object-Oriented ProgrammingDerek Rayside, Kostas Kontogiannis. 113-122
• A Scenario-Driven Approach to TraceabilityAlexander Egyed. 123-132
• Systematic Object-Oriented Inspection - An Emprirical StudyAlastair Dunsmore, Marc Roper, Murray Wood. 135-144
• Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data from Two Inspection CyclesStefan Biffl, Wilfried Grossmann. 145-154
• Investigating the Cost-Effectiveness of Reinspections in Software DevelopmentStefan Biffl, Bernd G. Freimut, Oliver Laitenberger. 155-164
• A Component-Based Approach to Building Formal Analysis ToolsKurt Stirewalt, Laura K. Dillon. 167-176
• Tool-Supported Program Abstraction for Finite-State VerificationMatthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser. 177-187
• A Workbench for Synthesising Behaviour Models from ScenariosSebastián Uchitel, Jeff Kramer. 188-197
• The Specification and Testing of Quantified Progress Properties in Distributed SystemsPrakash Krishnamurthy, Paolo A. G. Sivilotti. 201-210
• An Explorative Journey from Architectural Tests Definition downto Code Tests ExecutionAntonia Bertolino, Paola Inverardi, Henry Muccini. 211-220
• Encoding Program ExecutionsSteven P. Reiss, Manos Renieris. 221-230
• Dynamic and Selective Combination of Extensions in Component-Based ApplicationsEddy Truyen, Bart Vanhaute, Wouter Joosen, Pierre Verbaeten, Bo Nørregaard Jørgensen. 233-242
• Generating Wrappers for Command Line Programs: The Cal-Aggie Wrap-O-Matic ProjectEric Wohlstadter, Stoney Jackson, Premkumar T. Devanbu. 243-252
• Designing Components Versus Objects: A Transformational ApproachDavid H. Lorenz, John M. Vlissides. 253-224
• Exploiting the Map Metaphor in a Tool for Software EvolutionWilliam G. Griswold, Jimmy J. Yuan, Yoshikiyo Kato. 265-274
• Separating Features in Source Code: An Exploratory StudyGail C. Murphy, Albert Lai, Robert J. Walker, Martin P. Robillard. 275-284
• Comparing Frameworks and Layered RefinementRichard Cardone, Calvin Lin. 285-294
• Quantifying the Costs and Benefits of Architectural DecisionsRick Kazman, Jai Asundi, Mark Klein. 297-306
• Survivability Analysis of Network SystemsSomesh Jha, Jeannette M. Wing. 307-317
• Adaptive Feedback Scheduling of Incremental and Design-to-Time TasksPeter H. Feiler, John J. Walker. 318-326
• Incorporating Varying Test Costs and Fault Severities into Test Case PrioritizationSebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel. 329-338
• Finding Failures by Cluster Analysis of Execution ProfilesWilliam Dickinson, David Leon, Andy Podgurski. 339-348
• Understanding IV & V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle ProgramMarvin V. Zelkowitz, Ioana Rus. 349-357
• Theory of Software Reliability Based on ComponentsRichard G. Hamlet, David V. Mason, Denise M. Woit. 361-370
• Engineering Mobile-Agent Applications via Context-Dependent CoordinationGiacomo Cabri, Letizia Leonardi, Franco Zambonelli. 371-380
• Consistent Group Membership in Ad Hoc NetworksGruia-Catalin Roman, Qingfeng Huang, Ali Hazemi. 381-388
• Fast Formal Analysis of Requirements via Topoi Diagrams Tim Menzies, John D. Powell, Michael E. Houle. 391-400
• Conceptual Modeling through Linguistic Analysis Using LIDAScott P. Overmyer, Benoit Lavoie, Owen Rambow. 401-410
• A Framework for Multi-Valued Reasoning over Inconsistent ViewpointsSteve M. Easterbrook, Marsha Chechik. 411-420
• Functional Paleontology: System Evolution as the User Sees ItAnnie I. Antón, Colin Potts. 421-430
• A General Framework for Formalizing UML with Formal LanguagesWilliam E. McUmber, Betty H. C. Cheng. 433-442
• Efficient Filtering in Publish-Subscribe Systems Using Binary DecisionAlexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith. 443-452
• A Scalable Formal Method for Design and Automatic Checking of User InterfacesJean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro. 453-462
• Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software EngineeringArmando Martin Haeberer, T. S. E. Maibaum. 463-472
• An Architecture for Heterogeneous Groupware ApplicationsIvan Marsic. 475-484
• A Web-Oriented Architectural Aspect for the Emerging Computational TapestryKevin J. Sullivan, Avneesh Saxena. 485-492
• XAS: A System for Accessing Componentized, Virtual XML DocumentsMing-Ling Lo, Shyh-Kwei Chen, Sriram Padmanabhan, Jen-Yao Chung. 493-502
• Using the Web for Document Versioning: An Implementation Report for Delta VJames J. Hunt, Jürgen Reuter. 507-513
• Evaluating the Reverse Engineering Capabilities of Web Tools for Understanding Site Content and Structure: A Case StudyScott R. Tilley, Shihong Huang. 514-523
• A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia LibraryAtsushi Aoki, Kaoru Hayashi, Kouichi Kishida, Kumiyo Nakakoji, Yoshiyuki Nishinaka, Brent Reeves, Akio Takashima, Yasuhiro Yamamoto. 524-533
• Case Study: Extreme Programming in a University EnvironmentMatthias M. Müller, Walter F. Tichy. 537-544
• Improving Validation Activities in a Global Software DevelopmentChristof Ebert, Casimiro Hernandez Parro, Roland Suttels, Harald Kolarczyk. 545-554
• Applying WinWin to Quality Requirements: A Case StudyHoh In, Barry W. Boehm, Thomas Lee Rodgers, Michael Deutsch. 555-564
• TIGRA - An Architectural Style for Enterprise Application IntegrationWolfgang Emmerich, Ernst Ellmer, Henry Fieglein. 567-576
• Reengineering Analysis of Object-Oriented Systems via DuplicationFabrizio Fioravanti, G. Migliarese, Paolo Nesi. 577-586
• Educating Software Engineering Students to Manage RiskBarry W. Boehm, Daniel Port. 591-600
• A Formal Approach to Component-Based Software Engineering: Education and EvaluationMurali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang. 601-609
• Corrective Maintenance Maturity Model (CM:::3:::): Maintainer s Education and TrainingMira Kajko-Mattsson, Stefan Forssander, Ulf H. Olsson. 610-619
• An Efficient Set of Software Degree Programs for One DomainTerry Shepard. 623-632
• The Software Factory: Combining Undergraduate Computer Science and Software Engineering EducationJohn D. Tvedt, Roseanne Tesoriero, Kevin A. Gary. 633-642
• Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE ProgramsKenneth L. Modesitt, Donald J. Bagert, Laurie Honour Werth. 643-652
• Software Engineering and the InternetDaniel Sabbah. 655-655
• The Coming-of-Age of Software Architecture ResearchMary M. Shaw. 656
• Tolerating Inconsistency RevisitedRobert Balzer. 665-665
• Software Engineering Challenges: A CIO s PerspectiveBernd Voigt. 666-666
• Reuse That PaysLinda M. Northrop. 667-667
• Process-Centered Software Engineering Environments: Academic and Industrial PerspectivesRobert Balzer, Volker Gruhn. 671-672
• Specification and Modeling: An Academic PerspectiveManfred Broy. 673-675
• Specification and Modeling: An Industrial PerspectiveBran Selic. 676-677
• Software Engineering Body of Knowledge (SWEBOK)Peter Freeman, Donald J. Bagert, Hossein Saiedian, Mary Shaw, Robert Dupuis, J. Barrie Thompson. 693-696
• Impact Project Panel: Determining the Impact of Software Engineering Research Upon PracticeLeon J. Osterweil. 697-697
• Software Engineering Research Agendas Panel (SERA): What Can t We Do, But Need to Learn How to Do?H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas. 698-698
• Panel: Perspectives on Software EngineeringDavid Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, Jim Whitehead. 699-702
• UML for Software EngineersRobert B. France, Cris Kobryn. 705-706
• The Intertwining Between Risk and Project ManagementKarol Frühauf. 707-708
• Methods of Component-Based Software Engineering: Essential Concepts and Classroom ExperienceKurt C. Wallnau. 709-710
• From Use Cases to Code - Rigorous Software Development with UMLAlbert Zündorf. 711-712
• OPEN: A Flexible OO/CBD Process for Software-Intensive Systems Development, a UML ExpositionHouman Younessi, Brian Henderson-Sellers. 713-714
• Describing Software Architecture with UMLPhilippe Kruchten, Bran Selic, Wojtek Kozaczynski. 715-716
• Software Product Lines and Software Architecture DesignJan Bosch. 717-717
• How to Do Inspections When There is No TimeTerry Shepard, Diane Kelly. 718-719
• EasyWinWin: A Groupware-Supported Nethodology for Requirements NegotiationBarry W. Boehm, Paul Grünbacher, Robert O. Briggs. 720-721
• Tutorial on Fundamental Concepts for Practical Software ArchitectureAlexander Ran. 722-723
• An Introduction to Java 2 Micro Edition (J2ME); Java in Small ThingsJames White. 724-725
• Improving Software Inspections by Using Reading TechniquesForrest Shull, Ioana Rus, Victor R. Basili. 726-727
• Mining Components for a Software Architecture and a Product Line: the Options Analysis for Reengineering (OAR) MethodDennis B. Smith, Liam O Brien, John Bergey. 728-728
• Hyper/J:::TM:::: Multi-Dimensional Separation of Concerns for Java:::TM:::Peri L. Tarr, Harold Ossher. 729-730
• Enterprise JavaBean Architecture and Design IssuesJames White. 731-732
• State, Event, Time and Diagram in System ModelingJin Song Dong. 733-734
• From UML to Java, Building a 3-Tier Architecture: Case StudyTimothy D. Korson. 735-736
• Designing Concurrent, Distributed, and Real-Time Applications with UMLHassan Gomaa. 737-738
• Using Transformation Systems for Software Maintenance and ReengineeringIra D. Baxter. 739-740
• Effective Software Architecture Design: From Global Analysis to UML DescriptionsRobert L. Nord, Daniel J. Paulish, Dilip Soni, Christine Hofmeister. 741-742
• Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs)Daniel Amyot, Gunter Mussbacher. 743-744
• Introduction to the Attribute Driven Design MethodFelix Bachmann, Leonard J. Bass. 745-746
• 2nd International Workshop on Living with InconsistencySteve M. Easterbrook, Marsha Chechik. 749-750
• 4th ICSE Workshop on Software Engineering over the Internet Frank Maurer. 751-752
• Second ICSE Workshop on Software Product Lines: Economics, Architectures, and ApplicationsPeter Knauber, Giancarlo Succi. 753-754
• The Second International Workshop on Automated Program Analysis, Testing and VerificationNigel Tracey, John Penix, Willem Visser. 755-755
• Workshop on Software Engineering and MobilityGruia-Catalin Roman, Gian Pietro Picco. 756-757
• ECSE Workshop on Software VisualizationWim De Pauw, Steven P. Reiss, John T. Stasko. 758-759
• Generative Techniques for Product LinesGregory Butler, Don S. Batory, Krzysztof Czarnecki, Ulrich W. Eisenecker. 760-761
• SEMINAL: Software Engineering Using Metaheuristic INnovative AlgorithmsMark Harman, Bryan F. Jones. 762-763
• From Software Requirements to ArchitecturesJaelson Castro, Jeff Kramer. 764-765
• 3rd International Workshop on Net-Centric Computing (NCC 2001): Theme: Migrating to the WebJens H. Jahnke, Kostas Kontogiannis, Eleni Stroulia, Scott R. Tilley, Kenny Wong. 766-767
• Workshop to Consider Global Aspects of Software Engineering ProfessionalismJ. Barrie Thompson, Helen M. Edwards. 768-769
• Third International Workshop on Economics-Driven Software Engineering ResearchKevin J. Sullivan, Mary M. Shaw, Barry W. Boehm, David Notkin, Warren Harrison. 770-770
• 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System PredictionIvica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau. 771-772
• SCM-10: Tenth International Workshop on Software Configuration Management. New Practices, New Challenges, and New BoundariesAndré van der Hoek. 773-774
• XML Technologies and Software EngineeringCecilia Mascolo, Wolfgang Emmerich, Anthony Finkelstein. 775-776
• Describing Software Architecture with UMLPhilippe Kruchten, Bran Selic, Wojtek Kozaczynski, Grant Larsen, Alan W. Brown. 777-777
• Workshop on Advanced Separation of Concerns in Software EngineeringPeri L. Tarr, Harold Ossher. 778-779
• 1st Workshop on Open Source Software EngineeringJoseph Feller, Brian Fitzgerald, André van der Hoek. 780-781
• Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML DiagramsLaura A. Campbell. 785-786
• Modeling and Controlling the Software Test ProcessJoão W. Cangussu. 787-788
• Using Software Component Generators to Contstruct a Meta-Weaver FrameworkJeffrey G. Gray. 789-790
• Supporting the Deployment of Object-Oriented FrameworksDaqing Hou. 791-792
• Model Checking Distributd Objects DesignNima Kaveh. 793-794
• Web Engineering Device Independent Web ServicesEngin Kirda. 795-796
• Evolving Legacy Systems Using Feature Engineering and CBSEAlok Mehta. 797-798
• Design and Evaluation of the Mobile Agent Architecture for Distributed Consistency ManagementDanila Smolko. 799-800
• Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software ProcessRebeca P. Díaz Redondo, José J. Pazos Arias. 801-802
• Traceability for System FamiliesDetlef Streitferdt. 803-804
• David L. Parnas SymposiumDaniel Hoffman, David M. Weiss. 807-809
• New Software Engineering Faculty SymposiumLeon J. Osterweil, Gabriel M. Silberman, Kenny Wong. 813-813
• Model Processing Tools in UMLJohannes Koskinen, Jari Peltonen, Petri Selonen, Tarja Systä, Kai Koskimies. 819-820
• Hyper/J:::TM:::: Multi-Dimensional Separation of Concerns for Java:::TM:::Harold Ossher, Peri L. Tarr. 821-822
• Architecture-Oriented Programming Using FREDMarkku Hakala, Juha Hautamäki, Kai Koskimies, Jukka Paakki, Antti Viljamaa, Jukka Viljamaa. 823-824
• CodeWeb: Data Mining Library Reuse PatternsAmir Michail. 827-828
• Holmes: An Intelligent System to Support Software Product Line DevelopmentGiancarlo Succi, Jason Yip, Witold Pedrycz. 829-830
• Babel: Representing Business Rules in XML for Application IntegrationHuaxin Zhang, Eleni Stroulia. 831-832
• JMOCHA: A Model Checking Tool that Exploits Design StructureRajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang. 835-836
• Maintenance Support Tools for JAVA Programs: CCFinder and JAATToshihiro Kamiya, Fumiaki Ohata, Kazuhiro Kondou, Shinji Kusumoto, Katsuro Inoue. 837-838
• Using OCL-Queries for Debugging C++Chanika Hobatr, Brian A. Malloy. 839-840