ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 7

Volume 7, Number 1, January 1998

John C. Doppke, Dennis Heimbigner, Alexander L. Wolf:
Software Process Modeling and Execution Within Virtual Environments. 1-40
Adam A. Porter, Harvey P. Siy, Audris Mockus, Lawrence G. Votta:
Understanding the Sources of Variation in Software Inspections. 41-79
Luciano Baresi, Mauro Pezzè:
Toward Formalizing Structured Analysis. 80-107

Robert W. Bowdidge, William G. Griswold:
Supporting the Restructuring of Data Abstractions Through Manipulation of a Program Visualization. 109-157
Gail C. Murphy, David Notkin, William G. Griswold, Erica S.-C. Lan:
An Empirical Study of Static Call Graph Extractors. 158-191
James J. Hunt, Kiem-Phong Vo, Walter F. Tichy:
Delta Algorithms: An Empirical Analysis. 192-214

Jonathan E. Cook, Alexander L. Wolf:
Discovering Models of Software Processes from Event-Based Data. 215-249
Huo Yan Chen, T. H. Tse, F. T. Chan, Tsong Yueh Chen:
In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs. 250-295
Judith Crow, Ben L. Di Vito:
Formalizing Space Shuttle Software Requirements: Four Case Studies. 296-332
Robert Allen, David Garlan:
Errata: A Formal Basis for Architectural Connection. 333-334

Anthony Hunter, Bashar Nuseibeh:
Managing Inconsistent Specifications: Reasoning, Analysis, and Action. 335-367
Maria Letizia Jaccheri, Gian Pietro Picco, Patricia Lago:
Eliciting software Process Models with the E³ Language. 368-410
Alfonso Fuggetta, Luigi Lavazza, Sandro Morasca, Stefano Cinti, Giandomenico Oldano, Elena Orazi:
Applying GQM in an Industrial Software Factory. 411-448
James J. Hunt, Walter F. Tichy:
Addendum to "Delta Algorithms: An Empirical Analysis". 449

Last update Sat May 18 20:59:56 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page