Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 11 Issue 4, October 2002

ACM Transactions on Software Engineering and Methodology staff
Pages: 385-385
DOI: 10.1145/606612.606613

Architecting families of software systems with process algebras
Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
Pages: 386-426
DOI: 10.1145/606612.606614
Software components can give rise to several kinds of architectural mismatches when assembled together in order to form a software system. A formal description of the architecture of the resulting component-based software system may help to detect...

Comparing test sets and criteria in the presence of test hypotheses and fault domains
R. M. Hierons
Pages: 427-448
DOI: 10.1145/606612.606615
A number of authors have considered the problem of comparing test sets and criteria. Ideally test sets are compared using a preorder with the property that test set T1 is at least as strong as T2 if whenever...

Automated abstraction of class diagrams
Alexander Egyed
Pages: 449-491
DOI: 10.1145/606612.606616
Designers can easily become overwhelmed with details when dealing with large class diagrams. This article presents an approach for automated abstraction that allows designers to "zoom out" on class diagrams to investigate and reason about their...