http://www.dirc.org.uk/  
 
   
   
Overview
Research
Sites
People
    Listing
    Fellows
Publications
Events
Related Projects
   
 

Project Activity (3) Publications

http://www.adobe.com/products/acrobat/readermain.html Items are sorted by type, and listed by year. Links are provided to abstracts and pdf's of the f ull papers where these are available.

Conference Papers

Limits in Modelling Evolving Computer-based Systems , Felici, M. and Küster-Filipe, J.
In Proceedings of the ACM Symposium on Applied Computing (SAC 2002), Madrid, Spain, March 10-14, 2002
pdf icon [ pdf ( 180 Kb ) ] [ Abstract ]

Journal Articles

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 icon [ pdf ( 246 KB) ] [ 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 icon [ pdf ( 350 KB) ] [ Abstract ]

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

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

Books (authored or edited)

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

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

Book Chapters

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

Technical Reports

When mental models go wrong. Co-occurrences in dynamic, critical systems , Besnard, D. and Greathead, D.
CS-TR 791 Department of Computing Science, University of Newcastle upon Tyne , 2003
pdf icon [ pdf ( 326 KB) ] [ Abstract ]

Interface changes generating accidents. A schema-based approach of negative transfer , Cacitti, L., and Besnard, D.
CS-TR 784 Department of Computing Science, University of Newcastle upon Tyne , 2002
pdf icon [ pdf ( 322 KB) ] [ Abstract ]

A cognitive approach to safe violations , Besnard, D. and Greathead, D.
CS-TR 776 Department of Computing Science, University of Newcastle upon Tyne , 2002
pdf icon [ pdf ( 584 KB) ] [ Abstract ]

Bridging Industrial Design and Software Engineering Through Constraints Identification, Solution Space Optimisation and Reuse. , Besnard, D. and Lawrie, A.T.
CS-TR 745 Department of Computing Science, University of Newcastle upon Tyne , 2001
pdf icon [ pdf ( 493 KB) ] [ Abstract ]

 
Page Maintainer: webmaster@dirc.org.uk Credits      Project Members only Last Modified: 11 August, 2005