18. ICSE 1996: Berlin, Germany
H. Dieter Rombach, T. S. E. Maibaum, Marvin V. Zelkowitz (Eds.): 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, 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
Understanding and Analysis
- Steven G. Woods, Qiang Yang: The Program Understanding Problem: Analysis and a Heuristic Approach. 6-15
- 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
- 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
- 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
- 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
- Krishna Kishore Dhara, Gary T. Leavens: Forcing Behavioral Subtyping through Specification Inheritance. 258-267
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
- 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
- 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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team