Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 7 Issue 4, Oct. 1998

Managing inconsistent specifications: reasoning, analysis, and action
Bashar Nuseibeh, Anthony Hunter
Pages: 335-367
DOI: 10.1145/292182.292187
In previous work, we advocated continued development of specifications in the presence of inconsistency. To support this, we used classical logic to represent partial specifications and to identify inconsistencies between them. We now present an...

Eliciting software process models with the E3 language
Maria Letizia Jaccheri, Gian Pietro Picco, Patricia Lago
Pages: 368-410
DOI: 10.1145/292182.292194
Software processes are complex entities that demand careful understand ing and improvement as they determine the quality of the resulting product. A necessary step toward the improvement of an organization's process is a clear description of...

Applying GQM in an industrial software factory
Sandro Morasca, Stefano Cinti, Elena Orazi, Giandomenico Oldano, Alfonso Fuggetta, Luigi Lavazza
Pages: 411-448
DOI: 10.1145/292182.292197
Goal/Question/Metric GQM) is a paradigm for the systematic definition, establishment, and exploitation of measurement programs supporting the quantitative evaluation of softare processes and products. Although GQM is a quite well-known method,...

Addendum to “Delta algorithms: an empirical analysis”
Walter F. Tichy, James J. Hunt
Page: 449
DOI: 10.1145/292182.292200
The authors supply machine configurations for experiments reported in “Delta Algorithms: An Empirical Analysis,” by Hunt et al. (ACM Trans. Softw. Eng. Methodol. 7, 2 (Apr. 1998), pp. 192-214).