19. ICSE 1997: Boston, Massachusetts, USA

Exploiting the Internet

• Gail E. Kaiser, Stephen E. Dossick, Wenyu Jiang, Jack Jingshuang Yang:
  An Architecture for WWW-based Hypercode Environments. 3-13
  
• James Perpich, Dewayne E. Perry, Adam A. Porter, Lawrence G. Votta, Michael W. Wade:
  Anywhere, Anytime Code Inspections: Using the Web to Remove Inspection Bottlenecks in Large-Scale Software Development. 14-21
  
• Antonio Carzaniga, Gian Pietro Picco, Giovanni Vigna:
  Designing Distributed Applications with Mobile Code Paradigms. 22-32
  

Formal Specifications

• Shin Nakajima, Kokichi Futatsugi:
  An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. 34-44
  
• Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng:
  Formalizing and Integrating the Dynamic Model within OMT. 45-55
  
• Luciano Baresi, Alessandro Orso, Mauro Pezzè:
  Introducing Formal Specification Methods in Industrial Practice. 56-66
  

Reliability

• Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini:
  Choosing a Testing Method to Deliver Reliability. 68-78
  
• Andy Podgurski, Elaine J. Weyuker:
  Re-estimation of Software Reliability After Maintenance. 79-85
  
• Kazuyuki Shima, Shingo Takada, Ken-ichi Matsumoto, Koji Torii:
  A Study on the Failure Intensity of Different Software Faults. 86-94
  

Inspections and Reviews

• Carolyn B. Seaman, Victor R. Basili:
  An Empirical Study of Communication in Code Inspections. 96-106
  
• Michael Stein, John Riedl, Sören J. Harner, Vahid Mashayekhi:
  A Case Study of Distributed, Asynchronous Software Inspection. 107-117
  
• Philip M. Johnson, Danu Tjahjono:
  Assessing Software Review Meetings: A Controlled Experimental Study Using CSRS. 118-127
  
• Adam A. Porter, Harvey P. Siy, Lawrence G. Votta:
  Understanding the Effects of Developer Activities on Inspection Interval. 128-138
  

User Inferface and Specifications

• William N. Robinson, Vecheslav Volkov:
  A Meta-Model for Restructuring Stakeholder Requirements. 140-149
  
• J.-P. Jacquot, D. Quesnot:
  Early Specification of User-Interfaces: Toward a Formal Approach. 150-160
  
• William M. Wilson, Linda H. Rosenberg, Lawrence E. Hyatt:
  Automated Analysis of Requirement Specifications. 161-171
  
• T. C. Nicholas Graham, Tore Urnes:
  Integrating Support for Temporal Media into an Architecture for Graphical User Interfaces. 172-182
  

Legacy Systems and Testing

• Alexander S. Yeh, David R. Harris, Melissa P. Chase:
  Manipulating Recovered Software Architecture Views. 184-194
  
• Robert DeLine, Gregory Zelesnik, Mary Shaw:
  Lessons on Converting Batch Systems to Support Interaction (Experience Report). 195-204
  
• I. S. Dunietz, Willa K. Ehrlich, B. D. Szablak, Colin L. Mallows, Anthony Iannino:
  Applying Design of Experiments to Software Testing (Experience Report). 205-215
  
• Gilles Bernot, Laurent Bouaziz, Pascale Le Gall:
  A Theory of Probabilistic Functional Testing. 216-226
  

Static Analysis

• George S. Avrunin, James C. Corbett, Laura K. Dillon:
  Analyzing Partially-Implemented Real-Time Systems. 228-238
  
• Mauro Pezzè, Michal Young:
  Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. 239-249
  
• Jon Damon Reese, Nancy G. Leveson:
  Software Deviation Analysis. 250-260
  

Metrics

• Maurizio Pighin, Roberto Zamolo:
  A Predictive Metric Based on Discriminant Statistical Analysis. 262-270
  
• Bernd Brügge, Allen H. Dutoit:
  Communication Metrics for Software Development. 271-281
  
• Victor R. Basili, Steven E. Condon, Khaled El Emam, Robert B. Hendrick, Walcélio L. Melo:
  Characterizing and Modeling the Cost of Rework in a Library of Reusable Software Components. 282-291
  

Process

• Shinji Kusumoto, Osamu Mizuno, Tohru Kikuno, Yuji Hirayama, Yasunari Takagi, Keishi Sakamoto:
  A New Software Project Simulator Based on Generalized Stochastic Petri-net. 293-302
  
• Rodion M. Podorozhny, Leon J. Osterweil:
  The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report. 303-313
  

Hardware/Software Issues

• Viktor Friesen, Stefan Jähnichen, Matthias Weber:
  Specification of Software Controlling a Discrete-Continuous Environment. 315-325
  
• Mary F. Fernandez, Norman Ramsey:
  Automatic Checking of Instruction Specifications. 326-336
  

Reverse Engineering and Program Understanding

• Robert O'Callahan, Daniel Jackson:
  Lackwit: A Program Understanding Tool Based on Type Inference. 338-348
  
• Christian Lindig, Gregor Snelting:
  Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis. 349-359
  
• Dean F. Jerding, John T. Stasko, Thomas Ball:
  Visualizing Interactions in Program Executions. 360-370
  

Process Improvement

• Theodore Hammer, Linda H. Rosenberg, Lenore Huffman, Lawrence E. Hyatt:
  Measuring Requirements Testing. 372-379
  
• Jo Ann Lane, David Zubrow:
  Intergrating Measurement with Improvement: An Action-Oriented Approach (Experience Report). 380-389
  
• Minh Ngoc Nguyen, Alf Inge Wang, Reidar Conradi:
  Total Software Process Model Evolution in EPOS (Experience Report). 390-399
  
• Flavio Bonfatti, Gianni Gadda, Paola Daniela Monari:
  An Improved Process for the Development of PLC Software (Experience Report). 400-410
  

Analysis of C and C++

• Lionel C. Briand, Premkumar T. Devanbu, Walcélio L. Melo:
  An Investigation into Coupling Measures for C++. 412-421
  
• Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks:
  Incremental Analysis of Side Effects for C Software System. 422-432
  
• Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo:
  Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing. 433-443
  

Economic and Legal Issues

• June M. Verner, Narciso Cerpa:
  The Effect of Department Size on Developer Attitudes to Prototyping. 445-455
  
• Cristina Cifuentes, Anne Fitzgerald:
  Copyright in Shareware Software Distributed on the Internet - The Trumpet Winsock Case. 456-464
  
• Richard J. Botting:
  On the Economics of Mass-Marketed Software. 465-470
  

Object-Oriented Technology

• David S. Wile:
  Abstract Syntax from Concrete Syntax. 472-480
  
• Gregor Kiczales, John Lamping, Cristina Videira Lopes, Chris Maeda, Anurag Mendhekar, Gail C. Murphy:
  Open Implementation Design Guidelines. 481-490
  
• Garry Froehlich, H. James Hoover, Ling Liu, Paul G. Sorenson:
  Hooking into Object-Oriented Application Frameworks. 491-501
  

Testing and Analysis

• Kevin J. Sullivan, John Socha, Mark Marchukov:
  Using Formal Methods to Reason about Architectural Standards. 503-513
  
• Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen:
  Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report). 514-524
  
• Lalita Jategaonkar Jagadeesan, Adam A. Porter, Carlos Puchol, J. Christopher Ramming, Lawrence G. Votta:
  Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report). 525-535
  

Plenary Speakers

• Edward Yourdon:
  Beyond Software Engineering: Ten Imperatives for the Successful Software Developer at the End of the Decade (Abstract). 538
  
• Guy L. Steele Jr.:
  Java and the Evolution of Web Software (Abstract). 538
  
• Mark Weiser:
  Software Engineering That Matters to People (Abstract). 538
  
• Leon J. Osterweil:
  Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9. 540-548
  
• M. M. Lehman:
  Process Modelling - Where Next. 549-552
  

Software Engineering in Organizations: Lessons and Status Report

• Werner Karbach, Jörg Noack, Hans-Bernd Kittlaus:
  Leveraging a Large Banking Organization to Object Technology. 554-555
  
• Jeffrey Melanson, Robert L. Nord, Dilip Soni:
  Tailoring OMT for an Industry Software Project. 556-557
  
• Wolfgang Eixelsberger, Lasse Warholm, René Klösch, Harald Gall:
  Software Architecture Recovery of Embedded Software. 558-559
  
• Christoph Welsch, Alexander Schalk, Stefan Kramer:
  Integrating Forward and Reverse Object-Oriented Software Engineering. 560-561
  
• Kent Sullivan:
  The Windows 95 User Interface: Iterative Design and Problem Tracking in Action. 562-563
  
• Kevin Ryan, Joachim Karlsson:
  Prioritizing Software Requirements in an Industrial Setting. 564-565
  
• Rick Hefner:
  Lessons Learned with the Systems Security Engineering Capability Maturity Model. 566-567
  
• Franz Engelmann, Hans Stienen, Ernst Lebsanft:
  BOOTSTRAP: Four Years of Assessment Experience. 568-569
  
• Richard A. Baker Jr.:
  Code Reviews Enhance Software Quality. 570-571
  
• Robert Oshana, Frank P. Coyle:
  Implementing Cleanroom Software Engineering into a Mature CMM-Based Software Organization. 572-573
  
• Debra Bond, Patty Rishi:
  Redesigning the Systems Development Process. 574-575
  

Panels and Invited Presentations

• Richard W. Selby:
  Platforms for Software Execution: Databases vs. Operating Systems vs. Browsers (Panel). 578
  
• Alexander Ram, Hamish Kellock, Peter Hjort:
  Architecting Families of Software-Intensive Products. 580
  
• Anthony I. Wasserman:
  Java Development Environments (Panel). 582-583
  
• Walter Royce:
  Pragmatic Software Metrics for Iterative Development (Presentation). 585
  
• Prasun Dewan, Philip Johnson, Kanth Miriyala, Remo Pareschi:
  Panel on Collaborative Software Engineering. 586
  

State of the Art Reports

• Dewayne E. Perry:
  An Overview of the State of the Art in Software Architecture. 590-591
  
• Mark S. Ackerman:
  Everything you Need To Know About Collaboration and Collaboration Software. 592
  

Research Demonstrations

• Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer:
  Verification of Concurrent Software with FLAVERS. 594-595
  
• Craig Damon:
  Nitpick: A Tool for Interactive Design Analysis. 596-597
  
• Arthur S. Hitomi, Gregory Alan Bolcer, Richard N. Taylor:
  Endeavors: A Process System Infrastructure. 598-599
  
• Jason E. Robbins, David M. Hilbert, David F. Redmiles:
  Argo: A Design Environment for Evolving Software Architectures. 600-601
  
• Don Cohen, Martin S. Feather, Khaled Narayanaswamy, Stephen Fickas:
  Automatic Monitoring of Software Requirements. 602-603
  
• Karl J. Lieberherr, Doug Orleans:
  Preventive Program Maintenance in Demeter/Java. 604-605
  
• Margaret-Anne D. Storey, Kenny Wong, Hausi A. Müller:
  Rigi: A Visualization Environment for Reverse Engineering. 606-607
  
• Pei Hsia, David Chenho Kung:
  An Object-Oriented Testing and Maintenance Environment. 608-609
  
• Constance L. Heitmeyer, James Kirby, Bruce G. Labaw:
  The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support. 610-611
  
• Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde:
  GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering. 612-613
  
• Jim Q. Ning:
  ADE - An Architecture Design Environment for Component-Based Software Engineering. 614-615
  
• Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang, David Coppit:
  Package-Oriented Programming of Engineering Tools. 616-617
  
• Andy Schürr:
  Developing Graphical (Software Engineering) Tools with PROGRES. 618-619
  
• Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso:
  TINA ACE: An Environment for Specifying, Developing and Generating TINA Services. 620-621
  

Tutorial Summaries

• Bill Curtis:
  Software Process Improvement: Methods and Lessons Learned (Tutorial). 624-625
  
• Timothy D. Korson:
  A Realistic, Commercially Robust Process for the Development of Object-Oriented Software Systems (Tutorial). 626-627
  
• John D. Musa:
  Software-Reliability-Engineered Testing Practice (Tutorial). 628-629
  
• Jim Waldo:
  Java: A Language for Software Engineering (Tutorial). 630
  
• Jack C. Wileden, Alan Kaplan:
  Software Interoperability: Principles and Practice (Tutorial). 631-632
  
• Jeff Kramer, Jeff Magee:
  Distributed Software Architectures (Tutorial). 633-634
  
• W. Morven Gentleman:
  Effective Use of COTS (Commercial-off-the-Shelf) Software Components in Long Lived Systems (Tutorial). 635-636
  
• Stuart R. Faulk, Constance L. Heitmeyer:
  Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (Tutorial). 637-638
  
• Volker Gruhn, Wilhelm Schäfer:
  Software and Business Process Technology (Tutorial). 639-640
  
• Wolfgang Emmerich:
  An Introduction to OMG/CORBA (Tutorial). 641-642
  
• Victor R. Basili, Frank E. McGarry:
  The Experience Factory: How to Build and Run One (Tutorial). 643-644
  
• Watts S. Humphrey, James W. Over:
  The Personal Software Process (PSP): A Full-Day Tutorial. 645-646
  
• Bashar Nuseibeh, Suzanne Robertson:
  Making Requirements Measurable (Tutorial). 647-648
  
• Mark A. Ardis, David M. Weiss:
  Defining Families: The Commonality Analysis (Tutorial). 649-650
  
• Shari Lawrence Pfleeger:
  Evaluating Software Technology (Tutorial). 651-652
  
• Martin Fowler:
  A Survey of Object Oriented Analysis and Design Methods (Tutorial). 653-654
  
• Linda M. Seiter, Karl J. Lieberherr, Doug Orleans:
  Simplifying the Evolution of Java Programs (Tutorial). 655-656
  
• Dewayne E. Perry, Adam A. Porter, Lawrence G. Votta:
  A Primer on Empirical Studies (Tutorial). 657-658
  
• Hausi A. Müller:
  Reverse Engineering Strategies for Software Migration (Tutorial). 659-660
  
• Judith G. Brodman, Donna L. Johnson:
  A Software Process Improvement Approach Tailored for Small Organizations and Small Projects (Tutorial). 661-662
  
• Wolfgang Pree, Hermann Sikora:
  Design Patterns for Object-Oriented Software Development (Tutorial). 663-664
  
• Stefan Fischer, Stefan Leue:
  Formal Methods for Broadband and Multimedia Systems (Tutorial). 665-666
  
• Amrit L. Goel, Miyoung Shin:
  Software Engineering Data Analysis Techniques (Tutorial). 667-668
  
• Vaclav Rajlich:
  Comprehension and Evolution of Legacy Software (Tutorial). 669-670
  
• Marilyn W. Bush:
  European and American Software Process Maturity Models and Assessments (Tutorial). 671-672
  

Workshop Summaries

• Graeme Smith:
  The Second ISEW Cleanroom Workshop. 674
  
• Rachel Harrison, Martin J. Shepperd, John W. Daly:
  Workshop Summary: Process Modelling and Empirical Studies of Software Evolution. 675
  
• David Eichmann:
  Software Engineering (on) the World Wide Web (Workshop). 676
  
• Laurie Honour Werth, John Werth:
  Fourth International Workshop on Software Engineering Education (IWSEE 4). 677
  
• Gul Agha, Stefano Russo:
  Workshop on Software Engineering for Parallel and Distributed Systems. 678
  
• Reidar Conradi:
  7th International Workshop on Software Configuration Management (SCM7), Boston, 18-19 May 1997. 679
  
• Michal Young:
  ICSE 97 Doctoral Consortium (Workshop Summary). 680-681
  

Joint Session: 1997 Symposium on Software Reuse (SSR)

• Shirley Browne, James W. Moore:
  Reuse Library Interoperability and the World Wide Web. 684-691
  
• Nenad Medvidovic, Peyman Oreizy, Richard N. Taylor:
  Reuse of Off-the-Shelf Components in C2-Style Architectures. 692-700
  
• Anssi Karhinen, Alexander Ran, Tapio Tallgren:
  Configuring Designs for Reuse. 701-710