Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar18th ICSE 1996: Berlin, Germany
H. Dieter Rombach, T. S. E. Maibaum, Marvin V. Zelkowitz:
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-15Darren C. Atkinson, William G. Griswold:
The Design of Whole-Program Analysis Tools. 16-27Hermann 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-47Andreas Zamperoni:
GRIDS - GRaph-based, Integrated Development of Software: Integrating Different Perspectives of Software Engineering. 48-59Xiaoqing 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-80Aki Watanabe, Ken Sakamura:
A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards. 81-89Gail 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 L. Beck, James Coplien, Ron Crocker, Lutz Dominick, Gerard Meszaros, Frances Paulisch, John M. Vlissides:
Industrial Experience with Design Patterns. 103-114Stefan 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-124Alexander 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-143Shing-Chi Cheung, Jeff Kramer:
Checking Subsystem Safety Properties in Compositional Reachability Analysis. 144-154Gruia-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 A. Kitchenham:
Effort Estimation Using Analogy. 170-178Hideto Ogasawara, Atsushi Yamada, Michiko Kojo:
Experiences of Software Quality Management Using Metrics through the Life-Cycle. 179-188Premkumar 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-209Jean Mayrand, François Coallier:
System Acquisition Based on Software Product Assessment. 210-219Kevin 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-245David Harel, Eran Gery:
Executable Object Modeling with Statecharts. 246-257Krishna Kishore Dhara, Gary T. Leavens:
Forcing Behavioral Subtyping through Specification Inheritance. 258-267Si Pan, R. Geoff Dromey:
Beyond Structured Programming. 268-277
Configuration Management and Reuse
Scott Henninger:
Supporting the Construction and Evolution of Component Repositories. 279-288Georg Heidenreich, Mark Minas, Detlef Kips:
A New Approach to Consistency Control in Software Engineering. 289-297Yi-Jing Lin, Steven P. Reiss:
Configuration Management with Logical Structures. 298-307André 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-330Peter Heimann, Gregor Joeris, Carl-Arndt Krapp, Bernhard Westfechtel:
DYNAMITE: Dynamic Task Nets for Software Process Management. 331-341Claude Godart, Gérôme Canals, François Charoy, Pascal Molli, Hala Skaf:
Designing and Implementing COO: Design Process, Architectural Style, Lessons Learned. 342-352Nancy 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-375Raymond J. Madachy:
System Dynamics Modeling of an Inspection-Based Process. 376-386Mohlalefi 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-407Flavio De Paoli, Andrea Sosio:
Requirements for a Layered Software Architecture Supporting Cooperative Multi-User Interaction. 408-417T. C. Nicholas Graham, Tore Urnes:
Linguistic Support for the Evolutionary Design of Software Architectures. 418-427R. 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-463Victor 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-474Johnson 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-494Loren Larsen, Mary Jean Harrold:
Slicing Object-Oriented Software. 495-505Brian 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-531Dirk Bäumer, Walter R. Bischofberger, Horst Lichter, Heinz Züllighoven:
User Interface Prototyping - Concepts, Tools, and Experience. 532-541Richard 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-564István Forgács:
An Exact Array Reference Analysis for Data Flow Testing. 565-574Evelyn 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 updated on 2019-10-16 22:39 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
