Sunday, June 4 2000

S1

Opening Ceremony + Invited Presentation by M. Castells

S5.4
PETT

S16.5
Research Demos

Workshops

• W01: 4th International Software Architecture Workshop (ISAW)
• W02: Second ICSE Workshop on Web Engineering
• W03: Workshop on Automated Program Analysis, Testing and Verification
• W04: Continuing Collaborations for Successful COTS Development

Workshops

• W01: 4th International Software Architecture Workshop (ISAW)
• W02: Second ICSE Workshop on Web Engineering
• W03: Workshop on Automated Program Analysis, Testing and Verification
• W04: Continuing Collaborations for Successful COTS Development

Workshops

• W01: 4th International Software Architecture Workshop (ISAW)
• W02: Second ICSE Workshop on Web Engineering
• W03: Workshop on Automated Program Analysis, Testing and Verification
• W04: Continuing Collaborations for Successful COTS Development
• W05: Beg, Borrow or Steal: Using Multi-disciplinary Approaches in Empirical Software Engineering
• W06: 2nd International Symposium on Constructing Software Engineering Tools (COSET)
• W08: Specification, Design and Verification of Interactive Systems (DSV-IS 2000)

Tutorials

• T01: Software Cost Estimating with the COCOMO II Model
• T02: Specifying and Measuring Quality in Use
• T03: Designing and Analyzing Software Architectures using ABASs
• T04: Building Modular OO Systems with Reusable Collaborations
• T05: Introduction to CORBA
• T06: Moving from ISO9000 to High Maturity Levels of the CMM

Workshops

• W01: 4th International Software Architecture Workshop (ISAW)
• W02: Second ICSE Workshop on Web Engineering
• W03: Workshop on Automated Program Analysis, Testing and Verification
• W05: Beg, Borrow or Steal: Using Multi-disciplinary Approaches in Empirical Software Engineering
• W06: 2nd International Symposium on Constructing Software Engineering Tools (COSET)
• W08: Specification, Design and Verification of Interactive Systems (DSV-IS 2000)
• W09: 3rd International Workshop on Component-based Software Engineering: Reflection on Practice

• Tutorials

• T01: Software Cost Estimating with the COCOMO II Model
• T02: Specifying and Measuring Quality in Use
• T07: Planning Realistic Schedules Using Software Architecture
• T08: Improving Design and Source Code Modularity Using AspectJ
• T09: Scalability Issues in CORBA-based Systems
• T10: Intellectual Property Protection for Software in the United States and Europe: The Changing Roles of Patents and Copyrights

Workshops

• W07: Software Engineering for Wearable and Pervasive Computing (SEWPC)
• W08: Specification, Design and Verification of Interactive Systems (DSV-IS 2000)
• W09: 3rd International Workshop on Component-based Software Engineering: Reflection on Practice
• W10: Workshop on Standard Exchange Format (WOSEF)
• W11: 3rd Workshop on Software Engineering Over the Internet
• W12: Multi-dimensional Separation of Concerns in Software Engineering
• W13: 2nd International Workshop on Economics-Driven Software Engineering Research (EDSER-2)
• W14: The Third Workshop on Intelligent Software Engineering (WISE)

Tutorials

• T11: Software Process Improvement: Best Practices and Lessons Learned
• T12: Commonality Analysis for Defining Software Product Lines
• T13: Designing Real-Time and Distributed Applications with the UML
• T14: System Development Using Application Services over the Net
• T15: Software Reliability: Basic Concepts and Assessment Methods

Doctoral Workshop

Workshops

• W07: Software Engineering for Wearable and Pervasive Computing (SEWPC)
• W08: Specification, Design and Verification of Interactive Systems (DSV-IS 2000)
• W09: 3rd International Workshop on Component-based Software Engineering: Reflection on Practice
• W10: Workshop on Standard Exchange Format (WOSEF)
• W11: 3rd Workshop on Software Engineering Over the Internet
• W12: Multi-dimensional Separation of Concerns in Software Engineering
• W13: 2nd International Workshop on Economics-Driven Software Engineering Research (EDSER-2)
• W14: The Third Workshop on Intelligent Software Engineering (WISE)

Tutorials

• T11: Software Process Improvement: Best Practices and Lessons Learned
• T16: Product-line Architectures, Aspects, and Reuse
• T17: Advanced Visual Modeling: Beyond UML
• T18: Understanding Code Mobility
• T19: Fault Tolerance Via Diversity Against Design Faults: Design Principles and Reliability Assessment
• T20: Improving Software Inspections by Using Reading Techniques

Doctoral Workshop

S1: Plenary Session (9:00 - 10:45)

• Opening Ceremony
• Invited Presentation: Is The New Economy Socially Sustainable? by Manuel Castells, Professor of Sociology, University of California at Berkeley, USA.

S2: 5 Parallel Sessions (11:15 - 12:45)

S2.1 (TP): Components and COTS

• A Case Study: Demands on Component-based Development by Ivica Crnkovic (Mlardalen University), Magnus Larsson, (ABB Automation Products AB).
• Investigating and Improving a COTS-Based Software Development Process by Maurizio Morisio (University of Maryland), Carolyn Seaman (University of Maryland, Baltimore County), Amy Parra (CSC), Victor Basili (University of Maryland and Fraunhofer Institute, Maryland), Steve Condon (CSC), Steve Kraft (NASA/GSFC).
• PPT: A COTS Integration Case Study by L. David Balk, Ann Kedia (T. Rowe Price Investment Technologies).

S2.2 (TP): Software Architectures and Product Families

• Supporting Diversity with Component Frameworks as Architectural Entities by Jan Gerben Wijnstra (Philips Research Laboratories).
• Requirements Engineering for Product Families by Juha Kuusela (Nokia Research Center), Juha Savolainen (Helsinki University of Technology).
• Extending Requirement Specifications Using Analogy by Yusuf Pisan (Macquarie University, Sydney).

S2.3 (FoSE): Reasoning and Representation

• Reasoning & Analysis: A Roadmap by Daniel Jackson, Martin Rinard.
• Formal Specification: A Roadmap by Axel van Lamsweerde.
• Mathematical Foundations of Software Engineering: A Roadmap by Tom Maibaum.

S2.4 (PETT): Technology Transfer "in the large"

• From MCC to CMM: Technology Transfer Wars Lost and Won by Bill Curtis (Teraquest, Inc).
• Fraunhofer: The German Model for Applied Research and Technology Transfer by Dieter Rombach (Fraunhofer Institute for Experimental Software Engineering - IESE).
• Discussion: What are the Success Criteria for Technology Transfer? – Does Culture Matter?

S2.5 (Technical Panel): Impact of Software Engineering Research upon Practice

• Panel Chair: Leon Osterweil, University of Massachusetts at Amherst. Panelists: TBD

S3: Plenary Session (14:15 - 15:15)

• Awards Presentation

  SIGSOFT Outstanding Research Award: Victor R. Basili SIGSOFT Distinguished Service Award: Marvin Zelkowitz
  2000 Harlan D. Mills Practical Visionary award: Barry Boehm

S4: 5 Parallel Sessions (15:30 - 16:30)

S4.1 (TP): New Perspectives on Software Engineering

• ‘It's Engineering Jim but not as we know it’: Software Engineering - solution to the software crisis, or part of the problem? by Antony Bryant (Leeds Metropolitan University).
• Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? By James Widmaier (National Security Agency), Carol Smidts, Xin Huang (University of Maryland).

S4.2 (TP): Data Analysis

• Improving Problem-Oriented Mailing List Archives with MCS by Robert Brewer (University of Hawaii at Manoa).
• Broad-Spectrum Studies of Log File Analysis by James Andrews, Yingjun Zhang (University of Western Ontario).

S4.3 (FoSE): Infrastructure I

• Software Engineering Tools and Environments: A Roadmap by Willian Harrison, Harold Ossher, Peri Tarr.
• Software Configuration Management: A Roadmap by Jacky Estublier.

S4.4 (PETT): Professionalization of Software Engineering

• Software Development Engineer - A Subjective View of Soft Skills Required by Martin Orsted (Microsoft).
• Software Needs Engineering by Jane B. Grimson (Trinity College Dublin), Hans-Jürgen Kugler (Q-Labs AB).
• Is Software Education Narrowminded? by Peter Morrogh (Lifetime Assurance).
• Discussion: Who Is at Fault: Education, Engineering, Business? Where Do We Go from Here?

S4.5 (SEAT):

• Carleton Moore, "Lessons Learned from Teaching Reflective Software Engineering using the Leap Toolkit"
• Stephen Edwards, "Can Quality Graduate Software Engineering Courses Really Be Delivered Asynchronously On-line?"

S5: 5 Parallel Sessions (17:00 - 18:30)

S5.1 (TP): Testing I

• Multivariate Visualization in Observation-Based Testing by David Leon, Andy Podgurski, Lee White (Case Western Reserve University).
• An Empirical Study of Regression Test Application Frequency by Jung-Min Kim, Adam Porter (University of Maryland), Gregg Rothermel (Oregon State University).
• Testing Levels for Object-Oriented Software by Yvan Labiche, Pascale Thevenod-Fosse, Helene Waeselynck (LAAS/CNRS), Marie-Helene Durand (Aerospatiale Matra Airbus).

S5.2 (TP): Evolution and Reuse

• Software Evolution in Componentware Using Requirements/Assurances Contracts by Andreas Rausch (Technische Universitaet Muenchen, FORSOFT).
• An Integrated Cost Model for Software Reuse by Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang, Ali Mili (West Virginia University).
• Data Mining Library Reuse Patterns using Generalized Association Rules by Amir Michail (University of Washington).

S5.3 (FoSE): Process I

• Software Process: A Roadmap by Alfonso Fuggetta.
• Requirements Engineering: A Roadmap by Bashar Nuseibeh, Steve Easterbrook.
• Reverse Engineering: A Roadmap by Hausi Muller, Jens Jahnke, Dennis Smith, Margaret-Anne Storey, Scott Tilley, Kenny Wong.

S5.4 (PETT): Panel: Component-Based Software Engineering and the Issue of Trust

• Panelists: George Heinemann (WPI), Bill Councill (Texas Quintessence Corporation), Janet S. Flynt (Underwriters Laboratories, Inc), Éoin Redmond (Mannatech, Inc), John R. Speed (former Executive Director of Texas Board of Professional Engineers), Mary Shaw (Carnegie-Mellon University)

S5.5 (SEAT Panel): Shortages of Qualified Software Engineering Faculty and Practitioners: Challenges in Breaking the Cycle (17:00 - 18:30)

Chairs: Nancy Mead (Software Engineering Institute, USA), Hossein Saiedian (University of Nebraska at Omaha, USA).

• Panelists: Donald J. Bagert (Texas Tech University), Helen Edwards (University of Sunderland), Nancy R. Mead (Software Engineering Institute), Günther Ruhe (Fraunhofer Institute for Experimental Software Engineering - IESE), Michael Ryan (Dublin City University), Hossein Saiedian (University of Nebraska at Omaha).
  
  One of the most serious issues facing the software engineering education community is the lack of qualified tenure-track (full-time) faculty to teach software engineering courses, particularly at the undergraduate level. Similarly, one of the most serious issues facing the software industry is the lack of qualified junior and senior software engineers. This shortage cycle has existed for some time, and if it is not addressed properly will only worsen, thereby affecting the software engineering field in a more general way than it has already.
  The objective of this panel is to put a number of suggestions for improvement into discussion and debate in order to evaluate their potential and viability.

S6: Plenary Session (9:00 – 10:00)

• Invited Presentation: The Future of Software by Grady Booch, Chief Technical Officer at Catapulse, USA.

S7: 5 Parallel Sessions (10:15 - 11:15)

S7.1 (TP): Component-Based Systems

• Towards a Taxonomy of Software Connectors by Nikunj Mehta, Nenad Medvidovic, Sandeep Phadke (University of Southern California).
• A Formal Approach for Designing CORBA-Based Applications by Alberto Coen-Porisini (Università di Lecce), Matteo Pradella, Matteo Rossi, Dino Mandrioli (Politecnico di Milano).

S7.2 (SEAT technical papers): Software Engineering Training

• Simulation in Software Engineering Training by Anke Drappa, Jochen Ludewig (University of Stuttgart).
• Twenty Dirty Tricks to Train Software Engineers by Ray Dawson (Loughborough University).

S7.3 (FoSE): Methods I

• Software Economics: A Roadmap by Barry Boehm, Kevin Sullivan.
• Empirical Studies of Software Engineering: A Roadmap by Dewayne Perry, Adam Porter, Lawrence Votta.

S7.4 (PETT): Experience with a Product Line and Family Approach

• An Approach to Architectural Analysis of Product Lines by Gerald Gannod (Arizona State University), Robyn Lutz (NASA Jet Propulsion Laboratory).
• Introducing a Software Modeling Concept in a Medium-Sized Company by Klaus Schmid, Ulrike Becker-Kornstaedt, Peter Knauber (Fraunhofer Institute for Experimental Software Engineering - IESE), Florian Bernauer (Markant Südwest Software und Dienstleistungs GmbH).

S7.5 (RD):

• Daniel Jackson, Ian Schechter, Ilya Shlyakhter. "Alcoa: The Alloy Constraint Analyzer".
• Harold Ossher, Peri Tarr. "Hyper/J™: Multi-Dimensional Separation of Concerns for Java™".

S8: 5 Parallel Sessions (11:45 - 12:45)

S8.1 (TP): Testing II

• Deriving Test Plans from Architectural Descriptions by Antonia Bertolino (IEI-CNR), Flavio Corradini, Paola Inverardi, Henry Muccini (Università di L'Aquila).
• WYSIWYT Testing in the Spreadsheet Paradigm: An Empirical Evaluation by Karen J. Rothermel, Curtis R. Cook, Margaret M. Burnett, Justin Schonfeld (Oregon State University), T.R.G. Green (University of Leeds), Gregg Rothermel (Oregon State University).

S8.2 (TP): Software Architecture

• Integrating UML Diagrams for Production Control Systems by Hans Koehler, Ulrich Nickel, Joerg Niere, Albert Zuendorf (University of Paderborn).
• Dragonfly: Linking Conceptual and Implementation Architectures of Multiuser Interactive Systems by Gary E. Anderson, T.C. Nicholas Graham, Timothy N. Wright (Queen's University).

S8.3 (FoSE): Methods II

• Software Metrics: A Roadmap by Norman Fenton, Martin Neil.
• Software Engineering Education: A Roadmap by Mary Shaw.

S8.4 (PETT): Technology Transfer as Explicit Business and Process Issue

• From Research to Reward: Challenges in Technology Transfer by Adrian M. Colyer (IBM).
• Technology Transfer Macro-Process - A Practical Guide for the Effective Introduction of Technology by Tetsuto Nishiyama, Kunihiko Ikeda, Toru Niwa (OMRON Corporation).

S8.5 (SEAT):

• Nathalie Poerwantoro, Abdulmotaleb El Saddik, Bernd Krämer, Ralf Steinmetz, "Multibook's Test Environment"
• George Birbilis, Manolis Koutlis, Kriton Kyrimis, George Tsironis, George Vasiliou, "E-Slate: A software architectural style for end-user

S9: Plenary Session (14:15 - 15:15)

Invited Presentation: Dot.Com Versus Bricks and Mortar – The Impact of Portal Technology by Chris Horn, Founder and CEO of IONA Technologies plc., Ireland.

S10: 5 Parallel Sessions (15:30 - 16:30)

S10.1 (TP): Open Source and Software Markets

• A Case Study of Open Source Software Development: The Apache Server by Audris Mockus (Lucent Technologies, Bell Laboratories), Roy Fielding (University of California, Irvine), James Herbsleb (Lucent Technologies, Bell Laboratories).
• Multiple Mass Market Applications as Components by David Coppit, Kevin Sullivan (University of Virginia).

S10.2 (SEAT technical papers): Software Engineering Education

• Developing and Deploying Software Engineering Courseware in an Adaptable Curriculum Framework by W. Richards Adrion (University of Massachusetts, Amherst).
• Achieving Industrial Relevance with Academic Excellence: Lessons from the Oregon Master of Software Engineering by Stuart Faulk (University of Oregon).

S10.3 (FoSE): Process II

• Testing: A Roadmap by Mary Jean Harrold.
• Software Maintenance and Evolution: A Roadmap by Keith Bennett, Vaclaw Rajlich.

S10.4 (PETT): Support for Effective Project Estimation

• When the Project Absolutely Must Get Done: Marrying the Organization Chart with the Precedence Diagram by Stan Rifkin (Master Systems, Inc).
• An Evaluation of the Paired Comparison Method for Software Sizing by Eduardo Miranda (Ericsson Research).

S10.5 (RD):

• David A. Marca, Beth A. Perdue. "A Software Engineering Approach and Tool Set for Developing Internet Applications".
• Ulrich Nickel, Jörg Niere, Albert Zündorf. "The FUJABA Environment".

S11: 5 Parallel Sessions (17:00 - 18:30)

S11.1 (TP): System Model Derivation

• Inference of Message Sequence Charts by Rajeev Alur (University of Pennsylvania and Lucent Technologies, Bell Laboratories), Kousha Etessami, Mihalis Yannakakis (Lucent Technologies, Bell Laboratories).
• Generating Statechart Designs From Scenarios by Jon Whittle, Johann Schumann (NASA Ames Research Center).
• Object Model Resurrection - An Object-Oriented Software Maintenance Activity by Gokul Subramaniam (NORTEL Networks).

S11.2 (TP): Model Checking

• Action Language: A Specification Language for Model Checking Reactive Systems by Tevfik Bultan (University of California, Santa Barbara).
• Three Approximation Techniques for ASTRAL Symbolic Model Checking of Infinite State Real-time System by Zhe Dang, Richard Kemmerer (University of California, Santa Barbara).

S11.3 (FoSE): Components and Structure

• Software Architecture: A Roadmap by David Garlan.
• Object-Oriented Modeling: A Roadmap by Gregor Engels, Luuk Groenewegen.
• Software Engineering for Middleware: A Roadmap by Wofgang Emmerich.

S11.4 (PETT): Technology Transfer in the Internet World

• Technology Transfer: Leakage or Control? by Glorianna Davenport (MIT Media-Lab).
• Grow Fast - Grow Global: How the Irish Software Industry Evolved to this Business Model by Barry Murphy (Openet Telecom Ltd).
• Discussion: Research in Internet Time? Are We Endangering Innovation?

S11.5 (SEAT panel): Panel: Who Needs Doctors?

Chairs: J. Magee and M. Pezzé

S12: Plenary Session (9:00 - 10:00)

• Invited Presentation: Requirement Engineering in the Year 00: A Research Perspective by Axel van Lamsweerde, Professor of Computer Science, University of Louvain, Belgium.

S13: 5 Parallel Sessions (10:15 - 11:15)

S13.1 (TP): Program Analysis I

• Component Design of Retargetable Program Analysis Tools that Reuse Intermediate Representations by James Hayes, William Griswold, Stuart Moskovics (Motorola, BCS).
• Towards Efficient and Accurate Program Analysis Using Light-Weight Context Recovery by Donglin Liang, Mary Jean Harrold (Georgia Tech University).

S13.2 (TP): Empirical Studies

• Using the European Space Agency Data Set: A Replicated Assessment of Common Software Cost Estimation Techniques by Lionel Briand (Carleton University), Tristen Langley (University of New South Wales), Isabella Wieczorek (Fraunhofer Institute for Experimental Software Engineering - IESE).
• Characterization of Risky Projects Based on Project Managers' Evaluation by Osamu Mizuno, Tohru Kikuno (Osaka University), Yasunari Takagi, Keishi Sakamoto (OMRON Corporation).

S13.3 (FoSE): Properties I

• Software Reliability & Dependability: A Roadmap by Bev Littlewood, Lorenzo Strigini.
• Software Engineering for Performance: A Roadmap by Rob Pooley.

S13.4 (PETT): From Research to Business Success I

• The Making of Orbix and the iPortal Suite by Sean Baker (IONA Technologies plc).
• Daily Build and Feature Development in Large Distributed Projects by Even-André Karlsson (Q-Labs), Lars-Göran Andersson, Per Leion (Ericsson).
• Discussion: Professional Software Engineering and Extreme Programming - Is this a Domain or a Cultural Issue?

S13.5 (RD):

• Fabiano Cattaneo, Elisabetta Di Nitto, Alfonso Fuggetta, Luigi Lavazza, Giuseppe Valetto. "Managing Software Artifacts on the Web with Labyrinth".
• David Coppit, Kevin J. Sullivan. "Galileo: A Tool Built from Mass-Market Applications".

S14: 5 Parallel Sessions (11:45 - 12:45)

S14.1 (TP): Web-Based Systems

• Implementing Incremental Code Migration with XML by Wolfgang Emmerich, Cecilia Mascolo, Anthony Finkelstein (University College London).
• Principled Design of the Modern Web Architecture by Roy Fielding, Richard Taylor (University of California, Irvine).

S14.2 (TP): Case Studies

• A Study on Exception Detection and Handling Using Aspect-Oriented Programming by Martin Lippert (University of Hamburg), Cristina Lopes (Xerox PARC).
• A Case Study in Root Cause Defect Analysis by Marek Leszak, Dewayne Perry, Dieter Stoll (Lucent Technologies, Bell Laboratories).

S14.3 (FoSE): Properties II

• Software Engineering for Real-time: A Roadmap by Hermann Kopetz.
• Software Engineering for Safety: A Roadmap by Robyn Lutz.

S14.4 (PETT): Practical Experience: Company Case Studies I

• Improvement of Configuration Management System by Frank Titze (CAD-UL Computer Aided Design Ulm GmbH).
• Applying and Adjusting a Software Process Improvement Model in Practice: The Use of the IDEAL Model in a Small Software Enterprise by Karlheinz Kautz, Henrik Westergaard Hansen, Kim Thaysen (Aalborg University).

S14.5 (SEAT):

• Helen Sharp, Pat Hall, "An Interactive Multimedia Software House Simulation for postgraduate Software Engineers"
• Sita Ramakrishan, "LIGHTVIEWS - Visual Interactive Internet Environment for Learning OO Software Testing"

S15: 5 Parallel Sessions (14:15 - 15:15)

S15.1 (TP): Program Analysis II

• Bandera: Extracting Finite-State Models from Java Source Code by James Corbett (University of Hawaii), Matthew Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, and Hongjun Zheng (Kansas State University).
• Quickly Detecting Relevant Program Invariants by Michael Ernst, Adam Czeisler (University of Washington), William Griswold (University of California, San Diego), David Notkin (University of Washington).

S15.2 (TP): Review and Inspection Techniques

• Characterizing Implicit Information During Peer Review Meetings by Patrick d'Astous, Pierre N. Robillard (Ecole Polytechnique de Montreal).
• Object-Oriented Inspection in the Face of Delocalization by Alastair Dunsmore, Marc Roper, Murray Wood (University of Strathclyde).

S15.3 (FoSE): Properties III

• Software Engineering for Security: A Roadmap by Premkumar Devanbu, Stuart Stubblebine.
• Software Engineering for Mobility: A Roadmap by Gruia-Catalin Roman, Amy Murphy, Gian Pietro Picco.

S15.4 (PETT): Practical Experience: Company Case Studies II

• European Experiences with Software Process Improvement by Fran O'Hara (Insight Consulting Ltd).
• Software Process Improvement by Object Technology (ESSI PIE 27785 - SPOT) by Antonio Caliò, Massimo Autiero (Caliò Informatica, Tecnopolis), Giuseppe Bux (Tecnopolis CSATA Scrl).

S15.5 (RD):

• Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton Jr., Alexander Wise. "Little-JIL/Juliette: A Process Definition Language and Interpreter".
• Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson. "Analyzing Software Architectures with Argus-I".

S16: 5 Parallel Sessions (15:30 - 16:30)

S16.1 (TP): Verification and Proofs

• An Inheritance-Based Technique for Building Simulation Proofs Incrementally by Idit Keidar, Roger Khazan, Nancy Lynch (Massachusetts Institute of Technology), Alex Shvartsman (University of Connecticut).
• Verification of Time Partitioning in the DEOS Scheduler Kernel by John Penix (NASA Ames Research Center), Willem Visser (RIACS/NASA Ames Research Center), Eric Engstrom, Aaron Larson, Nichloas Weininger (Honeywell).

S16.2 (TP): Visual Techniques

• Graphical Animation of Behavior Models by Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer (Imperial College).
• On the Design and Use of Diagrams in Software Engineering by Corin Gurr, Konstantinos Tourlas (University of Edinburgh).

S16.3 (FoSE): Infrastructure II

• Databases in Software Engineering: A Roadmap by Klaus Dittrich, Dimitrios Tombros, Andreas Geppert.
• Software Engineering on the Internet: A Roadmap by Luca Bompani, Paolo Ciancarini, Fabio Vitali.

S16.5 (RD):

• James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby. "Bandera: A Source-level Interface for Model Checking Java Programs".
• Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman. "Developing Mobile Computing Applications with LIME".

S17: Plenary Session (16:45 - 17:15)

• ICSE Summary and Prospects

Workshops

• W15: Software Product Lines: Economics, Architectures and Implications
• W16: Agent-oriented Software Engineering

Collocated Events

• PDSE2000
• IWPC2000
• SPICE2000

Workshops

• W15: Software Product Lines: Economics, Architectures and Implications
• W16: Agent-oriented Software Engineering

Collocated Events

• PDSE2000
• IWPC2000
• SPICE2000

Collocated Events

• PDSE2000
• IWPC2000
• SPICE2000

Collocated Events

• PDSE2000
• IWPC2000
• SPICE2000