ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


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

Managing inconsistent specifications: reasoning, analysis, and action
Anthony Hunter, Bashar Nuseibeh
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
Alfonso Fuggetta, Luigi Lavazza, Sandro Morasca, Stefano Cinti, Giandomenico Oldano, Elena Orazi
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”
James J. Hunt, Walter F. Tichy
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)....