Abstract is missing.
- Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy ManagementMark Astley, Gul Agha. 1-9 [doi]
- Pattern-Based Design Recovery of Java SoftwareJochen Seemann, Jürgen Wolff von Gudenberg. 10-16 [doi]
- Systems Reengineering PatternsPerdita Stevens, Rob Pooley. 17-23 [doi]
- A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in ParallelGleb Naumovich, George S. Avrunin. 24-34 [doi]
- Event-Base Detection of ConcurrencyJonathan E. Cook, Alexander L. Wolf. 35-45 [doi]
- Effective Whole-Program Analysis in the Presence of PointersDarren C. Atkinson, William G. Griswold. 46-55 [doi]
- Automatic Generation of State Invariants from Requirements SpecificationsRalph D. Jeffords, Constance L. Heitmeyer. 56-69 [doi]
- Formal Modeling and Analysis of the HLA Component Integration StandardRobert Allen, David Garlan. 70-79 [doi]
- On-Line Change MechanismsSylvia Stuurman, Jan van Katwijk. 80-86 [doi]
- Toward a Formal Theory of Extensible SoftwareShriram Krishnamurthi, Matthias Felleisen. 88-98 [doi]
- Reengineering Class Hierarchies Using Concept AnalysisGregor Snelting, Frank Tip. 99-110 [doi]
- Applying Design Patterns to Decision Tree Learning SystemGou Masuda, Norihiro Sakamoto, Kazuo Ushijima. 111-120 [doi]
- An Intermedicate Design Language and Its AnalysisDaniel Jackson. 121-130 [doi]
- Investigation Data Quality Problems in the PSPAnne M. Disney, Philip M. Johnson. 143-152 [doi]
- Further Empirical Studies of Test EffectivenessPhyllis G. Frankl, Oleg Iakounenko. 153-162 [doi]
- Experiences in Improving Risk Management Processes Using the Concepts of the Riskit MethodJyrki Kontio, Gerhard Getto, Dieter Landes. 163-172 [doi]
- Model Checking of Hierarchical State MachinesRajeev Alur, Mihalis Yannakakis. 175-188 [doi]
- Filter-Based Model Checking of Partial SystemsMatthew B. Dwyer, Corina S. Pasareanu. 189-202 [doi]
- Software Engineering as a Profession: Industry and Academia Working TogetherMartin L. Griss. 203-208 [doi]
- Reasoning about Implicit InvocationDavid Garlan, Somesh Jha, David Notkin. 209-221 [doi]
- Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile CodePhilip W. L. Fong, Robert D. Cameron. 222-230 [doi]
- Automated Test Data Generation Using an Iterative Relaxation MethodNeelam Gupta, Aditya P. Mathur, Mary Lou Soffa. 231-244 [doi]