enter search term and/or author name
ACM Transactions on Software Engineering and Methodology staff
Architecting families of software systems with process algebras
Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
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
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 T
Automated abstraction of class diagrams
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...