Hans Dieter Rombach, Thomas Stephen Edward Maibaum, Marvin V. Zelkowitz
Proceedings of the 18th International Conference on Software Engineering
ICSE, 1996.
@proceedings{ICSE-1996,
	acmid         = "227726",
	address       = "Berlin, Germany",
	editor        = "Hans Dieter Rombach and Thomas Stephen Edward Maibaum and Marvin V. Zelkowitz",
	isbn          = "0-8186-7246-3",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 18th International Conference on Software Engineering}",
	year          = 1996,
}
Contents (61 items)
- ICSE-1996-DeMarco #development #past present future
 - The Role of Software Development Methodologies: Past, Present, and Future (TD), pp. 2–4.
 - ICSE-1996-WoodsY #analysis #approach #comprehension #heuristic #problem
 - The Program Understanding Problem: Analysis and a Heuristic Approach (SGW, QY), pp. 6–15.
 - ICSE-1996-AtkinsonG #design #program analysis #tool support
 - The Design of Whole-Program Analysis Tools (DCA, WGG), pp. 16–27.
 - ICSE-1996-Kaindl #domain model #how #identification #modelling
 - How to Identify Binary Relations for Domain Models (HK), pp. 28–36.
 - ICSE-1996-AvrilionisCF #evolution #named #process #reuse
 - OPSIS: A View Mechanism for Software Processes Which Supports Their Evolution and Reuse (DA, PYC, CF), pp. 38–47.
 - ICSE-1996-Zamperoni #development #graph #named #re-engineering
 - GRIDS — GRaph-based, Integrated Development of Software: Integrating Different Perspectives of Software Engineering (AZ), pp. 48–59.
 - ICSE-1996-LiuY #framework #requirements #specification
 - An Analytic Framework for Specifying and Analyzing Imprecise Requirements (XFL, JY), pp. 60–69.
 - ICSE-1996-KorelA #automation #generative #testing
 - Assertion-Oriented Automated Test Data Generation (BK, AMAY), pp. 71–80.
 - ICSE-1996-WatanabeS #adaptation #generative #operating system #standard #testing
 - A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards (AW, KS), pp. 81–89.
 - ICSE-1996-MurphyNL #empirical #graph
 - An Empirical Study of Static Call Graph Extractors (GCM, DN, ESCL), pp. 90–99.
 - ICSE-1996-Anderson #development #operating system
 - An Operating System Development: Windows 3 (CA), p. 101.
 - ICSE-1996-BeckCCDMPV #design pattern #experience #industrial
 - Industrial Experience with Design Patterns (KB, JC, RC, LD, GM, FP, JMV), pp. 103–114.
 - ICSE-1996-BifflGO #case study #distributed #experience #platform
 - Engineering an “Open” Client/Server-Platform for a Distributed Austrian Alpine Road-Pricing System in 240 Days: Case Study and Experience Report (SB, TG, SO), pp. 115–124.
 - ICSE-1996-Vekens #implementation #object-oriented
 - An Object-Oriented Implementation of B-ISDN Signalling — Part 2: Extendability Stands the Test (AWvdV), pp. 125–132.
 - ICSE-1996-Minsky #evolution #independence #monitoring #online
 - Independent On-Line Monitoring of Evolving Systems (NHM), pp. 134–143.
 - ICSE-1996-CheungK #analysis #composition #reachability #safety
 - Checking Subsystem Safety Properties in Compositional Reachability Analysis (SCC, JK), pp. 144–154.
 - ICSE-1996-RomanMP #interactive #mobile #reasoning
 - Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing (GCR, PJM, JYP), pp. 155–164.
 - ICSE-1996-Smith #development
 - Machine Support for Software Development (DRS), pp. 167–168.
 - ICSE-1996-ShepperdSK #estimation #using
 - Effort Estimation Using Analogy (MJS, CS, BK), pp. 170–178.
 - ICSE-1996-OgasawaraYK #case study #experience #lifecycle #metric #quality #using
 - Experiences of Software Quality Management Using Metrics through the Life-Cycle (HO, AY, MK), pp. 179–188.
 - ICSE-1996-DevanbuKMT #empirical #evaluation #metric #reuse
 - Analytical and Empirical Evaluation of Software Reuse Metrics (PTD, SK, WLM, WT), pp. 189–199.
 - ICSE-1996-Kontio #case study #off the shelf
 - A Case Study in Applying a Systematic Method for COTS Selection (JK), pp. 201–209.
 - ICSE-1996-MayrandC #assessment
 - System Acquisition Based on Software Product Assessment (JM, FC), pp. 210–219.
 - ICSE-1996-SullivanK #approach #architecture #experience #reuse #scalability
 - Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse (KJS, JCK), pp. 220–229.
 - ICSE-1996-Hoare #how #proving #question #reliability
 - The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (CARH), pp. 233–234.
 - ICSE-1996-Ledru #tool support #using
 - Using KIDS as a Tool Support for VDM (YL), pp. 236–245.
 - ICSE-1996-HarelG #execution #modelling
 - Executable Object Modeling with Statecharts (DH, EG), pp. 246–257.
 - ICSE-1996-DharaL #behaviour #inheritance #specification #type system
 - Forcing Behavioral Subtyping through Specification Inheritance (KKD, GTL), pp. 258–267.
 - ICSE-1996-PanD #programming
 - Beyond Structured Programming (SP, RGD), pp. 268–277.
 - ICSE-1996-Henninger #component #evolution #repository
 - Supporting the Construction and Evolution of Component Repositories (SH), pp. 279–288.
 - ICSE-1996-HeidenreichMK #approach #consistency #re-engineering
 - A New Approach to Consistency Control in Software Engineering (GH, MM, DK), pp. 289–297.
 - ICSE-1996-LinR #configuration management #logic
 - Configuration Management with Logical Structures (YJL, SPR), pp. 298–307.
 - ICSE-1996-HoekHW #configuration management #distributed #peer-to-peer #repository
 - A Generic, Peer-to-Peer Repository for Distributed Configuration Management (AvdH, DH, ALW), pp. 308–317.
 - ICSE-1996-Plattner #development #standard
 - A Standard Software Application Development: SAP R/3 (HP), p. 320.
 - ICSE-1996-HerbslebG #experience #overview
 - A Systematic Survey of CMM Experience and Results (JDH, DG), pp. 323–330.
 - ICSE-1996-HeimannJKW #named #process
 - DYNAMITE: Dynamic Task Nets for Software Process Management (PH, GJ, CAK, BW), pp. 331–341.
 - ICSE-1996-GodartCCMS #architecture #design #implementation #lessons learnt #process
 - Designing and Implementing COO: Design Process, Architectural Style, Lessons Learned (CG, GC, FC, PM, HS), pp. 342–352.
 - ICSE-1996-EickelmannR #architecture #evaluation #testing
 - An Evaluation of Software Test Environment Architectures (NSE, DJR), pp. 353–364.
 - ICSE-1996-KoskimiesM #diagrams #named #object-oriented #source code #using
 - Scene: Using Scenario Diagrams and Active Text for Illustrating Object-Oriented Programs (KK, HM), pp. 366–375.
 - ICSE-1996-Madachy #modelling #process
 - System Dynamics Modeling of an Inspection-Based Process (RJM), pp. 376–386.
 - ICSE-1996-SefikaSC #design #modelling #monitoring
 - Monitoring Compliance of a Software System with Its High-Level Design Models (MS, AS, RHC), pp. 387–396.
 - ICSE-1996-Reiss #design #development #integration
 - Simplifying Data Integration: The Design of the Desert Software Development Environment (SPR), pp. 398–407.
 - ICSE-1996-PaoliS #architecture #interactive #multi #requirements
 - Requirements for a Layered Software Architecture Supporting Cooperative Multi-User Interaction (FDP, AS), pp. 408–417.
 - ICSE-1996-GrahamU #architecture #design
 - Linguistic Support for the Evolutionary Design of Software Architectures (TCNG, TU), pp. 418–427.
 - ICSE-1996-GreenwoodWS #approach #component #evolution #scalability
 - Cooperating Evolving Components: A Rigorous Approach to Evolving Large Software Systems (RMG, BW, JS), pp. 428–437.
 - ICSE-1996-GibbsB #challenge #concept #multi #programming #scalability
 - Large, Multimedia Programming — Concepts and Challenges (SJG, CB), pp. 439–440.
 - ICSE-1996-Basili #re-engineering
 - The Role of Experimentation in Software Engineering: Past, Current, and Future (VRB), pp. 442–449.
 - ICSE-1996-MaybeeHO #distributed #multi
 - Multilanguage Interoperability in Distributed Systems (MJM, DH, LJO), pp. 451–463.
 - ICSE-1996-BasiliBCKMV #comprehension #maintenance #predict #process
 - Understanding and Predicting the Process of Software Maintenance Release (VRB, LCB, SEC, YMK, WLM, JDV), pp. 464–474.
 - ICSE-1996-HartP #automation #process #scalability
 - A Scalable, Automated Process for Year 2000 System Correction (JMH, AP), pp. 475–484.
 - ICSE-1996-MarreB #cost analysis #test coverage
 - Reducing and Estimating the Cost of Test Coverage Criteria (MM, AB), pp. 486–494.
 - ICSE-1996-LarsenH #object-oriented #slicing
 - Slicing Object-Oriented Software (LL, MJH), pp. 495–505.
 - ICSE-1996-MitchellZ #reliability #testing
 - A Reliability Model Combining Representative and Directed Testing (BM, SJZ), pp. 506–514.
 - ICSE-1996-Fischer #design
 - Domain-Oriented Design Environments (GF), pp. 517–520.
 - ICSE-1996-Schneider #how #prototype #why
 - Prototypes as Assets, not Toys: Why and How to Extract Knowledge from Prototypes (KS), pp. 522–531.
 - ICSE-1996-BaumerBLZ #concept #experience #prototype #tool support #user interface
 - User Interface Prototyping — Concepts, Tools, and Experience (DB, WRB, HL, HZ), pp. 532–541.
 - ICSE-1996-KieburtzMBHKLOSSW #component #empirical #generative #re-engineering
 - A Software Engineering Experiment in Software Component Generation (RBK, LM, JMB, JH, AK, JL, DO, TS, IS, LW), pp. 542–552.
 - ICSE-1996-DwyerC #architecture #data flow #flexibility
 - A Flexible Architecture for Building Data Flow Analyzers (MBD, LAC), pp. 554–564.
 - ICSE-1996-Forgacs #analysis #array #data flow #testing
 - An Exact Array Reference Analysis for Data Flow Testing (IF), pp. 565–574.
 - ICSE-1996-DuesterwaldGS #data flow #integration #testing
 - A Demand-Driven Analyzer for Data Flow Testing at the Integration Level (ED, RG, MLS), pp. 575–584.
 - ICSE-1996-Binder #development
 - A Telecommunication Development: Siemens’ Digital Switching System, EWSD (HEB), p. 587.
 
7 ×#development
6 ×#architecture
6 ×#design
6 ×#experience
6 ×#process
6 ×#testing
4 ×#approach
4 ×#evolution
4 ×#modelling
4 ×#named
6 ×#architecture
6 ×#design
6 ×#experience
6 ×#process
6 ×#testing
4 ×#approach
4 ×#evolution
4 ×#modelling
4 ×#named











