FSE 1993

19 papers

1. A Framework for Programming and Formalizing Concurrent Objects · Jean Paul Bahsoun, Stephan Merz, Corinne Servieres
2. A Logical Approach to Data Structures · Russell Turpin
3. A Practical Approach to Software Engineering Using Z and the Refinement Calculus · Kenneth R. Wood
4. Algebra and Models · C. A. R. Hoare
5. Deriving Modular Designs from Formal Specifications · David A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh
6. Direct Update of Data Flow Representations for a Meaning-Preserving Program Restructuring Tool · William G. Griswold
7. Does Every Inspection Need a Meeting? · Lawrence G. Votta
8. Enhancing Compositional Reachability Analysis with Context Constraints · Shing-Chi Cheung, Jeff Kramer
9. Fine-Grained Revision Control for Collaborative Software Development · Boris Magnusson, Ulf Asklund, Sten Minör
10. Mechanisms for Generic Process Support · Robert Balzer, K. Narayanaswamy
11. PLEIADES: An Object Management System for Software Engineering Environments · Peri L. Tarr, Lori A. Clarke
12. Partition testing, stratified sampling, and cluster analysis · Andy Podgurski, Charles Yang
13. Scalable Software Libraries · Don S. Batory, Vivek Singhal, Marty Sirkin, Jeff Thomas
14. Signature Matching: A Key to Reuse · Amy Moormann Zaremski, Jeannette M. Wing
15. Software Measure Specification · David A. Gustafson, Joo T. Tan, Perla Weaver
16. Targeting Safety-Related Errors During Software Requirements Analysis · Robyn R. Lutz
17. Test Case Generation by Means of Learning Techniques · Francesco Bergadano
18. Towards Increased Productivity of Algorithm Implementation · Jiazhen Cai, Robert Paige
19. Using Style to Understand Descriptions of Software Architecture · Gregory D. Abowd, Robert Allen, David Garlan