Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 18 Issue 4, July 2009

Interacting process classes
Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan
Article No.: 13
DOI: 10.1145/1538942.1538943

Many reactive control systems consist of classes of active objects involving both intraclass interactions (i.e., objects belonging to the same class interacting with each other) and interclass interactions. Such reactive control systems appear in...

Verdict functions in testing with a fault domain or test hypotheses
Robert M. Hierons
Article No.: 14
DOI: 10.1145/1538942.1538944

In state-based testing, it is common to include verdicts within test cases, the result of the test case being the verdict reached by the test run. In addition, approaches that reason about test effectiveness or produce tests that are guaranteed to...

Programming pervasive and mobile computing applications: The TOTA approach
Marco Mamei, Franco Zambonelli
Article No.: 15
DOI: 10.1145/1538942.1538945

Pervasive and mobile computing call for suitable middleware and programming models to support the activities of complex software systems in dynamic network environments. In this article we present TOTA (“Tuples On The Air”), a novel...