Books
(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 (
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 (
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 (
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 (
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 (
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 (
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
[ 
