6. SIGSOFT FSE 1998: Lake Buena Vista, Florida, USA
SIGSOFT '98, Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, Lake Buena Vista, Florida, USA, November 3-5, 1998. ACM 1998
Mark Astley, Gul Agha: Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management. 1-9

Gleb Naumovich, George S. Avrunin: A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel. 24-34
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
Michael S. Mahony: Finding a History for Software Engineering. 87

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

Jyrki Kontio, Gerhard Getto, Dieter Landes: Experiences in Improving Risk Management Processes Using the Concepts of the Riskit Method. 163-172

Martin L. Griss: Software Engineering as a Profession: Industry and Academia Working Together. 203-208
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



