• 
  Carlo Ghezzi, Mehdi Jazayeri, Alexander L. Wolf (Eds.): Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000. ACM 2000 ISBN 1-58113-206-9

Invited Presentations

• 
  Manuel Castells: Is the new economy socially sustainable? (abstract of invited presentation). 2
• 
  Grady Booch: The future of software (abstract of invited presentation). 3
• 
  Chris Horn: Dot com versus bricks and mortar - the impact of portal technology (abstract of invited presentation). 4
• 
  Axel van Lamsweerde: Requirements engineering in the year 00: a research perspective. 5-19

Components and COTS

• 
  Ivica Crnkovic, Magnus Larsson: A case study: demands on component-based development. 23-31
• 
  Maurizio Morisio, Carolyn B. Seaman, Amy T. Parra, Victor R. Basili, Steve E. Kraft, Steven E. Condon: Investigating and improving a COTS-based software development. 32-41
• 
  L. David Balk, Ann Kedia: PPT: a COTS integration case study. 42-49

Software Architecture and Product Families

• 
  Jan Gerben Wijnstra: Supporting diversity with component frameworks as architectural elements. 51-60
• 
  Juha Kuusela, Juha Savolainen: Requirements engineering for product families. 61-69
• 
  Yusuf Pisan: Extending requirement specifications using analogy. 70-76

New Perspectives on Software Engineering

• 
  Antony Bryant: It's engineering Jim ... but not as we know it: software engineering - solution to the software crisis, or part of the problem? 78-87
• 
  James C. Widmaier: Producing more reliable software: mature software engineering process vs. state-of-the-art technology? 88-93

Data Analysis

• 
  Robert S. Brewer: Improving problem-oriented mailing list archives with MCS. 95-104
• 
  James H. Andrews, Yingjun Zhang: Broad-spectrum studies of log file analysis. 105-114

Testing I

• 
  David Leon, Andy Podgurski, Lee J. White: Multivariate visualization in observation-based testing. 116-125
• 
  Jung-Min Kim, Adam A. Porter, Gregg Rothermel: An empirical study of regression test application frequency. 126-135
• 
  Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand: Testing levels for object-oriented software. 136-145

Evolution and Reuse

• 
  Andreas Rausch: Software evolution in componentware using requirements/assurances contracts. 147-156
• 
  Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang: An integrated cost model for software reuse. 157-166
• 
  Amir Michail: Data mining library reuse patterns using generalized association rules. 167-176

Component-Based Systems

• 
  Nikunj R. Mehta, Nenad Medvidovic, Sandeep Phadke: Towards a taxonomy of software connectors. 178-187
• 
  Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini: A formal approach for designing CORBA based applications. 188-197

Software Engineering Training

• 
  Anke Drappa, Jochen Ludewig: Simulation in software engineering training. 199-208
• 
  Ray Dawson: Twenty dirty tricks to train software engineers. 209-218

Testing II

• 
  Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini: Deriving test plans from architectural descriptions. 220-229
• 
  Karen J. Rothermel, Curtis R. Cook, Margaret M. Burnett, Justin Schonfeld, Thomas R. G. Green, Gregg Rothermel: WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation. 230-239

Software Architecture

• 
  Hans J. Köhler, Ulrich Nickel, Jörg Niere, Albert Zündorf: Integrating UML diagrams for production control systems. 241-251
• 
  Gary E. Anderson, T. C. Nicholas Graham, Timothy N. Wright: Dragonfly: linking conceptual and implementation architectures of multiuser interactive systems. 252-261

OPen Source and Software Markets

• 
  Audris Mockus, Roy T. Fielding, James D. Herbsleb: A case study of open source software development: the Apache server. 263-272
• 
  David Coppit, Kevin J. Sullivan: Multiple mass-market applications as components. 273-282

Software Engineering Education

• 
  W. Richards Adroin: Developing and deploying software engineering courseware in an adaptable curriculum framework. 284-292
• 
  Stuart R. Faulk: Achieving industrial relevance with academic excellence: lessons from the Oregon Master of Software engineering. 293-302

System Model Derivation

• 
  Rajeev Alur, Kousha Etessami, Mihalis Yannakakis: Inference of message sequence charts. 304-313
• 
  Jon Whittle, Johann Schumann: Generating statechart designs from scenarios. 314-323
• 
  Gokul V. Subramaniam: Object model resurrection - an object oriented maintenance activity. 324-333

Model Checking

• 
  Tevfik Bultan: Action Language: a specification language for model checking reactive systems. 335-344
• 
  Zhe Dang, Richard A. Kemmerer: Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems. 345-354

Program Analysis I

• 
  James Hayes, William G. Griswold, Stuart Moskovics: Component design of retargetable program analysis tools that reuse intermediate representations. 356-365
• 
  Donglin Liang, Mary Jean Harrold: Light-weight context recovery for efficient and accurate program analyses. 366-375

Empirical Studies

• 
  Lionel C. Briand, Tristen Langley, Isabella Wieczorek: A replicated assessment and comparison of common software cost modeling techniques. 377-386
• 
  Osamu Mizuno, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto: Characterization of risky projects based on project managers' evaluation. 387-395

Web-Based Systems

• 
  Wolfgang Emmerich, Cecilia Mascolo, Anthony Finkelstein: Implementing incremental code migration with XML. 397-406
• 
  Roy T. Fielding, Richard N. Taylor: Principled design of the modern Web architecture. 407-416

Case Studies

• 
  Martin Lippert, Cristina Videira Lopes: A study on exception detecton and handling using aspect-oriented programming. 418-427
• 
  Marek Leszak, Dewayne E. Perry, Dieter Stoll: A case study in root cause defect analysis. 428-437

Program Analysis II

• 
  James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng: Bandera: extracting finite-state models from Java source code. 439-448
• 
  Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin: Quickly detecting relevant program invariants. 449-458

Review and Inspection Techniques

• 
  Patrick d'Astous, Pierre N. Robillard: Characterizing implicit information during peer review meetings. 460-466
• 
  Alastair Dunsmore, Marc Roper, Murray Wood: Object-oriented inspection in the face of delocalisation. 467-476

Verification and Proofs

• 
  Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman: An inheritance-based technique for building simulation proofs incrementally. 478-487
• 
  John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger: Verification of time partitioning in the DEOS scheduler kernel. 488-497

Visual Techniques

• 
  Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer: Graphical animation of behavior models. 499-508
• 
  Corin A. Gurr, Konstantinos Tourlas: Towards the principled design of software engineering diagrams. 509-518

Technology Transfer "in the large"

• 
  Bill Curtis: From MCC and CMM: technology transfers bright and dim. 521-530
• 
  H. Dieter Rombach: Fraunhofer: the German model for applied research and technology transfer. 531-537

Professionalization of Software Engineering

• 
  Martin Orsted: Software development engineer in Microsoft: a subjective view of soft skills required. 539-540
• 
  Jane Grimson, Hans-Jürgen Kugler: Software needs engineering: a position paper. 541-544
• 
  Peter Morrogh: Is software education narrow-minded? A position paper. 545-546

Experience with a Product Line and Family Approach

• 
  Gerald C. Gannod, Robyn R. Lutz: An approach to architectural analysis of product lines. 548-557
• 
  Klaus Schmid, Ulrike Becker-Kornstaedt, Peter Knauber, Florian Bernauer: Introducng a software modeling concept in a medium-sized company. 558-567

Technology Transfer as an Explicit Business and Process Issue

• 
  Adrian M. Colyer: From research to reward: challenges in technology transfer. 569-576
• 
  Tetsuto Nishiyama, Kunihiko Ikeda, Toru Niwa: Technology transfer macro-process: a practical guide for the effective introduction of technology. 577-586

Support for Effective Project Estimation

• 
  Stan Rifkin: When the project absolutely must get done: marrying the organization chart with the precedence diagram. 588-596
• 
  Eduardo Miranda: An evaluation of the paired comparisons method for software sizing. 597-604

Technology Transfer in the Internet World

• 
  Barry Murphy: Grow fast, grow global: how the Irish software industry evolved to this business model. 606-607

From Research to Business Success

• 
  Seán Baker: The making of Orbix and the iPortal suite. 609-616
• 
  Even-André Karlsson, Lars-Göran Andersson, Per Leion: Daily build and feature development in large distributed projects. 649-658

Practical Experience: Company Case Studies I

• 
  Frank Titze: Improvement of a configuration management system. 618-625
• 
  Karlheinz Kautz, Henrik Westergaard Hansen, Kim Thaysen: Applying and adjusting a software process improvement model in practice: the use of the IDEAL model in a small software enterprise. 626-633

Practical Experience: Company Case Studies II

• 
  Fran O'Hara: European experiences with software process improvement. 635-640
• 
  Antonio Caliò, Massimo Autiero, Giuseppe Bux: Software process improvement by object technology (ESSI PIE 27785 -- SPOT). 641-647

Panels

• 
  Leon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller: Why don't we get more (self?) respect: the positive impact of software engineering research upon practice. 660
• 
  George T. Heineman, William T. Councill, Janet S. Flynt, Alok Mehta, John R. Speed, Mary Shaw: Component-based software engineering and the issue of trust. 661-664
• 
  Nancy R. Mead, Hossein Saiedian, Günther Ruhe, Donald J. Bagert, Helen M. Edwards, Michael Ryan: Shortages of qualified software engineering faculty and practitioners (panel session): challenges in breaking the cycle. 665-668
• 
  Jeff Magee: Who needs doctors? (abstract of panel session). 669

Teachin Demos

• 
  Carleton A. Moore: Lessons learned from teaching reflective software engineering using the Leap toolkit. 672-675
• 
  Stephen Edwards: Can quality graduate software engineering courses really be delivered asynchronously on-line? 676-679
• 
  Nathalie Poerwantoro, Abdulmotaleb El-Saddik, Bernd J. Krämer, Ralf Steinmetz: Multibook's test environment. 680-683
• 
  George Birbilis, Manolis Koutlis, Kriton Kyrimis, George Tsironis, George Vasiliou: E-Slate: a software architectural style for end-user programming. 684-687
• 
  Helen Sharp, Pat Hall: An interactive multimedia software house simulation for postgraduate software engineers. 688-691
• 
  Sita Ramakrishnan: LIGHTVIEWS - visual interactive Internet environment for learning OO software testing. 692-695

Doctoral Workshop

• 
  Jeff Magee, Mauro Pezzè: The ICSE2000 doctoral workshop. 697
• 
  Jing Dong: A logical framework for design composition. 698-700
• 
  Juan F. Ramil: Algorithmic cost estimation for software evolution. 701-703
• 
  Giovanni Denaro: Estimating software fault-proneness for tuning testing activities. 704-706
• 
  Radu Iosif: Formal verification applied to Java concurrent software. 707-709
• 
  Peter J. Kammer: Supporting dynamic distributed work processes with a component and event based approach. 710-712
• 
  Chang Liu: Platform-independent and tool-neutral test descriptions for automated software testing. 713-715
• 
  Marek Paralic: Contribution to simplifying the mobile agent programming. 716-718
• 
  Glêdson Elias da Silveira: Spontaneous software: a Web-based, object computing paradigm. 719-721
• 
  Mel Ó Cinnéide: Automated refactoring to introduce design patterns. 722-724
• 
  Michael W. Whalen: High-integrity code generation for state-based formalisms. 725-727

Research Demos

• 
  Daniel Jackson, Ian Schechter, Ilya Shlyakhter: Alcoa: the alloy constraint analyzer. 730-733
• 
  Harold Ossher, Peri L. Tarr: Hyper/J: multi-dimensional separation of concerns for Java. 734-737
• 
  David A. Marca, Beth A. Perdue: A software engineering approach and tool set for developing Internet applications. 738-741
• 
  Ulrich Nickel, Jörg Niere, Albert Zündorf: The FUJABA environment. 742-745
• 
  Fabiano Cattaneo, Elisabetta Di Nitto, Alfonso Fuggetta, Luigi Lavazza, Giuseppe Valetto: Managing software artifacts on the Web with Labyrinth. 746-749
• 
  David Coppit, Kevin J. Sullivan: Galileo: a tool built from mass-market applications. 750-753
• 
  Aaron G. Cass, Barbara Staudt Lerner, Stanley M. Sutton Jr., Eric K. McCall, Alexander E. Wise, Leon J. Osterweil: Little-JIL/Juliette: a process definition language and interpreter. 754-757
• 
  Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson: Analyzing software architectures with Argus-I. 758-761
• 
  James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: Bandera: a source-level interface for model checking Java programs. 762-765
• 
  Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman: Developing mobile computing applications with LIME. 766-769

Posters

• 
  Bart Michiels, Bart Wydaeghe: Component composition (poster). 771
• 
  Raimondas Lencevicius, Alexander Ran, Rahav Yairi: Third eye - specification-based analysis of software execution traces (poster). 772
• 
  Skylar Lei, Michael R. Smith, Giancarlo Succi: Empirical investigation of a novel approach to check the integrity of software engineering measuring processes (poster). 773
• 
  Lynda Thomas: The implication of different learning styles on the modeling of object-oriented systems (poster). 774
• 
  Silvia Teresita Acuña, Graciela Elisa Barchini, Mabel del V. Sosa: A culture-centered multilevel software process cycle model (poster). 775
• 
  Chang Liu, Debra J. Richardson: Using application states in software testing (poster). 776
• 
  Juan F. Ramil, M. M. Lehman: Effort estimation from change records of evolving software (poster). 777
• 
  Alan D. Sloane: Modeling deployment and configuration of CORBA systems with UML (poster). 778
• 
  Tim Walsh, Paddy Nixon, Simon A. Dobson: As strong as possible mobility (poster). 779
• 
  K. Suzanne Barber, Stephen R. Jernigan: Hybrid domain representation archive (HyDRA) for requirements model synthesis across viewpoints (poster). 780
• 
  Yousef H. Daabaj: The use of task analysis methods in support of the development of interactive systems (poster). 781
• 
  Anna Liu: DeBOT - an approach for constructing high performance, scalable distributed object systems (poster). 782
• 
  Garry Froehlich, Amr Kamel, Paul G. Sorenson: Exploring O-O framework usage (poster). 783
• 
  Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang: Tracking, predicting and assessing software reuse costs: an automated tool. 785
• 
  Giancarlo Succi, Jason Yip, Eric Liu, Witold Pedrycz: Holmes: a system to support software product lines. 786
• 
  Giancarlo Succi, Raymond Wong, Eric Liu, Michael R. Smith: Supporting dynamic composition of components. 787
• 
  Rory O'Connor, Robert Cochran, Tony Moynihan: Prompter - a project planning assistant. 788
• 
  Claudio Riva: Visualizing software release histories with 3DSoftVis. 789
• 
  Eleni Stroulia, Mohammad El-Ramly, Paul G. Sorenson, Roland Penner: Legacy systems migration in CelLEST. 790
• 
  Ulrike Becker-Kornstaedt, Louise Scott, Jörg Zettel: Process engineering with Spearmint^TM/EPG. 791

Workshops

• 
  Antonia Bertolino, Gail C. Murphy: An overview of the ICSE 2000 workshop program. 793
• 
  San Murugesan, Yogesh Deshpande: Second ICSE Workshop on Web Engineering. 794-795
• 
  Nigel Tracey, John Penix, Willem Visser: The First International Workshop on Automated Program Analysis, Testing and Verification. 796
• 
  John C. Dean: COTS Workshop: continuing collaborations for successful COTS development. 797-798
• 
  Janice Singer, Margaret-Anne D. Storey, Susan Elliott Sim: Beg, borrow, or steal (workshop session): using multidisciplinary approaches in empirical software engineering research. 799-800
• 
  Jonathan Gray, Louise Scott, Ian Ferguson: The Second International Symposium on Constructing Software Engineering Tools (CoSET2000). 801-802
• 
  Philippe A. Palanque, Fabio Paternò: Design, specification, and verification of interactive systems (workshop session). 803-804
• 
  Susan Elliott Sim, Richard C. Holt, Rainer Koschke: Workshop on standard exchange format (WoSEF). 805-806
• 
  Frank Mauer: 3rd workshop on software engineering over the Internet. 807-808
• 
  Peri L. Tarr, William H. Harrison, Harold Ossher, Anthony Finkelstein, Bashar Nuseibeh, Dewayne E. Perry: Workshop on multi-dimensional separation of concerns in software engineering. 809-810
• 
  Kevin J. Sullivan: The 2nd International Workshop on Economics-Driven Software Engineering Research. 811
• 
  Tim Menzies: WISE³: the Third International Workshop on Intelligent Software Engineering (workshop session). 812-813
• 
  Peter Knauber, Giancarlo Succi: Software product lines: economics, architectures, and applications (workshop). 814-815
• 
  Paolo Ciancarini, Michael Wooldridge: Agent-oriented software engineering (workshop). 816-817

Tutorials

• 
  Nigel Bevan: Specifying and measuring quality in use (tutorial session). 819
• 
  Rick Kazman, Mark Klein: Designing and analyzing software architectures using ABASs (tutorial session). 820
• 
  Karl J. Lieberherr, David H. Lorenz, Mira Mezini: Building modular object-oriented systems with reusable collaborations (tutorial session). 821
• 
  Steve Vinoski: Introduction to CORBA (tutorial session). 822
• 
  Pankaj Jalote: Moving from ISO9000 to higher levels of the CMM (tutorial session). 823
• 
  Robert L. Nord, Daniel J. Paulish, Dilip Soni: Planning realistic schedules using software architecture (tutorial session). 824
• 
  Cristina Videira Lopes, Gregor Kiczales: Improving design and source code modularity using AspectJ (tutorial session). 825
• 
  Steve Vinoski: Scalability issues in CORBA-based systems (tutorial session). 826
• 
  Gregory J. Kirsch, Yannis Skulikaris: Intellectual property protection for software in the United States and Europe (tutorial session): the changing roles of patents and copyrights. 827
• 
  Bill Curtis: Software process improvement (tutorial session): best practices and lessons learned. 828
• 
  Hassan Gomaa: Designing real-time and distributed applications with the UML (tutorial session). 829
• 
  Kenji Takahashi, Wolfgang Emmerich, Anthony Finkelstein, Sofia Guerra: System development using application services over the Net (tutorial session). 830
• 
  Bev Littlewood, Lorenzo Strigini: Software reliability (tutorial session): basic concepts and assessment methods. 831
• 
  Don S. Batory: Product-line architectures, aspects, and reuse (tutorial session). 832
• 
  Joseph Gil, John Howse, Stuart Kent: Advanced visual modeling (tutorial session): beyond UML. 833
• 
  Gian Pietro Picco: Understanding code mobility (tutorial session). 834
• 
  Bev Littlewood, Lorenzo Strigini: Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment. 835
• 
  Victor R. Basili, Oliver Laitenberger, Forrest Shull, Ioana Rus: Improving software inspections by using reading techniques (tutorial session). 836