FSE 1998

24 papers

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