-
1
-
-
33745870149
-
DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems
-
A. Blandford, D. Furniss. DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems. Interactive Systems, pp. 26-38, 2006
-
(2006)
Interactive Systems
, pp. 26-38
-
-
Blandford, A.1
Furniss, D.2
-
5
-
-
0004572262
-
Formally verifying interactive systems: A review
-
Springer, Berlin
-
J. C. Campos, M. D. Harrison. Formally verifying interactive systems: A review. In Proc. of the 4th Intel. Eurographics Workshop on Design, Specification, and Verification of Interactive Systems. Pp. 109-124. Springer, Berlin, 1997
-
(1997)
In Proc. of the 4th Intel. Eurographics Workshop on Design, Specification, and Verification of Interactive Systems
, pp. 109-124
-
-
Campos, J.C.1
Harrison, M.D.2
-
6
-
-
47249163871
-
-
Technical report, Computer Science Laboratory, SRI International, Menlo Park, CA
-
J. Crow, S. Owre, J. Rushby, N. Shankar, D. Stringer-Calvert. Evaluating, Testing, and Animating PVS Specifications. Technical report, Computer Science Laboratory, SRI International, Menlo Park, CA, 2001
-
(2001)
Evaluating, Testing, and Animating PVS Specifications
-
-
Crow, J.1
Owre, S.2
Rushby, J.3
Shankar, N.4
Stringer-Calvert, D.5
-
9
-
-
33749341313
-
Understanding Emergency Medical Dispatch in terms of Distributed Cognition: a case study
-
D. Furniss, A. Blandford. Understanding Emergency Medical Dispatch in terms of Distributed Cognition: a case study. Ergonomics Journal 49:1174-1203, 2006
-
(2006)
Ergonomics Journal
, vol.49
, pp. 1174-1203
-
-
Furniss, D.1
Blandford, A.2
-
10
-
-
0003125851
-
Analyzing distributed cognition in software teams: a case study of team programming during perfective software maintenance
-
N. V. Flor, E. L. Hutchins. Analyzing distributed cognition in software teams: a case study of team programming during perfective software maintenance. In Empirical Studies of Programmers: Fourth Workshop. Pp. 36-64. 1991
-
(1991)
In Empirical Studies of Programmers: Fourth Workshop
, pp. 36-64
-
-
Flor, N.V.1
Hutchins, E.L.2
-
11
-
-
77954525351
-
An Integrated Workbench for Model-Based Engineering of Service Compositions
-
April/June
-
H. Foster, S. Uchitel, J. Magee, J. Kramer. An Integrated Workbench for Model-Based Engineering of Service Compositions. Services Computing, IEEE Transactions on 3(2):131-144, April/June 2010
-
(2010)
Services Computing, IEEE Transactions on
, vol.3
, Issue.2
, pp. 131-144
-
-
Foster, H.1
Uchitel, S.2
Magee, J.3
Kramer, J.4
-
13
-
-
0001194833
-
How a Cockpit Remembers Its Speed
-
E. Hutchins. How a Cockpit Remembers Its Speed. Cognitive Science 19:265-288, 1995
-
(1995)
Cognitive Science
, vol.19
, pp. 265-288
-
-
Hutchins, E.1
-
14
-
-
0000128591
-
On Distinguishing Epistemic from Pragmatic Action
-
D. Kirsh, P. Maglio. On Distinguishing Epistemic from Pragmatic Action. Cognitive Science 18:513-549, 1994
-
(1994)
Cognitive Science
, vol.18
, pp. 513-549
-
-
Kirsh, D.1
Maglio, P.2
-
15
-
-
84861855083
-
Distributed cognition and mobile healthcare work
-
British Computer Society, Swinton, UK
-
J. McKnight, G. Doherty. Distributed cognition and mobile healthcare work. In Proc. of BCS-HCI '08. Pp. 35-38. British Computer Society, Swinton, UK, 2008
-
(2008)
In Proc. of BCS-HCI '08
, pp. 35-38
-
-
McKnight, J.1
Doherty, G.2
-
18
-
-
0003571142
-
-
Basic Books, New York, reprint paperback edition
-
D. A. Norman. The Design of Everyday Things. Basic Books, New York, reprint paperback edition, 2002
-
(2002)
The Design of Everyday Things
-
-
Norman, D.A.1
-
19
-
-
84957365826
-
PVS: Combining Specification, Proof Checking, and Model Checking
-
In Alur and Henzinger (eds.) Springer-Verlag, New Brunswick, NJ, July/August
-
S. Owre, S. Rajan, J. Rushby, N. Shankar, M. Srivas. PVS: Combining Specification, Proof Checking, and Model Checking. In Alur and Henzinger (eds.), Computer-Aided Verification, CAV '96. Lecture Notes in Computer Science 1102, pp. 411-414. Springer-Verlag, New Brunswick, NJ, July/August 1996
-
(1996)
Computer-Aided Verification, CAV '96. Lecture Notes in Computer Science 1102
, pp. 411-414
-
-
Owre, S.1
Rajan, S.2
Rushby, J.3
Shankar, N.4
Srivas, M.5
-
20
-
-
85043234223
-
-
Priority Dispatch Corp. Inc. ProQA 3.4, Emergency Dispatch Software. 2005. www.prioritydispatch.net/support/pdf/ProQA User Guide.pdf
-
(2005)
ProQA 3.4, Emergency Dispatch Software
-
-
-
21
-
-
71949123283
-
Verification-guided modelling of salience and cognitive load
-
R. Rukšenas, J. Back, P. Curzon, A. Blandford. Verification-guided modelling of salience and cognitive load. Formal Aspects of Computing 21:541-569, 2009
-
(2009)
Formal Aspects of Computing
, vol.21
, pp. 541-569
-
-
Rukšenas, R.1
Back, J.2
Curzon, P.3
Blandford, A.4
-
22
-
-
21344489692
-
Distributed cognition: an alternative framework for analysing and explaining collaborative working
-
Y. Rogers, J. Ellis. Distributed cognition: an alternative framework for analysing and explaining collaborative working. Journal of Information Technology 9:119-128, 1994
-
(1994)
Journal of Information Technology
, vol.9
, pp. 119-128
-
-
Rogers, Y.1
Ellis, J.2
-
23
-
-
0036466927
-
Using Model Checking to Help Discover Mode Confusions and Other Automation Surprises
-
February
-
J. Rushby. Using Model Checking to Help Discover Mode Confusions and Other Automation Surprises. Reliability Engineering and System Safety 75(2):167-177, February 2002. Available at http://www.csl.sri.com/users/rushby/abstracts/ress02
-
(2002)
Reliability Engineering and System Safety
, vol.75
, Issue.2
, pp. 167-177
-
-
Rushby, J.1
-
24
-
-
84947211472
-
Principles and Pragmatics of Subtyping in PVS
-
In Bert et al. (eds.) Springer-Verlag, Toulouse, France, September
-
N. Shankar, S. Owre. Principles and Pragmatics of Subtyping in PVS. In Bert et al. (eds.), Proc. of WADT '99. Lecture Notes in Computer Science 1827, pp. 37-52. Springer-Verlag, Toulouse, France, September 1999
-
(1999)
Proc. of WADT '99. Lecture Notes in Computer Science 1827
, pp. 37-52
-
-
Shankar, N.1
Owre, S.2
-
25
-
-
34247100667
-
The Role of Story Cards and the Wall in XP teams: A Distributed Cognition Perspective
-
IEEE Computer Society, Washington, DC, USA
-
H. Sharp, H. Robinson, J. Segal, D. Furniss. The Role of Story Cards and the Wall in XP teams: A Distributed Cognition Perspective. In Proceedings of the conference on AGILE 2006. Pp. 65-75. IEEE Computer Society, Washington, DC, USA, 2006
-
(2006)
In Proceedings of the conference on AGILE 2006
, pp. 65-75
-
-
Sharp, H.1
Robinson, H.2
Segal, J.3
Furniss, D.4
-
26
-
-
51149106163
-
Ignorance of interaction programming is killing people
-
September/October
-
H. Thimbleby. Ignorance of interaction programming is killing people. ACM Interactions, pp. 52-57, September/October 2008
-
(2008)
ACM Interactions
, pp. 52-57
-
-
Thimbleby, H.1
-
27
-
-
79955467042
-
Verifying workflow processes: a transformation-based approach
-
H. Zha, W. van der Aalst, J. Wang, L. Wen, J. Sun. Verifying workflow processes: a transformation-based approach. Software and Systems Modeling, pp. 1-12, 2010. 10.1007/s10270-010-0149-9
-
(2010)
Software and Systems Modeling
, pp. 1-12
-
-
Zha, H.1
van der Aalst, W.2
Wang, J.3
Wen, L.4
Sun, J.5
|