Abstract is missing.
- Software development for next generation communication networksRichard A. DeMillo. 1 [doi]
- Designing robust Java programs with exceptionsMartin P. Robillard, Gail C. Murphy. 2-10 [doi]
- Experience report: using RESOLVE/C++ for commercial softwareJoseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide. 11-19 [doi]
- The universe model: an approach for improving the modularity and reliability of concurrent programsReimer Behrends, Kurt Stirewalt. 20-29 [doi]
- Automated test oracles for GUIsAtif M. Memon, Martha E. Pollack, Mary Lou Soffa. 30-39 [doi]
- Compiler and tool support for debugging object protocolsSergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young. 50-59 [doi]
- Integrating active information delivery and reuse repository systemsYunwen Ye, Gerhard Fischer, Brent Reeves. 60-68 [doi]
- Implicit context: easing software evolution and reuseRobert J. Walker, Gail C. Murphy. 69-78 [doi]
- Accumulative versioning file system Moraine and its application to metrics environment MAMETetsuo Yamamoto, Makoto Matsushita, Katsuro Inoue. 80-87 [doi]
- Coven: brewing better collaboration through software configuration managementMark Chu-Carroll, Sara Sprenkle. 88-97 [doi]
- Extracting library-based object-oriented applicationsPeter F. Sweeney, Frank Tip. 98-107 [doi]
- The impact project: determining the impact of software engineering research upon practice (panel session)Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf. 108-109 [doi]
- Composing features and resolving interactionsJonathan D. Hay, Joanne M. Atlee. 110-119 [doi]
- A compositional approach to statecharts semanticsGerald Lüttgen, Michael von der Beeck, Rance Cleaveland. 120-129 [doi]
- Automating first-order relational logicDaniel Jackson. 130-139 [doi]
- On the formalization of architectural types with process algebrasMarco Bernardo, Paolo Ciancarini, Lorenzo Donatiello. 140-148 [doi]
- COM revisited: tool-assisted modelling of an architectural frameworkDaniel Jackson, Kevin J. Sullivan. 149-158 [doi]
- Classifying properties: an alternative to the safety-liveness classificationGleb Naumovich, Lori A. Clarke. 159-168 [doi]
- The shape of things to come?Richard F. Rashid. 169 [doi]