http://www.dirc.org.uk/  
 
   
   
Overview
Research
Sites
People
Publications
   
     Journal Articles
     Books and Chapters
     Conference Papers
      Conference Proceedings
     Technical Reports
Events
Related Projects
   
 

Books: 42 entries

http://www.adobe.com/products/acrobat/readermain.htmlBooks (authored or edited ), and chapters in books are listed by year, most recent first. Links to full chapters in pdf format are provided where these are available.


Books (authored or edited): 19 entries

Responsibility and Dependable Systems , Dewsbury G and Dobson J (Eds)
Springer Verlag Press , 2007

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective , Besnard, D., Gacek, C. and Jones, C.B. (editors)
Springer, ISBN 1-84628-110-5 , 2006

Designing for Older People , Dickinson A and Dewsbury G (Eds)
International Society for Gerontechnology , 2006

An Engine, Not A Camera , Donald MacKenzie
MIT Press , 2006

Guess my vote: a Study of Opacity and Information Flow in Voting Systems (PhD Thesis) , Peacock, T
Unpublished , 2006

Trust in Technology , Clarke, K., Hardstone, G., Rouncefield, M. and Sommerville, I. (editors)
Springer , 2005

Communicating Sequential Processes: the First 25 years , Abdallah, A.E. and Jones, C.B. and Sanders, J.W.
Series: Lecture Notes in Computer Science , Volume: 3525
Springer , 2005

Architecting Dependable Systems III , de Lemos, R., Gacek, C. and Romanovsky, A.
Series: State of the Art Series, Lecture Notes in Computer Science , Volume: 3549
Springer , 2005

Social learning in technological innovation: Experimenting with information and communication technologies , Williams, R., Stewart, J. and Slack, R.
Edward Elgar, Aldershot , 2005

Architecting Dependable Systems II , de Lemos, R., C. Gacek, and A. Romanovsky
Series: State of the Art Series, Lecture Notes in Computer Science , Volume: 3069
Springer , 2004

ICSE 2004. 26th International Conference on Software Engineering. Scotland. Third Workshop on Architecting Dependable Systems (WADS) , de Lemos, R., Gacek, C. and Romanovsky A.
IEE , 2004

Features of BPEL Modelled via Structural Operational Semantics (MPhil Thesis) , Coleman, J.W.
Unpublished , 2004

Architecting Dependable Systems , de Lemos, R., Gacek, C., and Romanovsky, A.
Series: State of the Art Series, Lecture Notes in Computer Science , Volume: 2677
Springer , 2003

Inside the Virtual Product: How Organisations Create Knowledge Through Software , D'Adderio, L.
Edward Elgar, Cheltenham (UK) and Northampton (USA) , 2003

The Myers Briggs Personality Type as a Predictor of Success in the Code-Review Task (MPhil Thesis) , Devito Da Cunha, A.
Unpublished , 2003
pdf icon [ pdf ( 924 KB) ]

Techniques for modeling human performance in synthetic environments: A supplementary review , Ritter, F. E., Shadbolt, N. R., Elliman, D., Young, R., Gobet, F. and Baxter, G.D.
Wright-Patterson Air Force Base, OH: Human Systems Information Analysis Center , 2003

Seeing reason: image and language in learning to think , Stenning, K.
Series: Oxford cognitive science series Oxford University Press , 2002

Old World, New Ideas: Environmental and Cultural Change in a Shrinking World , Clarke, K.M., Hartswood, M., Procter, R.N., Rouncefield, M H.M. Edge (ed)
EDRA , 2001

Mechanizing Proof: Computing, Risk, and Trust , MacKenzie, D.
MIT Press, Cambridge, Mass. , 2001


Book Chapters: 23 entries

Decision Making the Open Source Software Way , Cristina Gacek
In Successful OSS Project Design and Implementation: Requirements,Tools, Social Designs, Reward Structures and Coordination Methods , , pp.
Gower Publishing Limited , 2007

Down in the Data/basement: Supporting Configuration in Organisational Information Systems , Anderson, S.,
In Evolving Information Artefacts , , pp. forthcoming
Kluwer , 2006

A technique for the client- centred evaluation of electronic assistive technology. , Baxter, G.D. and Monk, A.F.
In Contemporary Ergonomics 2006 , , pp.
Taylor and Francis , 2006

Procedures, programs and their impact on dependability , Besnard, D.
In Besnard, D., Gacek, C. and Jones, C.B. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective , , pp.
Springer. ISBN 1-84628-110-5, in press , 2006
pdf icon [ pdf ( 50 KB) ]

Cognitive conflicts in dynamic systems , Besnard, D. and Baxter, G.
In Besnard, D., Gacek, C. and Jones, C.B. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective , , pp.
Springer, ISBN 1-84628-110-5, in press , 2006
pdf icon [ pdf ( 510 KB) ]

Architectural Description of Dependable Software Systems , Gacek C. and R. de Lemos
In Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective , , pp. 127-142
Springer , 2006

Qualitative Analysis of Dependability Argument Structure , Sujan, M.A., Smith, S.P. and Harrison, M.D.
In Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective , , pp. 269-285
Springer , 2006

Security Implications of Structure , Bryans J., Arief B.
In Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective , Besnard D., Gacek, C., and Jones C.B. (eds.) , pp. 217-227
Springer , 2005
pdf icon [ pdf ( 62 KB) ]

Wanted: A Compositional Approach to Concurrency , Jones, C.B.
In Programming Methodology , , pp. 1-15
Springer-Verlag , 2005

The Wrong trousers? Beyond the design fallacy: social learning and the user , Stewart, J. and Williams, R.
In Rohracher, H. (Ed.) User involvement in innovation processes. , , pp. 39-71
Munich, Profil , 2005
pdf icon [ pdf ( 451 KB) ]

The wrong trousers ? Beyond the design fallacy : social learning and the user , Stewart, J. and Williams, R.
In Howcroft, D. and Trauth, E.M. (Eds) Handbook of Critical Information Systems Research: Theory And Application , , pp. 195-223
Edward Elgar , 2005

Fault Tolerance Against Design Faults , Strigini, L.
In Dependable Computing Systems: Paradigms, Performance Issues, and Applications , , pp. 213-241
J. Wiley & Sons , 2005

On Designing Dependable Services with Diverse Off-The-Shelf SQL Servers , Gashi, I., Popov,P., Stankovic,V. and Strigini, L.
In Architecting Dependable Systems II, (R. de Lemos, C. Gacek and A. Romanovsky, Eds.) , , pp. 191-214
Series: Lecture Notes in Computer Science , Volume: 3069
Springer-Verlag , 2004

Design With Care: Technology, Disability and the Home , 20. Cheverst K, Clarke K, Dewsbury G, Hemmings T, Hughes J and Rouncefield M
In Inside The Smart Home , , pp. 163-180
Springer-Verlag , 2003

When a bed is not a bed: The situated display of knowledge on a hospital ward , Clarke, K., Hemmings, T., Hughes, J., & Rouncefield, M.
In Public and Situated Displays: Social and interactional aspects of shared display technologies , O'Hara, K., Perry, M., Churchill, E. and Russell, D. (eds) , pp.
Kluwer , 2003

Tolerating Architectural Mismatches , de Lemos, R., C. Gacek, and A. Romanovsky
In Architecting Dependable Systems , , pp. 175-194
Series: State of the Art Series, Lecture Notes in Computer Science , Volume: 2677
Springer , 2003

Relating the Automation of Functions in Multiagent Control Systems to a System Engineering Representation , Harrison, M.D.and Johnson, P.D. and Wright, P.C.
In Handbook of Cognitive Task Design , , pp. 503-524
Laurence Erlbaum Associates , 2003

Keep Taking The Medication: Assistive Technologies For Medication Regimes in Care Settings , Kember, S., Cheverst, K., Clarke, K., Dewsbury, G., Hemmings, T., Rodden, T., and Rouncefield, M.
In Universal Access and Assistive Technology , Keates, S, Langdon P, Clarkson, P.J, and Robinson P. (eds) , pp. 285-294
Springer-Verlag, United Kingdom , 2002
pdf icon [ pdf ( 429 KB) ]

A View from the Sonnenbichl: On the Historical Sociology of Software and System Dependendability , MacKenzie, D.
In History of Computing: Software Issues , Ulf Hashagen, Reinhard Keil-Slawik, and Arthur Norberg (eds) , pp. 97-122
Springer-Verlag, Berlin, Germany , 2002

User interface evaluation: How cognitive models can help , Ritter, F.E., Baxter, G.D., Jones, G., and Young, R.M.
In Human-Computer Interaction In The New Millennium , Carroll, J. (ed) , pp. 125-147
Addison-Wesley, Reading, MA, USA , 2001

Compositionality, Interference and Concurrency , Jones, C.B.
In Millenial Perspectives in Computer Science , , pp. 175-186
Macmillan Press , 2000

Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations , Jones, C.B. and Collette, P.
In Proof, Language and Interaction , , pp. 277-307
MIT Press , 2000

Long-term capital management and sociology of finance. , Mackenzie, D
In Facts and Figures: Economic Representations and Practices , , pp. 277-287
Metropolis , 2000

 
Webmaster Credits      Project Members Only Last Modified  11 August, 2005