18. ICSE 1996: Berlin, Germany

18th International Conference on Software Engineering, March 25-29, 1996, Berlin, Germany, Proceedings. IEEE Computer Society, 1996, ISBN 0-8186-7246-3

Keynote Address

Tom DeMarco:
The Role of Software Development Methodologies: Past, Present, and Future. 2-4
Electronic Edition (link) BibTeX

Understanding and Analysis

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

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
Electronic Edition (link) BibTeX
Andreas Zamperoni:
GRIDS - GRaph-based, Integrated Development of Software: Integrating Different Perspectives of Software Engineering. 48-59
Electronic Edition (link) BibTeX
Xiaoqing Frank Liu, John Yen:
An Analytic Framework for Specifying and Analyzing Imprecise Requirements. 60-69
Electronic Edition (link) BibTeX

Testing and Analysis

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

Industrial Experiences

Chip Anderson:
An Operating System Development: Windows 3 (Abstract). 101
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Alexander W. van der Vekens:
An Object-Oriented Implementation of B-ISDN Signalling - Part 2: Extendability Stands the Test. 125-132
Electronic Edition (link) BibTeX

Analysis of Distributed Systems

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

Panel: Why do We Care About Software Complexity?

Mini-Tutorial

Douglas R. Smith:
Machine Support for Software Development (Abstract). 167-168
Electronic Edition (link) BibTeX

Measurement

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

Component-Based Software

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

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
Electronic Edition (link) BibTeX

Formal Design

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

Configuration Management and Reuse

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

Workshop Presentations

Industrial Experiences

Hasso Plattner:
A Standard Software Application Development: SAP R/3 (Abstract). 320
Electronic Edition (link) BibTeX

Keynote Address

Process Effectiveness

James D. Herbsleb, Dennis Goldenson:
A Systematic Survey of CMM Experience and Results. 323-330
Electronic Edition (link) BibTeX
Peter Heimann, Gregor Joeris, Carl-Arndt Krapp, Bernhard Westfechtel:
DYNAMITE: Dynamic Task Nets for Software Process Management. 331-341
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Nancy S. Eickelmann, Debra J. Richardson:
An Evaluation of Software Test Environment Architectures. 353-364
Electronic Edition (link) BibTeX

System Validation

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

Environments

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

Mini-Tutorial

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

Keynote Address

Victor R. Basili:
The Role of Experimentation in Software Engineering: Past, Current, and Future. 442-449
Electronic Edition (link) BibTeX

Maintenance and Evolution

Mark J. Maybee, Dennis Heimbigner, Leon J. Osterweil:
Multilanguage Interoperability in Distributed Systems. 451-463
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Johnson M. Hart, Antonio Pizzarello:
A Scalable, Automated Process for Year 2000 System Correction. 475-484
Electronic Edition (link) BibTeX

Testing Algorithms

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

Workshop Presentations

Mini-Tutorial

Gerhard Fischer:
Domain-Oriented Design Environments (Extended Abstract). 517-520
Electronic Edition (link) BibTeX

System Generation

Kurt Schneider:
Prototypes as Assets, not Toys: Why and How to Extract Knowledge from Prototypes. 522-531
Electronic Edition (link) BibTeX
Dirk Bäumer, Walter R. Bischofberger, Horst Lichter, Heinz Züllighoven:
User Interface Prototyping - Concepts, Tools, and Experience. 532-541
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX

Dataflow Testing

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

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
Electronic Edition (link) BibTeX