메뉴 건너뛰기




Volumn 45, Issue , 2011, Pages

Modelling distributed cognition systems in PVS

Author keywords

DiCoT; Distributed cognition; Higher order logic; Interactive system design; PVS

Indexed keywords


EID: 84888418087     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.45.653.659     Document Type: Conference Paper
Times cited : (5)

References (27)
  • 1
    • 33745870149 scopus 로고    scopus 로고
    • 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
  • 9
    • 33749341313 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 20
  • 22
    • 21344489692 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.