DIAS is an Asynchronous Discussion Forum Software, mainly developed in order to offer extended monitoring and interaction analysis support, by providing a wide range of indicators ...
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...