726 search results - page 120 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
ACMDIS
2006
ACM
14 years 2 months ago
2006
ACM
Reusing HCI design knowledge shows potential in allowing practitioners to design based on previously identified concerns. A reuse approach is presented that is based on claims, de...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
The primary purpose of this paper is to describe the theoretical underpinnings of the construct Para-social Presence (PSP). Para-social presence refers to the extent to which a me...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
FCT
2007
Springer
14 years 11 days ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...
COORDINATION
2010
Springer
13 years 11 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...