The case study method supported by interviews is used widely by IS researchers. In `messy' problems, such as the adoption of e-procurement across manufacturing supply chains,...
Several algorithms that generate the set of all formal concepts and diagram graphs of concept lattices are considered. Some modifications of wellknown algorithms are proposed. Algo...
Abstract. This paper proposes a nonlinear controller to extend the Zwidth of a haptic device. A time-domain passivity analysis of the Z-width diagram leads to the new haptic contro...
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...