ICSE 1993

48 papers

1. "...And Nothing Else Changes": The Frame Problem in Procedure Specifications · Alexander Borgida, John Mylopoulos, Raymond Reiter
2. A Bi-Level Language for Software Process Modeling · Gail E. Kaiser, Steven S. Popovich, Israel Ben-Shaul
3. A Comprehensive Process Model for Studying Software Process Papers · Rudolf K. Keller, Richard Lajoie, Nazim H. Madhavji, Tilmann F. W. Bruckhaus, Kamel Toubache, Won-Kook Hong + 1 more
4. A High Level Language for Specifying Graph Based Languages and Their Programming Environments · Michael F. Kleyn, James C. Browne
5. A Process for Consolidating and Reusing Design Knowledge · Guillermo Arango, Eric Schoen, Robert Pettengill
6. Adding Implicit Invocation to Rraditional Programming Languages · David Garlan, Curtis M. Scott
7. An Analysis of SEI Software Process Assessment Results: 1987-1991 · David H. Kitson, Stephen M. Masters
8. An Analytical Comparison of the Fault-Detecting Ability of Data Flow Testing Techniques · Phyllis G. Frankl, Elaine J. Weyuker
9. An Examination of the Current State of IPSE Technology · Alan W. Brown
10. An Experimental Evaluation of Selective Mutation · A. Jefferson Offutt, Gregg Rothermel, Christian Zapf
11. Applying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding · Sougata Mukherjea, John T. Stasko
12. Approach and Case Study of Requirement Analysis Where End Users Take an Active Role · José M. Drake, W. W. Xie, Wei-Tek Tsai, Imran A. Zualkernan
13. Automating the Detection of Reusable Parts in Existing Software · Michael F. Dunn, John C. Knight
14. Building, Modifying and Using Component Generators · Stephen B. Ornburn, Richard J. LeBlanc
15. Cleanroom Software Engineering for Zero-Defect Software · Richard C. Linger
16. Computational Reflection in Software Process Modeling: The SLANG Approach · Sergio Bandinelli, Alfonso Fuggetta
17. Coverage Measurement Experience During Function Test · Paul Piwowarski, Mitsuru Ohba, Joseph M. Caruso
18. Developing Initial OOA Models · Mitchell D. Lubars, Colin Potts, Charles Richter
19. Documentation for Safety Critical Software · Pierre-Jacques Courtois, David Lorge Parnas
20. Domain Modeling - Overview & Ongoing Research at EDS · Neil Iscoe
21. Dynamic Mutation Testing in Integrated Regression Analysis · Janusz W. Laski, Wojciech Szermer, Piotr Luczycki
22. Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation · Farokh B. Bastani, Giuseppe DiMarco, Alberto Pasquini
23. Exploring Dataflow Testing of Arrays · Richard G. Hamlet, Bruce Gifford, Borislav Nikolik
24. Expressing the Relationships Between Multiple Views in Requirements Specification · Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein
25. Generalized Behavior-Based Retrieval · Robert J. Hall
26. Inter-item Correlations among Function Points · Barbara A. Kitchenham, Kari Känsälä
27. Model Based Process Assessments · Clement L. McGowan, Shawn A. Bohner
28. Modeling Software for Accurate Data Flow Representation · Hasan Ural, Bo Yang
29. Modeling and Managing Risk Early in Software Development · Lionel C. Briand, William M. Thomas, Christopher J. Hetmanski
30. Observations on Industrial Practice Using Formal Methods · Susan L. Gerhart, Dan Craigen, Ted Ralston
31. Post-Process Feedback With and Without Attribute Focusing: A Comparative Evaluation · Inderpal S. Bhandari, Norman Roth
32. Predicate-Based Test Generation for Computer Programs · Kuo-Chung Tai
33. Program and Interface Slicing for Reverse Engineering · Jon Beck, David Eichmann
34. Programming Heterogeneous Transactions for Software Development Environments · Peri L. Tarr, Stanley M. Sutton Jr.
35. Prototyping a Process Monitoring Experiment · Mark G. Bradac, Dewayne E. Perry, Lawrence G. Votta
36. Prototyping in Industrial Software Projects - Bridging the Gap Between Theory and Practice · Horst Lichter, Matthias Schneider-Hufschmidt, Heinz Züllighoven
37. RECAST: Reverse Engineering from COBOL to SSADM Specification · Helen M. Edwards, Malcolm Munro
38. Reliable Software and Communication: Software Quality, Reliability, and Safety · Siddhartha R. Dalal, Joseph R. Horgan, Jon R. Kettenring
39. Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking · Tetsuo Tamai, Akito Itou
40. Rule-Based Approach to Computing Module Cohesion · Arun Lakhotia
41. Simulating the Behaviour of Software Modules by Trace Rewriting · Yabo Wang, David Lorge Parnas
42. Software Components in a Data Structure Precompiler · Marty Sirkin, Don S. Batory, Vivek Singhal
43. Software Improvements in an International Company · Harvey Wohlwend, Susan Rosenbaum
44. Software Process Maturity: Measuring Its Impact on Productivity and Quality · Howard A. Rubin
45. Test Templates: A Specification-Based Testing Framework · Phil Stocks, David A. Carrington
46. The Concept Assignment Problem in Program Understanding · Ted J. Biggerstaff, Bharat G. Mitbander, Dallas E. Webster
47. The Graft-Host Method for Design Change · Guillermo Arango, Eric Schoen, Robert Pettengill, Josiah C. Hoskins
48. Use of an Environment Classification Model · Marvin V. Zelkowitz