6. SIGSOFT FSE 1998: Lake Buena Vista, Florida, USA

• Mark Astley, Gul Agha:
  Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management. 1-9
  
• Jochen Seemann, Jürgen Wolff von Gudenberg:
  Pattern-Based Design Recovery of Java Software. 10-16
  
• Perdita Stevens, Rob Pooley:
  Systems Reengineering Patterns. 17-23
  
• Gleb Naumovich, George S. Avrunin:
  A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel. 24-34
  
• Jonathan E. Cook, Alexander L. Wolf:
  Event-Base Detection of Concurrency. 35-45
  
• Darren C. Atkinson, William G. Griswold:
  Effective Whole-Program Analysis in the Presence of Pointers. 46-55
  
• Ralph D. Jeffords, Constance L. Heitmeyer:
  Automatic Generation of State Invariants from Requirements Specifications. 56-69
  
• Robert Allen, David Garlan:
  Formal Modeling and Analysis of the HLA Component Integration Standard. 70-79
  
• Sylvia Stuurman, Jan van Katwijk:
  On-Line Change Mechanisms. 80-86
  
• Michael S. Mahony:
  Finding a History for Software Engineering. 87
  
• Shriram Krishnamurthi, Matthias Felleisen:
  Toward a Formal Theory of Extensible Software. 88-98
  
• Gregor Snelting, Frank Tip:
  Reengineering Class Hierarchies Using Concept Analysis. 99-110
  
• Gou Masuda, Norihiro Sakamoto, Kazuo Ushijima:
  Applying Design Patterns to Decision Tree Learning System. 111-120
  
• Daniel Jackson:
  An Intermedicate Design Language and Its Analysis. 121-130
  
• Michael Karasick:
  The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++. 131-142
  
• Anne M. Disney, Philip M. Johnson:
  Investigation Data Quality Problems in the PSP. 143-152
  
• Phyllis G. Frankl, Oleg Iakounenko:
  Further Empirical Studies of Test Effectiveness. 153-162
  
• Jyrki Kontio, Gerhard Getto, Dieter Landes:
  Experiences in Improving Risk Management Processes Using the Concepts of the Riskit Method. 163-172
  
• Rajeev Alur, Mihalis Yannakakis:
  Model Checking of Hierarchical State Machines. 175-188
  
• Matthew B. Dwyer, Corina S. Pasareanu:
  Filter-Based Model Checking of Partial Systems. 189-202
  
• Martin L. Griss:
  Software Engineering as a Profession: Industry and Academia Working Together. 203-208
  
• David Garlan, Somesh Jha, David Notkin:
  Reasoning about Implicit Invocation. 209-221
  
• Philip W. L. Fong, Robert D. Cameron:
  Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code. 222-230
  
• Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa:
  Automated Test Data Generation Using an Iterative Relaxation Method. 231-244
  

Last update Thu May 23 05:00:42 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page