enter search term and/or author name
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
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
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...