22. ICSE 2000: Limerick, Ireland

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

• Carlton 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