18. ICSE 1996: Berlin, Germany

Keynote Address

• Tom DeMarco:
  The Role of Software Development Methodologies: Past, Present, and Future. 2-4
  

Understanding and Analysis

• Steven G. Woods, Qiang Yang:
  The Program Understanding Problem: Analysis and a Heuristic Approach. 6-15
  
• Darren C. Atkinson, William G. Griswold:
  The Design of Whole-Program Analysis Tools. 16-27
  
• Hermann Kaindl:
  How to Identify Binary Relations for Domain Models. 28-36
  

Supporting Requirements

• Denis Avrilionis, Pierre-Yves Cunin, Christer Fernström:
  OPSIS: A View Mechanism for Software Processes Which Supports Their Evolution and Reuse. 38-47
  
• Andreas Zamperoni:
  GRIDS - GRaph-based, Integrated Development of Software: Integrating Different Perspectives of Software Engineering. 48-59
  
• Xiaoqing Frank Liu, John Yen:
  An Analytic Framework for Specifying and Analyzing Imprecise Requirements. 60-69
  

Testing and Analysis

• Bogdan Korel, Ali M. Al-Yami:
  Assertion-Oriented Automated Test Data Generation. 71-80
  
• Aki Watanabe, Ken Sakamura:
  A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards. 81-89
  
• Gail C. Murphy, David Notkin, Erica S.-C. Lan:
  An Empirical Study of Static Call Graph Extractors. 90-99
  

Industrial Experiences

• Chip Anderson:
  An Operating System Development: Windows 3 (Abstract). 101
  

Object Orientation in Use

• Kent Beck, James Coplien, Ron Crocker, Lutz Dominick, Gerard Meszaros, Frances Paulisch, John M. Vlissides:
  Industrial Experience with Design Patterns. 103-114
  
• Stefan Biffl, Thomas Grechenig, Stephan Oberpfalzer:
  Engineering an "Open" Client/Server-Platform for a Distributed Austrian Alpine Road-Pricing System in 240 Days: Case Study and Experience Report. 115-124
  
• Alexander W. van der Vekens:
  An Object-Oriented Implementation of B-ISDN Signalling - Part 2: Extendability Stands the Test. 125-132
  

Analysis of Distributed Systems

• Naftaly H. Minsky:
  Independent On-Line Monitoring of Evolving Systems. 134-143
  
• Shing-Chi Cheung, Jeff Kramer:
  Checking Subsystem Safety Properties in Compositional Reachability Analysis. 144-154
  
• Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun:
  Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. 155-164
  

Panel: Why do We Care About Software Complexity?

Mini-Tutorial

• Douglas R. Smith:
  Machine Support for Software Development (Abstract). 167-168
  

Measurement

• Martin J. Shepperd, Chris Schofield, Barbara Kitchenham:
  Effort Estimation Using Analogy. 170-178
  
• Hideto Ogasawara, Atsushi Yamada, Michiko Kojo:
  Experiences of Software Quality Management Using Metrics through the Life-Cycle. 179-188
  
• Premkumar T. Devanbu, Sakke Karstu, Walcélio L. Melo, William Thomas:
  Analytical and Empirical Evaluation of Software Reuse Metrics. 189-199
  

Component-Based Software

• Jyrki Kontio:
  A Case Study in Applying a Systematic Method for COTS Selection. 201-209
  
• Jean Mayrand, François Coallier:
  System Acquisition Based on Software Product Assessment. 210-219
  
• Kevin J. Sullivan, John C. Knight:
  Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse. 220-229
  

Panel: Is the 'Engineering' Paradigm for Software Development Still Adequate?

Mini-Tutorial: Statecharts

Keynote Address

• C. A. R. Hoare:
  The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract). 233-234
  

Formal Design

• Yves Ledru:
  Using KIDS as a Tool Support for VDM. 236-245
  
• David Harel, Eran Gery:
  Executable Object Modeling with Statecharts. 246-257
  
• Krishna Kishore Dhara, Gary T. Leavens:
  Forcing Behavioral Subtyping through Specification Inheritance. 258-267
  
• Si Pan, R. Geoff Dromey:
  Beyond Structured Programming. 268-277
  

Configuration Management and Reuse

• Scott Henninger:
  Supporting the Construction and Evolution of Component Repositories. 279-288
  
• Georg Heidenreich, Mark Minas, Detlef Kips:
  A New Approach to Consistency Control in Software Engineering. 289-297
  
• Yi-Jing Lin, Steven P. Reiss:
  Configuration Management with Logical Structures. 298-307
  
• André van der Hoek, Dennis Heimbigner, Alexander L. Wolf:
  A Generic, Peer-to-Peer Repository for Distributed Configuration Management. 308-317
  

Workshop Presentations

Industrial Experiences

• Hasso Plattner:
  A Standard Software Application Development: SAP R/3 (Abstract). 320
  

Keynote Address

Process Effectiveness

• James D. Herbsleb, Dennis Goldenson:
  A Systematic Survey of CMM Experience and Results. 323-330
  
• Peter Heimann, Gregor Joeris, Carl-Arndt Krapp, Bernhard Westfechtel:
  DYNAMITE: Dynamic Task Nets for Software Process Management. 331-341
  
• Claude Godart, Gérôme Canals, François Charoy, Pascal Molli, Hala Skaf:
  Designing and Implementing COO: Design Process, Architectural Style, Lessons Learned. 342-352
  
• Nancy S. Eickelmann, Debra J. Richardson:
  An Evaluation of Software Test Environment Architectures. 353-364
  

System Validation

• Kai Koskimies, Hanspeter Mössenböck:
  Scene: Using Scenario Diagrams and Active Text for Illustrating Object-Oriented Programs. 366-375
  
• Raymond J. Madachy:
  System Dynamics Modeling of an Inspection-Based Process. 376-386
  
• Mohlalefi Sefika, Aamod Sane, Roy H. Campbell:
  Monitoring Compliance of a Software System with Its High-Level Design Models. 387-396
  

Environments

• Steven P. Reiss:
  Simplifying Data Integration: The Design of the Desert Software Development Environment. 398-407
  
• Flavio De Paoli, Andrea Sosio:
  Requirements for a Layered Software Architecture Supporting Cooperative Multi-User Interaction. 408-417
  
• T. C. Nicholas Graham, Tore Urnes:
  Linguistic Support for the Evolutionary Design of Software Architectures. 418-427
  
• R. Mark Greenwood, Brian Warboys, Jin Sa:
  Cooperating Evolving Components: A Rigorous Approach to Evolving Large Software Systems. 428-437
  

Mini-Tutorial

• Simon J. Gibbs, Christian Breiteneder:
  Large, Multimedia Programming - Concepts and Challenges (Abstract). 439-440
  

Keynote Address

• Victor R. Basili:
  The Role of Experimentation in Software Engineering: Past, Current, and Future. 442-449
  

Maintenance and Evolution

• Mark J. Maybee, Dennis Heimbigner, Leon J. Osterweil:
  Multilanguage Interoperability in Distributed Systems. 451-463
  
• Victor R. Basili, Lionel C. Briand, Steven E. Condon, Yong-Mi Kim, Walcélio L. Melo, Jon D. Valett:
  Understanding and Predicting the Process of Software Maintenance Release. 464-474
  
• Johnson M. Hart, Antonio Pizzarello:
  A Scalable, Automated Process for Year 2000 System Correction. 475-484
  

Testing Algorithms

• Martina Marré, Antonia Bertolino:
  Reducing and Estimating the Cost of Test Coverage Criteria. 486-494
  
• Loren Larsen, Mary Jean Harrold:
  Slicing Object-Oriented Software. 495-505
  
• Brian Mitchell, Steven J. Zeil:
  A Reliability Model Combining Representative and Directed Testing. 506-514
  

Workshop Presentations

Mini-Tutorial

• Gerhard Fischer:
  Domain-Oriented Design Environments (Extended Abstract). 517-520
  

System Generation

• Kurt Schneider:
  Prototypes as Assets, not Toys: Why and How to Extract Knowledge from Prototypes. 522-531
  
• Dirk Bäumer, Walter R. Bischofberger, Horst Lichter, Heinz Züllighoven:
  User Interface Prototyping - Concepts, Tools, and Experience. 532-541
  
• Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton:
  A Software Engineering Experiment in Software Component Generation. 542-552
  

Dataflow Testing

• Matthew B. Dwyer, Lori A. Clarke:
  A Flexible Architecture for Building Data Flow Analyzers. 554-564
  
• István Forgács:
  An Exact Array Reference Analysis for Data Flow Testing. 565-574
  
• Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa:
  A Demand-Driven Analyzer for Data Flow Testing at the Integration Level. 575-584
  

Panel: Software: If it is Bad, Why Does it Sell so Well?

Industrial Experiences

• Hans-Eugen Binder:
  A Telecommunication Development: Siemens' Digital Switching System, EWSD (Abstract). 587
  

Last update Wed May 23 00:55:26 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page