When software developers work with a program's source code, the structure of the source code often requires that they split their attention simultaneously across several docu...
Abstract. We address the challenge of adaptation in open systems. Open systems are characterized by interactions among autonomous and heterogeneous participants. In such systems, e...
Fabiano Dalpiaz, Amit K. Chopra, Paolo Giorgini, J...
The security of software applications is an important domain, and one that mixes formalisms (e.g. when dealing with cryptography and security protocols) with very ad hoc, low level...
Drawing on the ‘representation’ TUI framework [21], this paper reports a study that investigated the concept of ‘representation location’ and its effect on interaction and...
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...