FSE 1997

39 papers

1. A C++ Data Model Supporting Reachability Analysis and Dead Code Detection · Yih-Farn Chen, Emden R. Gansner, Eleftherios Koutsofios
2. A Contextual Approach for Process-Integrated Tools · Klaus Pohl, Klaus Weidenhaupt
3. A Design Framework for Internet-Scale Event Observation and Notification · David S. Rosenblum, Alexander L. Wolf
4. A Framework for Classifying and Comparing Architecture Description Languages · Nenad Medvidovic, Richard N. Taylor
5. A Pattern-Based Application Generator for Building Simulation · Martin Schütze, Jan Peter Riegel, Gerhard Zimmermann
6. A View-Oriented Approach to System Modelling Based on Graph Transformation · Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig
7. Analysis of Software Architectures in High and Low Volume Electronic Systems, Industrial Experience Report · J. Henk Obbink
8. Applying Static Analysis to Software Architectures · Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
9. Change Management Needs Integrated Process and Configuration Management · Gregor Joeris
10. Comparing and Combining Software Defect Detection Techniques: A Replicated Empirical Study · Murray Wood, Marc Roper, Andrew Brooks, James Miller
11. Cryptographic Verification of Test Coverage Claims · Premkumar T. Devanbu, Stuart G. Stubblebine
12. Developing Multimedia Applications with the WinWin Spiral Model · Barry W. Boehm, Alexander Egyed, Julie Kwan, Raymond J. Madachy
13. Executable Connectors: Towards Reusable Design Elements · Stéphane Ducasse, Tamar Richner
14. Experiences with Criticality Predictions in Software Development · Christof Ebert
15. Expressing Code Mobility in Mobile UNITY · Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann
16. Feasible Test Path Selection by Principal Slicing · István Forgács, Antonia Bertolino
17. Formalizing Software Architectures: An Industrial Experience · Petre Dini, Amina Belkhelladi, Walcélio L. Melo
18. Generic Fuzzy Reasoning Nets as a Basis for Reverse Engineering Relational Database Applications · Jens H. Jahnke, Wilhelm Schäfer, Albert Zündorf
19. Incremental Development for AXE 10 · Even-André Karlsson, Lars Taxén
20. Integration of Sequential Scenarios · Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
21. Making Design Patterns Explicit in FACE: A Frame Work Adaptive Composition Environment · Theo Dirk Meijler, Serge Demeyer, Robert Engel
22. Model Checking Graphical User Interfaces Using Abstractions · Matthew B. Dwyer, Vicki Carr, Laura Hines
23. Providing Automated Support to Deductive Analysis of Time Critical Systems · Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti
24. Reduction and Slicing of Hierarchical State Machines · Mats Per Erik Heimdahl, Michael W. Whalen
25. Refining Data Flow Information Using Infeasible Paths · Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
26. Security Issues in Distributed Software · Richard A. Kemmerer
27. Software Engineering - Old Problems, New Problems, and Unsolved Problems (Panel) · Mehdi Jazayeri
28. Software Engineering: An Unconsummated Marriage (Extended Abstract) · David Lorge Parnas
29. Software Release Management · André van der Hoek, Richard S. Hall, Dennis Heimbigner, Alexander L. Wolf
30. Subtypes for Specifications · John M. Rushby
31. TTM15 - A Large Multi-Site Improvement Project · Graham Allen, Leighton Davies, Göran Lindmark, Even-André Karlsson
32. The Design of a Next-Generation Process Language · Stanley M. Sutton Jr., Leon J. Osterweil
33. The Tale of Two Projects - Abstract · Dewayne E. Perry, Lawrence G. Votta
34. The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem · Thomas W. Reps, Thomas Ball, Manuvir Das, James R. Larus
35. Towards an Adaptation of the COCOMO Cost Model to the Software Measurement Theory · Ali Idri, B. Griech, A. El Iraki
36. Validating the Defect Detection Performance Advantage of Group Designs for Software Reviews: Report of a Laboratory Experiment Using Program Code · Lesley Pek Wee Land, Chris Sauer, D. Ross Jeffery
37. Verification of Liveness Properties Using Compositional Reachability Analysis · Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer
38. What We Teach Software Engineers in the University: Do We Take Engineering Seriously? · T. S. E. Maibaum
39. What we Expect from Software Engineers in the Industry (Abstract) · Jürgen Uhl