Journal Articles: 101 entries

Journal articles are listed by year, most recent first. Links are provided to the abstract, and the full paper in pdf format, where these are available.

test, test
test , Volume test , Issue test , pp. test , 2007

A structural proof of the soundness of rely/guarantee rules, Coleman, J.W. and Jones, C.B.
Journal of Logic and Computation , Volume , pp. , 2006

[ Abstract ]

Guest Editorial - Architecting Dependable Systems, de Lemos, R., Gacek, C. and Romanovsky, A.
The Journal of Systems and Software , Volume 79 , Issue 10 , pp. 1359-1360 , 2006

[ Abstract ]

Enabling and applying person-centred design for older adults, Dewsbury G and Dickinson A
Special Edition, ‘Computer Systems for Older People’, Gerontechnology , Volume 5 , Issue 3 , pp. 56-57 , 2006

Designing computer technologies with older people, Dickinson A and Dewsbury G
Special Edition, ‘Computer Systems for Older People’, Gerontechnology , Volume 5 , Issue 3 , pp. , 2006

Capturing emerging complex interactions: Safety analysis in air traffic management, Felici, M.
Reliability Engineering & System Safety , Volume 91 , Issue 12 , pp. 1482-1493 , 2006

[ Abstract ]

An integrated framework for the analysis of dependable interactive systems (IFADIS): its tool support and evaluation., Loer, K. and Harrison, M.D.
Automated Software Engineering , Volume 13 , Issue 4 , pp. 469 , 2006

[ Abstract ]

Towards a practical framework for managing , Monk, A.F. and Hone, K. and Lines, L. and Dowdall, A. and Baxter, G. and Blythe, M.B. and Wright, P.
J. of Applied Ergonomics , Volume 37 , Issue 5 , pp. 599--606 , 2006

Use of Computer Aided Detection Tools in Screening Mammography: A Multidisciplinary Investigation, Alberdi,E., Povyakalo, A., Strigini, L., Ayton, P., Hartswood, M., Procter, R. and Slack, R.
British Journal of Radiology , Volume 78 , pp. 31-40 , 2005

[ Abstract ]

Safety, Reliability and Security of Industrial Computer Systems, Anderson, S. and Felici, M. (Eds.)
Reliability Engineering & System Safety (RESS) , Volume 89 , Issue 1 , pp. 1-5 , 2005

[ pdf ( 87 KB) ]

Voting Technologies and Trust, B. Randell and P.Y.A. Ryan
IEEE Security \& Privacy , Volume , pp. , 2005
To appear

Using Cognitive Task Analysis to facilitate the integration of decision support systems into the neonatal intensive care unit., Baxter, G.D., Monk, A.F., Tan, K., Dear, P.R.F., & Newell, S.J.
Artificial Intelligence in Medicine , Volume 35 , Issue 3 , pp. 243-257 , 2005

[ Abstract ]

Interface changes causing accidents. An empirical study of negative transfer, Besnard, D. and Cacitti, L.
International Journal of Human-Computer Studies , Volume 62 , pp. 105-125 , 2005

[ pdf ( 230 KB) ] [ Abstract ]

Net Neighbours: adapting HCI methods to cross the digital divide, Blythe, M. and Monk, A.F.
Interacting with Computers , Volume 17 , pp. 35-56 , 2005

Socially Dependable Design: The Challenge of Ageing Populations for HCI , Blythe, M. and Monk, A.F. and Doughty, K.
Interacting with Computers , Volume 17 , pp. 672--689 , 2005

Modelling Opacity using Petri Nets, Bryans J.W., Koutny M., Ryan P.Y.A.
Electronic Notes in Theoretical Computer Science , Volume 121 , pp. 101-115 , 2005
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004)
[ pdf ( 272 KB) ] [ Abstract ]

The atomicity manifesto: a story in for quarks, Jones, C., Lomet, D., Romanovsky, A., Weikum, G.
ACM SIGMOD , Volume 39(2) , pp. 41-46 , 2005

[ Abstract ]

The Scavenger Approach to Data Reclamation and Acquisition from Mixed Media Original Sources, Lock, S.
International Journal of Qualitative Methods , Volume (under review) , pp. , 2005

[ pdf ( 475 KB) ] [ Abstract ]

Measuring reuse in hazard analysis, Smith, S.P. and Harrison, M.D.
Reliability Engineering and Safety Science Journal , Volume 89 , Issue 1 , pp. 93-104 , 2005

[ Abstract ]

Focusing on what might happen and how it could feel: Can the anticipation of regret change students' computing-related choices?, Wright, C. and Ayton, P.
International Journal of Human-Computer Studies , Volume 62 , Issue 6 , pp. 759-783 , 2005

[ Abstract ]

Effects of Incorrect CAD Output on Human Decision Making in Mammography, Alberdi, E. and Povyakalo, A. and Strigini, L. and Ayton, P.
Academic Radiology , Volume 11 , Issue 8 , pp. 909-918 , 2004
(Recipient of the 2005 Herbert M. Stauffer Award for the "Best Clinical Paper" from the Association of University Radiologists)
[ pdf ( 74 KB) ] [ Abstract ]

Elicitation and Representation of Expert Knowledge for Computer Aided Diagnosis in Mammography, Alberdi, E., Taylor, P. and Lee, R.
Methods of Information in Medicine , Volume 43 , pp. 239-246 , 2004

[ pdf ( 191 KB) ] [ Abstract ]

Making By Making Strange: Defamiliarisation and the Design of Domestic Technologies, Bell, G., Blythe, M. and Sengers, P.
TOCHI Special Issue on HCI and Social Issues , Volume Forthcoming , pp. , 2004

Computer security impaired by legitimate users, Besnard, D. & Arief, B.
Computers & Security , Volume 23 , pp. 253-264 , 2004

[ pdf ( 219 KB) ] [ Abstract ]

When mental models go wrong. Co-occurrences in dynamic, critical systems, Besnard, D., Greathead, D, Baxter, G.
International Journal of Human-Computer Studies , Volume 60 , pp. 117-128 , 2004

[ pdf ( 341 KB) ] [ Abstract ]

Little brother: could and should wearable computing technologies be applied to reducing older peoples fear of crime? , Blythe, M. and Monk, A.F.
Personal and Ubiquitous Computing , Volume 8 , pp. 402--415 , 2004

Interdisciplinary Integration in Europe: The Case of the Fifth Framework Programme, Bruce, A., Lyall, C., Tait, J. and Williams, R.
Futures , Volume 36 , Issue 4 , pp. 457-470 , 2004

The Antisocial Model of Disability, Clarke, K., Dewsbury, G and Hemmings, T. et al
Disability and Society , Volume 19 , Issue 2 , pp. 145-158 , 2004

[ pdf ( 235 KB) ] [ Abstract ]

Depending on Digital Design: Extending Inclusivity, Dewsbury G, Clarke K, Rouncefield M, and Sommerville I
Housing Studies , Volume 19 , Issue 5 , pp. n/a , 2004
ISSN 0267-3037
[ pdf ( 751 KB) ] [ Abstract ]

Designing Acceptable 'Smart' Home Technology to Support People in the Home, Dewsbury, G. and Clarke, K. and Rouncefield, M. and Sommerville, I. and Taylor, B. and Edge, M.
Technology and Disability , Volume 15 , Issue 3 , pp. 191-201 , 2004

[ pdf ( 55 KB) ] [ Abstract ]

The Many Meanings Of Open Source, Gacek, C., Arief, B.
IEEE Software , Volume 21 , Issue 1 , pp. 34-40 , 2004

[ Abstract ]

The Management of Socio-Technical Systems Using Configuration Modelling, Lock, S.
Human Systems Management , Volume 23 , Issue 1 , pp. 29-47 , 2004

[ pdf ( 255 KB) ] [ Abstract ]

The Big, Bad Wolf and the Rational Market: Portfolio Insurance, the 1987 Crash and the Performativity of Economics, MacKenzie, D.
Economy and Society , Volume Forthcoming , pp. , 2004

[ Abstract ]

Models of Markets: Finance Theory and the Historical Sociology of Arbitrage, MacKenzie, D.
Submitted to Revue d' Histoire des Sciences , Volume , pp. , 2004

[ Abstract ]

Social Connectivities in Global Financial Markets, Mackenzie, D.
Society and Space (Environment and Planning D) , Volume 22 , pp. 83-101 , 2004

Patterns of Cooperative Interaction: Linking Ethnomethodology and Design, Martin, D. and Sommerville, I.
ACM Transactions on Computer-Human Interaction (TOCHI) , Volume 11 , Issue 1 , pp. 59-89 , 2004

[ pdf ( 934 KB) ] [ Abstract ]

Why are Mobile Phones Annoying?, Monk, A.F., Carroll, J., Parker, S. and Blythe, M.
Behaviour and Information Technology , Volume 23 , pp. 33-42 , 2004

Combination of qualitative and quantitative sources of knowledge for risk assessment in the framework of possibility theory, Oussalah, M. and Newby, M.
International Journal of General Systems , Volume 33 , Issue 2-3 , pp. 131-151 , 2004

Technologies of Leadership in the Learning and Skills Sector, White, M.I., Kelly, S. and Rouncefield, M
To appear in the Journal of Advanced Technology , Volume , pp. , 2004

Safety, Reliability and Security of Industrial Computer Systems, Anderson, S. and Felici, M. (Eds.)
Engineering and System Safety (RESS) , Volume 81 , Issue 3 , pp. 235-238 , 2003

[ pdf ( 74 KB) ] [ Abstract ]

Analysing requirements for decision support in neonatal intensive care, Baxter, G.D. and Tan, K. and Newell, S. and Dear, P.R.F. and Monk, A.
Archives of Disease in Childhood , Volume 88, Supplement 1, A46 , pp. , 2003

Analysing requirements for decision support in neonatal intensive care, Baxter, G.D., Tan, K., Newell, S., Dear, P.R.F., and Monk, A.
Archives of Disease in Childhood , Volume 88 , Issue 1 , pp. A46 , 2003

A cognitive approach to safe violations, Besnard, D., Greathead, D.
Cognition, Technology & Work , Volume 5 , pp. 272-282 , 2003

[ pdf ( 603 KB) ] [ Abstract ]

Model Checking Stochastic Automata, Bryans J.W., Bowman H., Derrick J.
ACM Transactions on Computational Logic , Volume 4 , Issue 4 , pp. 452-492 , 2003

[ pdf ( 375 KB) ] [ Abstract ]

Designing Technology in Homes to Meet the Needs of Disabled People, Clarke, K., Dewsbury, G., Hughes, J., Rouncefield, M. and Sommerville, I.
Technology and Disability , Volume 15 , Issue 3 , pp. 191-200 , 2003

[ pdf ( 383 KB) ] [ Abstract ]

Trusting the Record, Clarke, K., Hartswood, M., Procter, R. and Rouncefield, M
Methods of Information in Medicine , Volume 42 , pp. 345-352 , 2003

[ pdf ( 176 KB) ] [ Abstract ]

The Early Search for Tractable Ways of Reasoning about Programs, Cliff B. Jones
IEEE, Annals of the History of Computing , Volume 25 , Issue 2 , pp. 26-49 , 2003

Configuring Software, Reconfiguring Memories: the Influence of Integrated Systems on the Reproduction of Knowledge and Routines, D'Adderio, L.
Industrial and Corporate Change , Volume 12 , Issue 2 , pp. 321-350 , 2003

[ pdf ( 246 KB) ] [ Abstract ]

Designing Dependable Systems, Dewsbury, G. and Clarke, K. and Rouncefield, M.
HomeToys: Home Automation and Home Networking Emagazine , Volume 2 , pp. , 2003
http://www.hometoys.com/htinews/apr03/articles/dewsbury/dependable.htm
[ pdf ( 67 KB) ] [ Abstract ]

Eating-In Again? Let's Take the Heat Off You: Electronic Assistive Technology, Smart Homes and Disabled People, Dewsbury, G. and Sergeant, E. and Baxter, G. and Johnstone, S.
Hometoys: Home Automation and Home Networking EMagazine , Volume 8 , Issue 5 , pp. n/a , 2003

[ pdf ( 78 KB) ] [ Abstract ]

Working IT out in Medical Practice: IT Systems Design and Development as Co-Production, Hartswood, M., Procter, R. and Rouchy, P. et al
Methods of Information in Medicine , Volume 42 , pp. 392-397 , 2003

Making a Case in Medical Work: Implications for the Electronic Medical Record, Hartswood, M., Procter, R., Rouncefield, M. and Slack, R.
Computer-Supported Cooperative Work (CSCW) Journal , Volume 12 , Issue 3 , pp. 241-266 , 2003

Operational semantics: Concepts and their expression, Jones, C.B.
Information Processing Letters , Volume 88 , pp. 27-32 , 2003

[ pdf ( 131 KB) ] [ Abstract ]

Designing Assistive Technologies for Medication Regimes in Care Settings, Kember, S., Cheverst, K. and Clarke, K. et al
Universal Access in the Information Society (UAIS) , Volume 2 , Issue 3, Special Issue Countering Design Exclusion , pp. , 2003

An Equation and its Worlds: Bricolage, Exemplars, Disunity and Performativity in Financial Economics, MacKenzie, D
Social Studies of Science , Volume 33 , pp. 831-868 , 2003
Abridged Version
[ Abstract ]

Empty Cookie Jar, Mackenzie, D.
London Review of Books , Volume 25 , Issue 10 , pp. 6-9 , 2003

Long-Term Capital Management and the Sociology of Arbitrage, Mackenzie, D.
Economy and Society , Volume 32 , pp. 349-380 , 2003

Constructing a Market, Performing Theory: The Historical Sociology of a Financial Derivatives Exchange, Mackenzie, D. and Millo, Y.
American Journal of Sociology , Volume 109 , pp. 107-145 , 2003

Making The Organisation Come Alive: Talking through and about the technology in remote banking, Martin, D. and Rouncefield, M.
Human-Computer Interaction , Volume 18 , Issue 1 & 2 , pp. 111-148 , 2003

[ pdf ( 333 KB) ] [ Abstract ]

Analysis of Serial-Parallel Systems in the Framework of Fuzzy/Possibility Theory. Part I: Appraisal. Case of Independent Components, Oussalah, M. and Newby, M.
Reliability Engineering and System Safety , Volume 79 , Issue 3 , pp. 353-368 , 2003

Fitting Standard Software Packages to Non-Standard Organisations, Pollock, N., Procter, R. and Williams, R.
Journal of Technology Analysis and Strategic Management , Volume 15 , Issue 3 , pp. 317-332 , 2003

[ pdf ( 106 KB) ] [ Abstract ]

Estimating Bounds on the Reliability of Diverse Systems, Popov, P., Strigini, L., May, J. and Kuball, S.
IEEE Transactions on Software Engineering , Volume 29 , Issue 4 , pp. 345-359 , 2003

Informing the RE Process with Patterns of Cooperative Interaction'. Invited keynote paper., Sommerville, I., Martin, D. and Rouncefield, M.
International Arab Journal of Information Technology , Volume 1 , Issue 1 , pp. , 2003

[ pdf ( 717 KB) ] [ Abstract ]

Fuzzy logic expert system for ventilation of the newborn infant, Tan, K., Baxter, G., Brownlee, K.G., Newell, S.J., Dear, P.R.F., & Smye, S.
Archives of Disease in Childhood , Volume 88 , Issue 1 , pp. A47 , 2003

Eliciting a Terminology for Mammographic Calcifications, Alberdi, E., Taylor, P., Lee, R., Fox, J. and Todd-Pokropek, A.
Clinical Radiology , Volume 57 , Issue 11 , pp. 1007-1013 , 2002

[ pdf ( 202 KB) ] [ Abstract ]

Improving Knife To Skin Time: Process Modelling and New Technology in Medical Work, Clarke, K., Hartswood, M., Procter,M., Rouncefield,M., Slack, R. and Williams,R.
Health Informatics Journal , Volume 8 , Issue 1 , pp. 39-42 , 2002

[ Abstract ]

'Cunning Plans': Some notes on Plans, Procedures and CSCW, Clarke, K., Rouncefield, M., Hughes, J., Hartswood, M., Procter, R., Slack, R. and Voss, A.
Requirenautics Quarterly , Volume , Issue 25 , pp. 12-18 , 2002

[ pdf ( 203 KB) ]

Organising Failure: Some Orderly Features of a Dotcom Collapse, Colombino, T., Hughes, J.A., Rouncefield, M. and Tolmie, P.
TeamEthno-Online , Volume 1 , pp. , 2002
http://www.teamethno-online.org/

Has the Pattern Emperor Any Clothes?, D'Adderio, L., Dewar, R., Lloyd, A. and Stevens, P.
Software Engineering Notes , Volume 27 , Issue 1 , pp. 31-35 , 2002

Home Technology Systems, Dewsbury, G., Clarke, K., Rouncefield, M. and Sommerville, I.
Housing Care and Support Journal , Volume 5 , Issue 4 , pp. , 2002

[ pdf ( 233 KB) ]

Designing Dependable Assistive Technology Systems For Vulnerable People, Dewsbury, G., Taylor, B., and Edge, M.
Health Informatics Journal , Volume 8 , Issue 2 , pp. 104-110 , 2002

[ Abstract ]

Argument Representation for Dependable Computer-Based Systems, Gurr, C.
Journal of Informal Logic , Volume 22 , Issue 3 , pp. 293-321 , 2002

Building Information Systems as Universalised Locals, Hartswood, M., Voß, A., Procter, R., Rouncefield, M., Slack,R. and Williams, R.
Journal of Knowledge, Technology and People , Volume 14 , Issue 3 , pp. , 2002

'Co-Realisation': Towards a Principled Synthesis of Ethnomethodogy and Participatory Design, Hartswood, M., Procter, R. and Slack, R. et al
Scandanavian Journal of Information Systems , Volume 14 , Issue 2 , pp. 9-30 , 2002

Representing Knowledge: Instances of Management Information, Hughes, J.A., Rouncefield, M., and Tolmie, P.
British Journal of Sociology , Volume 53 , Issue 2 , pp. 221-238 , 2002

[ Abstract ]

A logic-based formalization for component specification, Küster-Filipe, J.
Journal of Object Technology , Volume 1 , Issue 3 (Special Issue: TOOLS 2002 proceedings) , pp. 231-248 , 2002

[ pdf ( 350 KB) ] [ Abstract ]

Issues of Dependability in Open Source Software Development, Lawrie, A. T., & Gacek C
Software Engineering Notes (SIGSOFT) , Volume 27 , Issue 03 , pp. 34-37 , 2002

[ pdf ( 531 KB) ] [ Abstract ]

Assessing the Reliability of Diverse Fault-Tolerant Software Based Systems, Littlewood, B. and Popov, P. and Strigini, L
Safety Science , Volume 40 , pp. 781-796 , 2002

The Imagined Market, Mackenzie, D.
London Review of Books , Volume 24 , Issue 31 , pp. 22-24 , 2002

What's in the Bottle?, Mackenzie, D.
London Review of Books , Volume 24 , Issue 9 , pp. 21-22 , 2002

'Making the Organisation Come Alive': Talking Through and About the Technology in Remote Banking, Martin, D. and Rouncefield, M.
Human-Computer Interaction , Volume 18 , pp. 111-148 , 2002

[ pdf ( 333 KB) ] [ Abstract ]

Editorial: The future looks smart, Procter, R and Rouncefield M. (eds)
Health Informatics Journal , Volume 8 , Issue 2 , pp. 57 , 2002

On the interpretation of binary associations in the Unified Modelling Language, Stevens, P.
Journal of Software and Systems Modeling (SoSyM) , Volume 1 , Issue 1 , pp. 68-79 , 2002

Expertise and interpretation of computerised physiological data: Implications for the design of computerised physiological monitoring in neonatal intensive care, Alberdi, E., Becher, J.C. and Gilhooly, K. et al
International Journal of Human Computer Studies , Volume 55 , Issue 3 , pp. 191-216 , 2001

Trouble Shooting in Mechanics: A Heuristic Matching Process, Besnard, D and Cacitti, L.
Journal of Cognition, Technology and Work , Volume 3 , Issue 3 , pp. 150-160 , 2001

[ pdf ( 100 KB) ] [ Abstract ]

Design with Care, Cheverst, K., Clarke, K., Cobb, S., Hemmings, T., Kember, S., Mitchell, K., Phillips, P., Proctor, R., Rodden T. and Rouncefield, M.
Journal of New Technology In The Human Services , Volume 14 , Issue 1-2 , pp. 39-47 , 2001

[ Abstract ]

Hospital Managers Closely Observed: Some Features of New Technology and Everyday Managerial Work, Clarke, K, Hartswood, M., Procter, R., and Rouncefield, M
Journal of New Technology in the Human Services , Volume 14 , Issue 1-2 , pp. 48-57 , 2001

[ Abstract ]

The Electronic Medical Record and Everyday Medical Work, Clarke, K., Hartswood, M., Procter, R. and Rouncefield, M
Health Informatics Journal , Volume 7 , Issue 3/4 , pp. 168-170 , 2001

[ Abstract ]

Crafting the Virtual Prototype: How Firms Integrate Knowledge and Capabilities Across Organisational Boundaries, D'Adderio, L.
Research Policy , Volume 30 , Issue 9 , pp. 1409-1424 , 2001

The Social and Psychological Aspects of Smart Home Technology within the Care Sector, Dewsbury, G.
Journal of New Technology In The Human Services , Volume 14 , Issue 1-2 , pp. 9-18 , 2001

[ Abstract ]

Designing the Home to meet the Needs of Tomorrow, Dewsbury, G. and Edge,M.
Open House International , Volume 26 , Issue 2 , pp. 33-42 , 2001

Designing Smart Home Technology for Disabled People, Dewsbury, G., Taylor, B. and Edge , M.
HomeToys Home Automation and Home Networking EMagazine , Volume 6 , Issue 6 , pp. , 2001

[ Abstract ]

Performance Management in Breast Screening: A Case Study of Professional Vision and Ecologies of Practice, Hartswood, M., Procter, R., Rouncefield, M. and Slack, R.
Journal of Cognition, Technology and Work , Volume 4 , Issue 2 , pp. 91-100 , 2001

[ Abstract ]

The Transition from VDL to VDM, Jones, C.B.
JUCS , Volume 7 , Issue 8 , pp. 631-640 , 2001

Modelling Software Diversity-a Review, Littlewood, B., Popov, P. and Strigini, L.
ACM Computing Surveys , Volume 33 , pp. 177-208 , 2001

Physics and Finance: S-Terms and Modern Finance as a Topic for Science Studies, MacKenzie, D.
Science, Technology, & Human Values , Volume 26 , pp. 115-144 , 2001

Editorial: home use of information and communications technology, Monk, A. and Kraut, R.
International Journal of Human-Computer Studies , Volume 54 , Issue 5 , pp. 663-4 , 2001

Ethnography, Ethnomethodology and Interaction Analysis, Randall, D., Marr, L. and Rouncefield, M.
Ethnographic Studies , Volume 6 , Issue Special Issue on Workplace Studies , pp. , 2001

The Potential for Smart Home Systems in Meeting the Care Needs of Older People with Disabilities, Edge , M. and Taylor, B. and Dewsbury, G. and Groves, M.
Seniors' Housing Update , Volume 10 , Issue 1 , pp. 6-7 , 2000

[ pdf ( 28 KB) ]

Modelling the effects of combining diverse software fault removal techniques, Littlewood, B., Popov, P., Strigini, L., Shryane, N.
IEEE Transactions on Software Engineering , Volume 26 , pp. 1157-1167 , 2000

Facing up to Faults, Randell, B
The Computer Journal , Volume 43 , Issue 2 , pp. 95-106 , 2000

[ pdf ( 60 KB) ] [ Abstract ]