| 2000 | 3rd workshop on software engineering over the Internet. Frank Maurer |
| 2000 | A case study in root cause defect analysis. Marek Leszak, Dewayne E. Perry, Dieter Stoll |
| 2000 | A case study of open source software development: the Apache server. Audris Mockus, Roy T. Fielding, James D. Herbsleb |
| 2000 | A case study: demands on component-based development. Ivica Crnkovic, Magnus Larsson |
| 2000 | A culture-centered multilevel software process cycle model (poster). Silvia Teresita Acuña, Graciela Elisa Barchini, Mabel del V. Sosa |
| 2000 | A formal approach for designing CORBA based applications. Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini |
| 2000 | A logical framework for design composition. Jing Dong |
| 2000 | A replicated assessment and comparison of common software cost modeling techniques. Lionel C. Briand, Tristen Langley, Isabella Wieczorek |
| 2000 | A software engineering approach and tool set for developing Internet applications. David A. Marca, Beth A. Perdue |
| 2000 | A study on exception detecton and handling using aspect-oriented programming. Martin Lippert, Cristina Videira Lopes |
| 2000 | Achieving industrial relevance with academic excellence: lessons from the Oregon Master of Software engineering. Stuart R. Faulk |
| 2000 | Action Language: a specification language for model checking reactive systems. Tevfik Bultan |
| 2000 | Advanced visual modeling (tutorial session): beyond UML. Joseph Gil, John Howse, Stuart Kent |
| 2000 | Agent-oriented software engineering (workshop). Paolo Ciancarini, Michael J. Wooldridge |
| 2000 | Alcoa: the alloy constraint analyzer. Daniel Jackson, Ian Schechter, Ilya Shlyakhter |
| 2000 | Algorithmic cost estimation for software evolution. Juan F. Ramil |
| 2000 | An approach to architectural analysis of product lines. Gerald C. Gannod, Robyn R. Lutz |
| 2000 | An empirical study of regression test application frequency. Jung-Min Kim, Adam A. Porter, Gregg Rothermel |
| 2000 | An evaluation of the paired comparisons method for software sizing. Eduardo Miranda |
| 2000 | An inheritance-based technique for building simulation proofs incrementally. Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman |
| 2000 | An integrated cost model for software reuse. Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang |
| 2000 | An interactive multimedia software house simulation for postgraduate software engineers. Helen Sharp, Pat Hall |
| 2000 | An overview of the ICSE 2000 workshop program. Antonia Bertolino, Gail C. Murphy |
| 2000 | Analyzing software architectures with Argus-I. Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson |
| 2000 | Applying and adjusting a software process improvement model in practice: the use of the IDEAL model in a small software enterprise. Karlheinz Kautz, Henrik Westergaard Hansen, Kim Thaysen |
| 2000 | As strong as possible mobility (poster). Tim Walsh, Paddy Nixon, Simon A. Dobson |
| 2000 | Automated refactoring to introduce design patterns. Mel Ó Cinnéide |
| 2000 | Bandera: a source-level interface for model checking Java programs. James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |
| 2000 | Bandera: extracting finite-state models from Java source code. James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng |
| 2000 | Beg, borrow, or steal (workshop session): using multidisciplinary approaches in empirical software engineering research. Janice Singer, Margaret-Anne D. Storey, Susan Elliott Sim |
| 2000 | Broad-spectrum studies of log file analysis. James H. Andrews, Yingjun Zhang |
| 2000 | Building modular object-oriented systems with reusable collaborations (tutorial session). Karl J. Lieberherr, David H. Lorenz, Mira Mezini |
| 2000 | COTS Workshop: continuing collaborations for successful COTS development. John C. Dean |
| 2000 | Can quality graduate software engineering courses really be delivered asynchronously on-line? Stephen Edwards |
| 2000 | Characterization of risky projects based on project managers' evaluation. Osamu Mizuno, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto |
| 2000 | Characterizing implicit information during peer review meetings. Patrick d'Astous, Pierre N. Robillard |
| 2000 | Component composition (poster). Bart Michiels, Bart Wydaeghe |
| 2000 | Component design of retargetable program analysis tools that reuse intermediate representations. James Hayes, William G. Griswold, Stuart Moskovics |
| 2000 | Component-based software engineering and the issue of trust. George T. Heineman, William T. Councill, Janet S. Flynt, Alok Mehta, John R. Speed, Mary Shaw |
| 2000 | Contribution to simplifying the mobile agent programming. Marek Paralic |
| 2000 | Daily build and feature development in large distributed projects. Even-André Karlsson, Lars-Göran Andersson, Per Leion |
| 2000 | Data mining library reuse patterns using generalized association rules. Amir Michail |
| 2000 | DeBOT - an approach for constructing high performance, scalable distributed object systems (poster). Anna Liu |
| 2000 | Deriving test plans from architectural descriptions. Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini |
| 2000 | Design, specification, and verification of interactive systems (workshop session). Philippe A. Palanque, Fabio Paternò |
| 2000 | Designing and analyzing software architectures using ABASs (tutorial session). Rick Kazman, Mark Klein |
| 2000 | Designing real-time and distributed applications with the UML (tutorial session). Hassan Gomaa |
| 2000 | Developing and deploying software engineering courseware in an adaptable curriculum framework. W. Richards Adroin |
| 2000 | Developing mobile computing applications with LIME. Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman |
| 2000 | Dot com versus bricks and mortar - the impact of portal technology (abstract of invited presentation). Chris Horn |
| 2000 | Dragonfly: linking conceptual and implementation architectures of multiuser interactive systems. Gary E. Anderson, T. C. Nicholas Graham, Timothy N. Wright |
| 2000 | E-Slate: a software architectural style for end-user programming. George Birbilis, Manolis Koutlis, Kriton Kyrimis, George Tsironis, George Vasiliou |
| 2000 | Effort estimation from change records of evolving software (poster). Juan F. Ramil, M. M. Lehman |
| 2000 | Empirical investigation of a novel approach to check the integrity of software engineering measuring processes (poster). Skylar Lei, Michael R. Smith, Giancarlo Succi |
| 2000 | Estimating software fault-proneness for tuning testing activities. Giovanni Denaro |
| 2000 | European experiences with software process improvement. Fran O'Hara |
| 2000 | Exploring O-O framework usage (poster). Garry Froehlich, Amr Kamel, Paul G. Sorenson |
| 2000 | Extending requirement specifications using analogy. Yusuf Pisan |
| 2000 | Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment. Bev Littlewood, Lorenzo Strigini |
| 2000 | Formal verification applied to Java concurrent software. Radu Iosif |
| 2000 | Fraunhofer: the German model for applied research and technology transfer. H. Dieter Rombach |
| 2000 | From MCC and CMM: technology transfers bright and dim. Bill Curtis |
| 2000 | From research to reward: challenges in technology transfer. Adrian M. Colyer |
| 2000 | Galileo: a tool built from mass-market applications. David Coppit, Kevin J. Sullivan |
| 2000 | Generating statechart designs from scenarios. Jon Whittle, Johann Schumann |
| 2000 | Graphical animation of behavior models. Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer |
| 2000 | Grow fast, grow global: how the Irish software industry evolved to this business model. Barry Murphy |
| 2000 | High-integrity code generation for state-based formalisms. Michael W. Whalen |
| 2000 | Holmes: a system to support software product lines. Giancarlo Succi, Jason Yip, Eric Liu, Witold Pedrycz |
| 2000 | Hybrid domain representation archive (HyDRA) for requirements model synthesis across viewpoints (poster). K. Suzanne Barber, Stephen R. Jernigan |
| 2000 | Hyper/J: multi-dimensional separation of concerns for Java. Harold Ossher, Peri L. Tarr |
| 2000 | Implementing incremental code migration with XML. Wolfgang Emmerich, Cecilia Mascolo, Anthony Finkelstein |
| 2000 | Improvement of a configuration management system. Frank Titze |
| 2000 | Improving design and source code modularity using AspectJ (tutorial session). Cristina Videira Lopes, Gregor Kiczales |
| 2000 | Improving problem-oriented mailing list archives with MCS. Robert S. Brewer |
| 2000 | Improving software inspections by using reading techniques (tutorial session). Victor R. Basili, Oliver Laitenberger, Forrest Shull, Ioana Rus |
| 2000 | Inference of message sequence charts. Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
| 2000 | Integrating UML diagrams for production control systems. Hans J. Köhler, Ulrich Nickel, Jörg Niere, Albert Zündorf |
| 2000 | Intellectual property protection for software in the United States and Europe (tutorial session): the changing roles of patents and copyrights. Gregory J. Kirsch, Yannis Skulikaris |
| 2000 | Introducng a software modeling concept in a medium-sized company. Klaus Schmid, Ulrike Becker-Kornstaedt, Peter Knauber, Florian Bernauer |
| 2000 | Introduction to CORBA (tutorial session). Steve Vinoski |
| 2000 | Investigating and improving a COTS-based software development. Maurizio Morisio, Carolyn B. Seaman, Amy T. Parra, Victor R. Basili, Steve E. Kraft, Steven E. Condon |
| 2000 | Is software education narrow-minded? A position paper. Peter Morrogh |
| 2000 | Is the new economy socially sustainable? (abstract of invited presentation). Manuel Castells |
| 2000 | It's engineering Jim ... but not as we know it: software engineering - solution to the software crisis, or part of the problem? Antony Bryant |
| 2000 | LIGHTVIEWS - visual interactive Internet environment for learning OO software testing. Sita Ramakrishnan |
| 2000 | Legacy systems migration in CelLEST. Eleni Stroulia, Mohammad El-Ramly, Paul G. Sorenson, Roland Penner |
| 2000 | Lessons learned from teaching reflective software engineering using the Leap toolkit. Carleton A. Moore |
| 2000 | Light-weight context recovery for efficient and accurate program analyses. Donglin Liang, Mary Jean Harrold |
| 2000 | Little-JIL/Juliette: a process definition language and interpreter. Aaron G. Cass, Barbara Staudt Lerner, Stanley M. Sutton Jr., Eric K. McCall, Alexander E. Wise, Leon J. Osterweil |
| 2000 | Managing software artifacts on the Web with Labyrinth. Fabiano Cattaneo, Elisabetta Di Nitto, Alfonso Fuggetta, Luigi Lavazza, Giuseppe Valetto |
| 2000 | Modeling deployment and configuration of CORBA systems with UML (poster). Alan D. Sloane |
| 2000 | Moving from ISO9000 to higher levels of the CMM (tutorial session). Pankaj Jalote |
| 2000 | Multibook's test environment. Nathalie Poerwantoro, Abdulmotaleb El Saddik, Bernd J. Krämer, Ralf Steinmetz |
| 2000 | Multiple mass-market applications as components. David Coppit, Kevin J. Sullivan |
| 2000 | Multivariate visualization in observation-based testing. David Leon, Andy Podgurski, Lee J. White |
| 2000 | Object model resurrection - an object oriented maintenance activity. Gokul V. Subramaniam |
| 2000 | Object-oriented inspection in the face of delocalisation. Alastair Dunsmore, Marc Roper, Murray Wood |
| 2000 | PPT: a COTS integration case study. L. David Balk, Ann Kedia |
| 2000 | Planning realistic schedules using software architecture (tutorial session). Robert L. Nord, Daniel J. Paulish, Dilip Soni |
| 2000 | Platform-independent and tool-neutral test descriptions for automated software testing. Chang Liu |
| 2000 | Principled design of the modern Web architecture. Roy T. Fielding, Richard N. Taylor |
| 2000 | Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000. Carlo Ghezzi, Mehdi Jazayeri, Alexander L. Wolf |
| 2000 | Process engineering with Spearmint Ulrike Becker-Kornstaedt, Louise Scott, Jörg Zettel |
| 2000 | Producing more reliable software: mature software engineering process vs. state-of-the-art technology? James C. Widmaier |
| 2000 | Product-line architectures, aspects, and reuse (tutorial session). Don S. Batory |
| 2000 | Prompter - a project planning assistant. Rory O'Connor, Robert Cochran, Tony Moynihan |
| 2000 | Quickly detecting relevant program invariants. Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin |
| 2000 | Requirements engineering for product families. Juha Kuusela, Juha Savolainen |
| 2000 | Requirements engineering in the year 00: a research perspective. Axel van Lamsweerde |
| 2000 | Scalability issues in CORBA-based systems (tutorial session). Steve Vinoski |
| 2000 | Second ICSE Workshop on Web Engineering. San Murugesan, Yogesh Deshpande |
| 2000 | Shortages of qualified software engineering faculty and practitioners (panel session): challenges in breaking the cycle. Nancy R. Mead, Hossein Saiedian, Günther Ruhe, Donald J. Bagert, Helen M. Edwards, Michael Ryan |
| 2000 | Simulation in software engineering training. Anke Drappa, Jochen Ludewig |
| 2000 | Software development engineer in Microsoft: a subjective view of soft skills required. Martin Orsted |
| 2000 | Software evolution in componentware using requirements/assurances contracts. Andreas Rausch |
| 2000 | Software needs engineering: a position paper. Jane Grimson, Hans-Jürgen Kugler |
| 2000 | Software process improvement (tutorial session): best practices and lessons learned. Bill Curtis |
| 2000 | Software process improvement by object technology (ESSI PIE 27785 -- SPOT). Antonio Caliò, Massimo Autiero, Giuseppe Bux |
| 2000 | Software product lines: economics, architectures, and applications (workshop). Peter Knauber, Giancarlo Succi |
| 2000 | Software reliability (tutorial session): basic concepts and assessment methods. Bev Littlewood, Lorenzo Strigini |
| 2000 | Specifying and measuring quality in use (tutorial session). Nigel Bevan |
| 2000 | Spontaneous software: a Web-based, object computing paradigm. Glêdson Elias da Silveira |
| 2000 | Supporting diversity with component frameworks as architectural elements. Jan Gerben Wijnstra |
| 2000 | Supporting dynamic composition of components. Giancarlo Succi, Raymond Wong, Eric Liu, Michael R. Smith |
| 2000 | Supporting dynamic distributed work processes with a component and event based approach. Peter J. Kammer |
| 2000 | System development using application services over the Net (tutorial session). Kenji Takahashi, Wolfgang Emmerich, Anthony Finkelstein, Sofia Guerra |
| 2000 | Technology transfer macro-process: a practical guide for the effective introduction of technology. Tetsuto Nishiyama, Kunihiko Ikeda, Toru Niwa |
| 2000 | Testing levels for object-oriented software. Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand |
| 2000 | The 2nd International Workshop on Economics-Driven Software Engineering Research. Kevin J. Sullivan |
| 2000 | The FUJABA environment. Ulrich Nickel, Jörg Niere, Albert Zündorf |
| 2000 | The First International Workshop on Automated Program Analysis, Testing and Verification. Nigel Tracey, John Penix, Willem Visser |
| 2000 | The ICSE2000 doctoral workshop. Jeff Magee, Mauro Pezzè |
| 2000 | The Second International Symposium on Constructing Software Engineering Tools (CoSET2000). Jonathan Gray, Louise Scott, Ian Ferguson |
| 2000 | The future of software (abstract of invited presentation). Grady Booch |
| 2000 | The implication of different learning styles on the modeling of object-oriented systems (poster). Lynda Thomas |
| 2000 | The making of Orbix and the iPortal suite. Seán Baker |
| 2000 | The use of task analysis methods in support of the development of interactive systems (poster). Yousef H. Daabaj |
| 2000 | Third eye - specification-based analysis of software execution traces (poster). Raimondas Lencevicius, Alexander Ran, Rahav Yairi |
| 2000 | Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems. Zhe Dang, Richard A. Kemmerer |
| 2000 | Towards a taxonomy of software connectors. Nikunj R. Mehta, Nenad Medvidovic, Sandeep Phadke |
| 2000 | Towards the principled design of software engineering diagrams. Corin A. Gurr, Konstantinos Tourlas |
| 2000 | Tracking, predicting and assessing software reuse costs: an automated tool. Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang |
| 2000 | Twenty dirty tricks to train software engineers. Ray Dawson |
| 2000 | Understanding code mobility (tutorial session). Gian Pietro Picco |
| 2000 | Using application states in software testing (poster). Chang Liu, Debra J. Richardson |
| 2000 | Verification of time partitioning in the DEOS scheduler kernel. John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger |
| 2000 | Visualizing software release histories with 3DSoftVis. Claudio Riva |
| 2000 | WISE Tim Menzies |
| 2000 | WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation. Karen J. Rothermel, Curtis R. Cook, Margaret M. Burnett, Justin Schonfeld, Thomas R. G. Green, Gregg Rothermel |
| 2000 | When the project absolutely must get done: marrying the organization chart with the precedence diagram. Stan Rifkin |
| 2000 | Who needs doctors? (abstract of panel session). Jeff Magee |
| 2000 | Why don't we get more (self?) respect: the positive impact of software engineering research upon practice. Leon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller |
| 2000 | Workshop on multi-dimensional separation of concerns in software engineering. Peri L. Tarr, William H. Harrison, Harold Ossher, Anthony Finkelstein, Bashar Nuseibeh, Dewayne E. Perry |
| 2000 | Workshop on standard exchange format (WoSEF). Susan Elliott Sim, Richard C. Holt, Rainer Koschke |