Table of Contents

• The future of software (abstract of invited presentation)Grady Booch. 3 [doi]
• Software engineering: a roadmapAnthony Finkelstein, Jeff Kramer. 3-22 [doi]
• Dot com versus bricks and mortar - the impact of portal technology (abstract of invited presentation)Chris Horn. 4 [doi]
• Requirements engineering in the year 00: a research perspectiveAxel van Lamsweerde. 5-19 [doi]
• A case study: demands on component-based developmentIvica Crnkovic, Magnus Larsson. 23-31 [doi]
• Software process: a roadmapAlfonso Fuggetta. 25-34 [doi]
• Investigating and improving a COTS-based software developmentMaurizio Morisio, Carolyn B. Seaman, Amy T. Parra, Victor R. Basili, Steve E. Kraft, Steven E. Condon. 32-41 [doi]
• Requirements engineering: a roadmapBashar Nuseibeh, Steve M. Easterbrook. 35-46 [doi]
• PPT: a COTS integration case studyL. David Balk, Ann Kedia. 42-49 [doi]
• Reverse engineering: a roadmapHausi A. Müller, Jens H. Jahnke, Dennis B. Smith, Margaret-Anne D. Storey, Scott R. Tilley, Kenny Wong. 47-60 [doi]
• Supporting diversity with component frameworks as architectural elementsJan Gerben Wijnstra. 51-60 [doi]
• Requirements engineering for product familiesJuha Kuusela, Juha Savolainen. 61-69 [doi]
• Testing: a roadmapMary Jean Harrold. 61-72 [doi]
• Extending requirement specifications using analogyYusuf Pisan. 70-76 [doi]
• Software maintenance and evolution: a roadmapKeith H. Bennett, Václav Rajlich. 73-87 [doi]
• It s engineering Jim ... but not as we know it: software engineering - solution to the software crisis, or part of the problem?Antony Bryant. 78-87 [doi]
• Producing more reliable software: mature software engineering process vs. state-of-the-art technology?James C. Widmaier. 88-93 [doi]
• Software architecture: a roadmapDavid Garlan. 91-101 [doi]
• Improving problem-oriented mailing list archives with MCSRobert S. Brewer. 95-104 [doi]
• Object-oriented modeling: a roadmapGregor Engels, Luuk Groenewegen. 103-116 [doi]
• Broad-spectrum studies of log file analysisJames H. Andrews, Yingjun Zhang. 105-114 [doi]
• Multivariate visualization in observation-based testingDavid Leon, Andy Podgurski, Lee J. White. 116-125 [doi]
• Software engineering and middleware: a roadmapWolfgang Emmerich. 117-129 [doi]
• An empirical study of regression test application frequencyJung-Min Kim, Adam A. Porter, Gregg Rothermel. 126-135 [doi]
• Software analysis: a roadmap: a roadmapDaniel Jackson, Martin C. Rinard. 133-145 [doi]
• Testing levels for object-oriented softwareYvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand. 136-145 [doi]
• Software evolution in componentware using requirements/assurances contractsAndreas Rausch. 147-156 [doi]
• Formal specification: a roadmapAxel van Lamsweerde. 147-159 [doi]
• An integrated cost model for software reuseAli Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang. 157-166 [doi]
• Mathematical foundations of software engineering: a roadmapT. S. E. Maibaum. 161-172 [doi]
• Data mining library reuse patterns using generalized association rulesAmir Michail. 167-176 [doi]
• Software reliability and dependability: a roadmapBev Littlewood, Lorenzo Strigini. 175-188 [doi]
• Towards a taxonomy of software connectorsNikunj R. Mehta, Nenad Medvidovic, Sandeep Phadke. 178-187 [doi]
• A formal approach for designing CORBA based applicationsMatteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini. 188-197 [doi]
• Software engineering and performance: a road-mapRob Pooley. 189-199 [doi]
• Simulation in software engineering trainingAnke Drappa, Jochen Ludewig. 199-208 [doi]
• Software engineering for real-time: a roadmapHermann Kopetz. 201-211 [doi]
• Twenty dirty tricks to train software engineersRay Dawson. 209-218 [doi]
• Software engineering for safety: a roadmapRobyn R. Lutz. 213-226 [doi]
• Deriving test plans from architectural descriptionsAntonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini. 220-229 [doi]
• Software engineering for security: a roadmapPremkumar T. Devanbu, Stuart G. Stubblebine. 227-239 [doi]
• WYSIWYT testing in the spreadsheet paradigm: an empirical evaluationKaren J. Rothermel, Curtis R. Cook, Margaret M. Burnett, Justin Schonfeld, Thomas R. G. Green, Gregg Rothermel. 230-239 [doi]
• Software engineering for mobility: a roadmapGruia-Catalin Roman, Gian Pietro Picco, Amy L. Murphy. 241-258 [doi]
• Integrating UML diagrams for production control systemsHans J. Köhler, Ulrich Nickel, Jörg Niere, Albert Zündorf. 241-251 [doi]
• Dragonfly: linking conceptual and implementation architectures of multiuser interactive systemsGary E. Anderson, T. C. Nicholas Graham, Timothy N. Wright. 252-261 [doi]
• Software engineering tools and environments: a roadmapHarold Ossher, William H. Harrison, Peri L. Tarr. 261-277 [doi]
• A case study of open source software development: the Apache serverAudris Mockus, Roy Thomas Fielding, James D. Herbsleb. 263-272 [doi]
• Multiple mass-market applications as componentsDavid Coppit, Kevin J. Sullivan. 273-282 [doi]
• Software configuration management: a roadmapJacky Estublier. 279-289 [doi]
• Databases in software engineering: a roadmapKlaus R. Dittrich, Dimitris Tombros, Andreas Geppert. 293-302 [doi]
• Achieving industrial relevance with academic excellence: lessons from the Oregon Master of Software engineeringStuart R. Faulk. 293-302 [doi]
• Software engineering and the Internet: a roadmapLuca Bompani, Paolo Ciancarini, Fabio Vitali. 303-315 [doi]
• Inference of message sequence chartsRajeev Alur, Kousha Etessami, Mihalis Yannakakis. 304-313 [doi]
• Generating statechart designs from scenariosJon Whittle, Johann Schumann. 314-323 [doi]
• Software economics: a roadmapBarry W. Boehm, Kevin J. Sullivan. 319-343 [doi]
• Object model resurrection - an object oriented maintenance activityGokul V. Subramaniam. 324-333 [doi]
• Action Language: a specification language for model checking reactive systemsTevfik Bultan. 335-344 [doi]
• Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systemsZhe Dang, Richard A. Kemmerer. 345-354 [doi]
• Empirical studies of software engineering: a roadmapDewayne E. Perry, Adam A. Porter, Lawrence G. Votta. 345-355 [doi]
• Component design of retargetable program analysis tools that reuse intermediate representationsJames Hayes, William G. Griswold, Stuart Moskovics. 356-365 [doi]
• Software metrics: roadmapNorman E. Fenton, Martin Neil. 357-370 [doi]
• Light-weight context recovery for efficient and accurate program analysesDonglin Liang, Mary Jean Harrold. 366-375 [doi]
• Software engineering education: a roadmapMary Shaw. 371-380 [doi]
• A replicated assessment and comparison of common software cost modeling techniquesLionel C. Briand, Tristen Langley, Isabella Wieczorek. 377-386 [doi]
• Characterization of risky projects based on project managers evaluationOsamu Mizuno, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto. 387-395 [doi]
• Implementing incremental code migration with XMLWolfgang Emmerich, Cecilia Mascolo, Anthony Finkelstein. 397-406 [doi]
• Principled design of the modern Web architectureRoy Thomas Fielding, Richard N. Taylor. 407-416 [doi]
• A study on exception detecton and handling using aspect-oriented programmingMartin Lippert, Cristina Videira Lopes. 418-427 [doi]
• Bandera: extracting finite-state models from Java source codeJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng. 439-448 [doi]
• Quickly detecting relevant program invariantsMichael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin. 449-458 [doi]
• Characterizing implicit information during peer review meetingsPatrick d Astous, Pierre N. Robillard. 460-466 [doi]
• Object-oriented inspection in the face of delocalisationAlastair Dunsmore, Marc Roper, Murray Wood. 467-476 [doi]
• An inheritance-based technique for building simulation proofs incrementallyIdit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman. 478-487 [doi]
• Verification of time partitioning in the DEOS scheduler kernelJohn Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger. 488-497 [doi]
• Graphical animation of behavior modelsJeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer. 499-508 [doi]
• Towards the principled design of software engineering diagramsCorin A. Gurr, Konstantinos Tourlas. 509-518 [doi]
• From MCC and CMM: technology transfers bright and dimBill Curtis. 521-530 [doi]
• Fraunhofer: the German model for applied research and technology transferH. Dieter Rombach. 531-537 [doi]
• Software development engineer in Microsoft: a subjective view of soft skills requiredMartin Orsted. 539-540 [doi]
• Software needs engineering: a position paperJane Grimson, Hans-Jürgen Kugler. 541-544 [doi]
• Introducng a software modeling concept in a medium-sized companyKlaus Schmid, Ulrike Becker-Kornstaedt, Peter Knauber, Florian Bernauer. 558-567 [doi]
• From research to reward: challenges in technology transferAdrian M. Colyer. 569-576 [doi]
• Technology transfer macro-process: a practical guide for the effective introduction of technologyTetsuto Nishiyama, Kunihiko Ikeda, Toru Niwa. 577-586 [doi]
• When the project absolutely must get done: marrying the organization chart with the precedence diagramStan Rifkin. 588-596 [doi]
• An evaluation of the paired comparisons method for software sizingEduardo Miranda. 597-604 [doi]
• The making of Orbix and the iPortal suiteSeán Baker. 609-616 [doi]
• Applying and adjusting a software process improvement model in practice: the use of the IDEAL model in a small software enterpriseKarlheinz Kautz, Henrik Westergaard Hansen, Kim Thaysen. 626-633 [doi]
• Daily build and feature development in large distributed projectsEven-André Karlsson, Lars-Göran Andersson, Per Leion. 649-658 [doi]
• Why don t we get more (self?) respect: the positive impact of software engineering research upon practiceLeon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller. 660 [doi]
• Component-based software engineering and the issue of trustGeorge T. Heineman, William T. Councill, Janet S. Flynt, Alok Mehta, John R. Speed, Mary Shaw. 661-664 [doi]
• Shortages of qualified software engineering faculty and practitioners (panel session): challenges in breaking the cycleNancy R. Mead, Hossein Saiedian, Günther Ruhe, Donald J. Bagert, Helen M. Edwards, Michael Ryan. 665-668 [doi]
• Who needs doctors? (abstract of panel session)Jeff Magee. 669 [doi]
• Can quality graduate software engineering courses really be delivered asynchronously on-line?Stephen Edwards. 676-679 [doi]
• Multibook s test environmentNathalie Poerwantoro, Abdulmotaleb El-Saddik, Bernd J. Krämer, Ralf Steinmetz. 680-683 [doi]
• E-Slate: a software architectural style for end-user programmingGeorge Birbilis, Manolis Koutlis, Kriton Kyrimis, George Tsironis, George Vasiliou. 684-687 [doi]
• An interactive multimedia software house simulation for postgraduate software engineersHelen Sharp, Pat Hall. 688-691 [doi]
• LIGHTVIEWS - visual interactive Internet environment for learning OO software testingSita Ramakrishnan. 692-695 [doi]
• The ICSE2000 doctoral workshopJeff Magee, Mauro Pezzè. 697 [doi]
• A logical framework for design compositionJing Dong. 698-700 [doi]
• Algorithmic cost estimation for software evolutionJuan F. Ramil. 701-703 [doi]
• Estimating software fault-proneness for tuning testing activitiesGiovanni Denaro. 704-706 [doi]
• Formal verification applied to Java concurrent softwareRadu Iosif. 707-709 [doi]
• Supporting dynamic distributed work processes with a component and event based approachPeter J. Kammer. 710-712 [doi]
• Platform-independent and tool-neutral test descriptions for automated software testingChang Liu. 713-715 [doi]
• Contribution to simplifying the mobile agent programmingMarek Paralic. 716-718 [doi]
• Spontaneous software: a Web-based, object computing paradigmGlêdson Elias da Silveira. 719-721 [doi]
• Automated refactoring to introduce design patternsMel Ó Cinnéide. 722-724 [doi]
• High-integrity code generation for state-based formalismsMichael W. Whalen. 725-727 [doi]
• Alcoa: the alloy constraint analyzerDaniel Jackson, Ian Schechter, Ilya Shlyakhter. 730-733 [doi]
• Hyper/J: multi-dimensional separation of concerns for JavaHarold Ossher, Peri L. Tarr. 734-737 [doi]
• The FUJABA environmentUlrich Nickel, Jörg Niere, Albert Zündorf. 742-745 [doi]
• Managing software artifacts on the Web with LabyrinthFabiano Cattaneo, Elisabetta Di Nitto, Alfonso Fuggetta, Luigi Lavazza, Giuseppe Valetto. 746-749 [doi]
• Galileo: a tool built from mass-market applicationsDavid Coppit, Kevin J. Sullivan. 750-753 [doi]
• Little-JIL/Juliette: a process definition language and interpreterAaron G. Cass, Barbara Staudt Lerner, Stanley M. Sutton Jr., Eric K. McCall, Alexander E. Wise, Leon J. Osterweil. 754-757 [doi]
• Analyzing software architectures with Argus-IMarlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson. 758-761 [doi]
• Bandera: a source-level interface for model checking Java programsJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby. 762-765 [doi]
• Developing mobile computing applications with LIMEGian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman. 766-769 [doi]
• Component composition (poster)Bart Michiels, Bart Wydaeghe. 771 [doi]
• Third eye - specification-based analysis of software execution traces (poster)Raimondas Lencevicius, Alexander Ran, Rahav Yairi. 772 [doi]
• Empirical investigation of a novel approach to check the integrity of software engineering measuring processes (poster)Skylar Lei, Michael R. Smith, Giancarlo Succi. 773 [doi]
• The implication of different learning styles on the modeling of object-oriented systems (poster)Lynda Thomas. 774 [doi]
• A culture-centered multilevel software process cycle model (poster)Silvia Teresita Acuña, Graciela Elisa Barchini, Mabel del V. Sosa. 775 [doi]
• Using application states in software testing (poster)Chang Liu, Debra J. Richardson. 776 [doi]
• Effort estimation from change records of evolving software (poster)Juan F. Ramil, M. M. Lehman. 777 [doi]
• Modeling deployment and configuration of CORBA systems with UML (poster)Alan D. Sloane. 778 [doi]
• As strong as possible mobility (poster)Tim Walsh, Paddy Nixon, Simon A. Dobson. 779 [doi]
• Hybrid domain representation archive (HyDRA) for requirements model synthesis across viewpoints (poster)K. Suzanne Barber, Stephen R. Jernigan. 780 [doi]
• The use of task analysis methods in support of the development of interactive systems (poster)Yousef H. Daabaj. 781 [doi]
• DeBOT - an approach for constructing high performance, scalable distributed object systems (poster)Anna Liu. 782 [doi]
• Exploring O-O framework usage (poster)Garry Froehlich, Amr Kamel, Paul G. Sorenson. 783 [doi]
• Tracking, predicting and assessing software reuse costs: an automated toolAli Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang. 785 [doi]
• Holmes: a system to support software product linesGiancarlo Succi, Jason Yip, Eric Liu, Witold Pedrycz. 786 [doi]
• Supporting dynamic composition of componentsGiancarlo Succi, Raymond Wong, Eric Liu, Michael R. Smith. 787 [doi]
• Prompter - a project planning assistantRory O Connor, Robert Cochran, Tony Moynihan. 788 [doi]
• Visualizing software release histories with 3DSoftVisClaudio Riva. 789 [doi]
• Legacy systems migration in CelLESTEleni Stroulia, Mohammad El-Ramly, Paul G. Sorenson, Roland Penner. 790 [doi]
• Process engineering with Spearmint:::TM:::/EPGUlrike Becker-Kornstaedt, Louise Scott, Jörg Zettel. 791 [doi]
• An overview of the ICSE 2000 workshop programAntonia Bertolino, Gail C. Murphy. 793 [doi]
• Second ICSE Workshop on Web EngineeringSan Murugesan, Yogesh Deshpande. 794-795 [doi]
• The First International Workshop on Automated Program Analysis, Testing and VerificationNigel Tracey, John Penix, Willem Visser. 796 [doi]
• Beg, borrow, or steal (workshop session): using multidisciplinary approaches in empirical software engineering researchJanice Singer, Margaret-Anne D. Storey, Susan Elliott Sim. 799-800 [doi]
• The Second International Symposium on Constructing Software Engineering Tools (CoSET2000)Jonathan Gray, Louise Scott, Ian Ferguson. 801-802 [doi]
• Design, specification, and verification of interactive systems (workshop session)Philippe A. Palanque, Fabio Paternò. 803-804 [doi]
• Workshop on standard exchange format (WoSEF)Susan Elliott Sim, Richard C. Holt, Rainer Koschke. 805-806 [doi]
• Workshop on multi-dimensional separation of concerns in software engineeringPeri L. Tarr, William H. Harrison, Harold Ossher, Anthony Finkelstein, Bashar Nuseibeh, Dewayne E. Perry. 809-810 [doi]
• The 2nd International Workshop on Economics-Driven Software Engineering ResearchKevin J. Sullivan. 811 [doi]
• WISE:::3:::: the Third International Workshop on Intelligent Software Engineering (workshop session)Tim Menzies. 812-813 [doi]
• Software product lines: economics, architectures, and applications (workshop)Peter Knauber, Giancarlo Succi. 814-815 [doi]
• Agent-oriented software engineering (workshop)Paolo Ciancarini, Michael Wooldridge. 816-817 [doi]
• Specifying and measuring quality in use (tutorial session)Nigel Bevan. 819 [doi]
• Designing and analyzing software architectures using ABASs (tutorial session)Rick Kazman, Mark Klein. 820 [doi]
• Building modular object-oriented systems with reusable collaborations (tutorial session)Karl J. Lieberherr, David H. Lorenz, Mira Mezini. 821 [doi]
• Introduction to CORBA (tutorial session)Steve Vinoski. 822 [doi]
• Moving from ISO9000 to higher levels of the CMM (tutorial session)Pankaj Jalote. 823 [doi]
• Planning realistic schedules using software architecture (tutorial session)Robert L. Nord, Daniel J. Paulish, Dilip Soni. 824 [doi]
• Improving design and source code modularity using AspectJ (tutorial session)Cristina Videira Lopes, Gregor Kiczales. 825 [doi]
• Scalability issues in CORBA-based systems (tutorial session)Steve Vinoski. 826 [doi]
• Intellectual property protection for software in the United States and Europe (tutorial session): the changing roles of patents and copyrightsGregory J. Kirsch, Yannis Skulikaris. 827 [doi]
• Software process improvement (tutorial session): best practices and lessons learnedBill Curtis. 828 [doi]
• Designing real-time and distributed applications with the UML (tutorial session)Hassan Gomaa. 829 [doi]
• System development using application services over the Net (tutorial session)Kenji Takahashi, Wolfgang Emmerich, Anthony Finkelstein, Sofia Guerra. 830 [doi]
• Software reliability (tutorial session): basic concepts and assessment methodsBev Littlewood, Lorenzo Strigini. 831 [doi]
• Product-line architectures, aspects, and reuse (tutorial session)Don S. Batory. 832 [doi]
• Advanced visual modeling (tutorial session): beyond UMLJoseph Gil, John Howse, Stuart Kent. 833 [doi]
• Understanding code mobility (tutorial session)Gian Pietro Picco. 834 [doi]
• Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessmentBev Littlewood, Lorenzo Strigini. 835 [doi]
• Improving software inspections by using reading techniques (tutorial session)Victor R. Basili, Oliver Laitenberger, Forrest Shull, Ioana Rus. 836 [doi]