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

Conference Papers: 177 entries

http://www.adobe.com/products/acrobat/readermain.html Papers are listed by year, most recent first, then by alphabetically by author. Links are provided to the abstract, and the full paper in pdf format, where these are available.

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering , Bryans, J. W., Fitzgerald, J. S., Jones, C. B., Mozolevsky, I
In Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Margaria, T. Philippou, A. Steffen, B., 2006
[ Abstract ]

Specification and Satisfaction of SLAs in Service Oriented Architectures , Anderson, S., Grau, A., Hughes, C.
In Proceedings of the 5th Annual DIRC Research Conference, pp. 141-150  2006
[ Abstract ]

Tree-Based WCET Analysis on Instrumentation Point Graphs , Betts, A., Bernat, G.
In Proceedings of the 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC'06), Gyeongju, South Korea, pp. 558-565   2006
[ Abstract ]

E-voting: Dependability Requirements and Design for Dependability , Bryans J.W., Littlewood B. Ryan P.Y.A., Stringini L.
In Proceedings of the ARES (Availability, Reliability and Security),, pp. 988-995  2006
[ Abstract ]

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering , Bryans, J. W., Fitzgerald, J. S., Jones, C. B., Mozolevsky, I.
In Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), , Margaria, T. Philippou, A. Steffen, B., pp. 90-97  2006
[ Abstract ]

Formal Analysis of Access Control Policies , Bryans, J.W.
In Proceedings of the UK E-Science All Hands Meeting, Cox, S.J., pp. 701-708  2006
[ Abstract ]

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering , Bryans, J.W., Fitzgerald J.S., Jones C.B., Mozolevesky, I.
In Proceedings of the Second International Conference on Leveraging Applications of Formal Methods, Validation and Verification, Margaria T., Philippou A., Steffen B., pp. 90-98  2006
[ Abstract ]

Determining the Specification of a Control System: an Illustrative Example , Coleman, J.W.
In Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems ({REFT} 2005), Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E., pp. 114-132  2006

Comments on several years of teaching of modelling programming language concepts , Coleman, J.W. , Jefferson, N.P. , and Jones, C.B.
In Proceedings of the Workshop on Formal Methods in the Teaching Lab at FM'06, Boute, R. and Oliveira, J., 2006

Modeling Safety Case Evolution – Examples from the Air Traffic Management Domain , Felici, M.
In Proceedings of the 2nd International Workshop on Rapid Integration of Software Engineering techniques, RISE 2005, Guelfi, N. and Savidis, A., pp. 81-96  2006
pdf icon [ pdf ( 851 Kb ) ] [ Abstract ]

QoS Explorer: A Tool for Exploring QoS in Composed Services , Hughes, C., Hillman, J.
In Proceedings of the IEEE International Conference on Web Services (ICWS'06) (September 18-22, 2006, Chicago, U.S.A.), pp. 797-806  2006
pdf icon [ pdf ( 303 Kb ) ] [ Abstract ]

GOLD Infrastructure for Virtual Organizations , Periorellis P., Cook N., Hiden H., Conlin A., Hamilton M.D., Wu J., Bryans J., Gong X., Watson P., Smith R., Wright A., 18th-21st September, Nottingham, UK
In Proceedings of the UK E-Science All Hands Meeting, pp. 11-20  2006
[ Abstract ]

Investigation of structural properties of hazard mitigation arguments , Sujan, M.A. and Harrison, M.D.
In Proceedings of the Safety and Reliability for Managing Risk (ESREL 2006), Guedes, Soares and Zio, pp. 1869-1876  2006
[ Abstract ]

Demonstration of safety in healthcare organisations , Sujan, M.A., Harrison, M.D., Steven, A., Pearson, P.H. and Vernon, S.J.
In Proceedings of the Computer safety, reliability and security, 25th International Conference SAFECOMP 2006, Gorski, J., pp. 219-232  2006
[ Abstract ]

Towards a Bell-Curve Calculus and its Application to e-Science , Yang, L., Bundy, A., Berry, D., Hughes, C.
In Proceedings of the Workshop on Grid Performability Modelling and Measurement, pp. n/a  2006
[ Abstract ]

Towards a Bell-Curve Calculus for e-Science , Yang, L., Bundy, A., Berry, D., Hughes, C.
In Proceedings of the UK e-Science All Hands Meeting 2006, pp. 550-557  2006
[ Abstract ]

'How Do You Turn A Duck Into A Soul Singer? Put It In The Microwave Until Its Bill Withers': Some social features of a simple technology , Graham, C, Cheverst K, Fitton D, Rouncefield M.
In Proceedings of the Less Is More 2005, Microsoft Cambridge., 2005
pdf icon [ pdf ( 306 Kb ) ] [ Abstract ]

Some Notes on the Social Organization of Responsibility , Hughes, J., Martin, D., and Rouncefield, M.
In Proceedings of the The 5th Annaul DIRC Research Conference, Edinburgh, 2005., Mackie, j and Rouncefield,M., pp. 100-110  2005
pdf icon [ pdf ( 228 Kb ) ] [ Abstract ]

Patterns of Responsibility , Iszatt-White, M., Kelly, S., Martin, D and Rouncefield, M.
In Proceedings of the 5th Annual DIRC Research Conference, Edinburgh 2005., Mackie, J and Rouncefield, M., pp. 92-99  2005
pdf icon [ pdf ( 225 Kb ) ] [ Abstract ]

Automation bias and system design: A case study in a medical application , Alberdi, E., Ayton, P., Povyakalo, A.A., Strigini, L.
In Proceedings of the IEE People & Systems Symposium, pp. 53-60  2005
[ Abstract ]

Automation bias in medical decision making: A study of unreliable computer advice in breast cancer screening , Alberdi, E., Povyakalo, A.A., Strigini, L. and Ayton, P.
In Proceedings of the 27th Annual Meeting of the Society for Medical Decision Making (SMDM05), pp. n/a  2005
[ Abstract ]

How Democratic Will E-Democracy Be? , Anderson, S., Felici, M.
In Proceedings of the 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, 26-28 July 2005, Edinburgh, UK, pp. 499  2005
pdf icon [ pdf ( 41 Kb ) ] [ Abstract ]

Dynamic Coalitions: A position paper , Arief B., Bryans J.W., Fitzgerald J., Gamble C., Harrison M., Jefferson N., Jones C.B., Mozolevsky I., Peacock T., Ryan P.
In Proceedings of the The Fifth annual DIRC research conference, Mackie J., Rouncefield M., pp. 125-127  2005
pdf icon [ pdf ( 60 Kb ) ]

The Limits of Personas , Bagnall P, Dewsbury G and Sommerville I
In Proceedings of the Fifth Annual DIRC Conference, Mackie J & Rouncefield M (Eds), pp. 38-39  2005

Managing the Risks of Electronic Assistive Technology: Two complementary methods , Baxter G, Dewsbury G, Monk A and Sommerville I
In Proceedings of the Fifth Annual DIRC conference, Mackie J & Rouncefield M (Eds), pp. 4-7  2005

Trust and Incidental Interaction: Would You Let a Talking Paper Clip Run YOUR Home? , Baxter, G. and Dix, A. and Monk, A. and Schmidt, A. and Streitz, N.
In Proceedings of the INTERACT '05, F.Bueno, M.F. Constabile, F. Paterno and C. Santoro, pp. 73--74  2005

Structuring Dependable On-line Services: A Case Study Using Internet Grocery Shopping , Baxter, G., Arief, B., Smith, S. and Monk, A.
In Proceedings of the 5th Annual DIRC Research Conference, Mackie, J. and Rouncefield, M., pp. 114-118  2005
pdf icon [ pdf ( 48 Kb ) ] [ Abstract ]

Trust and Incidental Interaction: Would You Let a Talking Paper Clip Run YOUR Home? , Baxter, G., Dix, A., Monk, A., Schmidt, A., & Streitz, N.
In Proceedings of the INTERACT '05: Communicating Naturally through Computers (Adjunct Proceedings), Bueno, F., Constabile, M.F., Paterno, F. & Santoro, C., pp. 73-74  2005
[ Abstract ]

The effects of timing and collaboration on dependability in the neonatal intensive care unit , Baxter, G.D., Filipe, J.K., Miguel, A., & Tan, K.
In Proceedings of the Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium. Southampton, UK, 8-10 February, 2005, F. Redmill and T. Anderson, pp. 195-210  2005
[ Abstract ]

Opacity Generalised to Transition Systems , Bryans J.W., Koutny M., Ryan P.Y.A.
In Proceedings of the Formal Aspects of Security and Trust, 2005
pdf icon [ pdf ( 162 Kb ) ] [ Abstract ]

(Avoiding, describing and understanding) Interference , C B Jones
In Proceedings of the MFPS-XXI, pp. ??  2005
[ Abstract ]

'Dasein of the Times': Temporal Features of Dependability , Clarke, K., Hughes, J., Martin, D., Rouncefield, M., Voß, A., Procter, R., Slack, R and Hartswood, M.
In Proceedings of the The 5th Annual DIRC Research Conference, Edinburgh 2005, Mackie, J., Rouncefield, M, 2005
pdf icon [ pdf ( 239 Kb ) ] [ Abstract ]

What can we do (technically) to get `the right specification'? , Cliff B Jones
In Proceedings of the IFIP (TC2) VSTTE, 2005

Tackling partial functions in the formal development of programs , Cliff B Jones
In Proceedings of the AVoCS-05, 2005

Reasoning about the design of programs , Cliff B Jones
In Proceedings of the Royal Society meeting on, pp. 2395-2396  2005
pdf icon [ pdf ( 213 Kb ) ]

The case for research into obtaining the right specification , Cliff Jones
In Proceedings of the IEEE ICECCS, Shanghai, pp. ??  2005
[ Abstract ]

Determining the specification of systems involving humans , Cliff Jones
In Proceedings of the DSVIS-05, pp. ??  2005
[ Abstract ]

Technical challenges for verification in design , Cliff Jones
In Proceedings of the GC-6 Workshop at FM-05, pp. ??  2005
[ Abstract ]

Technical challenges for formal methods , Cliff Jones
In Proceedings of the MPI Kaiserslautern, pp. ??  2005
[ Abstract ]

Examining BPEL's Compensation Construct , Coleman, J.W.
In Proceedings of the Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Butler, M. and Jones, C. and Romanovsky, A. and Troubitsyna, E., pp. 122-128  2005

Examples of how to Determine the Specifications of Control Systems , Coleman, J.W. and Jones, C.B.
In Proceedings of the Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Butler, M. and Jones, C. and Romanovsky, A. and Troubitsyna, E., pp. 65-73  2005

Working with Text Logs: Some Early Experiences of Record and Reuse , Crabtree, A and Rouncefield, M.
In Proceedings of the First National e-Social Science Conference, Manchester, 2005, 2005
pdf icon [ pdf ( 251 Kb ) ] [ Abstract ]

Hierarchical Fixed Priority Pre-emptive Scheduling , Davis, R.I., Burns, A.
In Proceedings of the IEEE Real Time Systems Symposium (RTSS), Miami Florida, 5-8 December 2005, pp. 389-398  2005
pdf icon [ pdf ( 353 Kb ) ] [ Abstract ]

Complexities of Multi-organisational Error Management , Dobson,J.E., Lock,S., Martin,D.
In Proceedings of the 2nd Workshop on Complexity in Design and Engineering, Glasgow, March, Johnson,C., pp. 110-119  2005
pdf icon [ pdf ( 473 Kb ) ] [ Abstract ]

Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain , Felici, M.
In Proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005., Winther, R. , Gran, B. A., Dahll, G., pp. 208-221  2005
pdf icon [ pdf ( 384 Kb ) ] [ Abstract ]

Capturing Emerging Complex Interactions - Safety Analysis in ATM , Felici, M.
In Proceedings of the 2nd Workshop on Complexity in Design and Engineering, Department of Computer Science, University of Glasgow, Scotlad, Johnson, C., pp. 120-129  2005
pdf icon [ pdf ( 312 Kb ) ] [ Abstract ]

Using interaction style to match the ubiquitous user interface to the device-to-hand , Gilroy, S.W. and Harrison, M.D.
In Proceedings of the Engineering Human Computer Interaction and Interactive Systems: EHCI-DSVIS 2004, Bastide R., Palanque, P and Roth, J., pp. 325-345  2005
[ Abstract ]

Code Comprehension and MBTI Type (Fast Abstract) , Greathead, D.
In Proceedings of the Dependable Systems and Networks, pp. 50-51  2005
pdf icon [ pdf ( 40 Kb ) ] [ Abstract ]

TA Weinberg , Greathead, D., Arief, B., Coleman, J.
In Proceedings of the 5th annual DIRC Research Conference, Mackie, J., Rouncefield, M., pp. 25-29  2005
pdf icon [ pdf ( 59 Kb ) ] [ Abstract ]

Code Review and Personality: The Impact of MBTI Type (Fast Abstract) , Greathead, D., Devito Da Cunha, A.
In Proceedings of the Fifth European Dependable Computing Conference (EDCC-5), pp. 73-74  2005
pdf icon [ pdf ( 27 Kb ) ] [ Abstract ]

DIRC: An interdisciplinary attack on problems of dependability , Greathead, D., Jones, C.
In Proceedings of the Fifth European Dependable Computing Conference (EDCC-5), pp. 11-14  2005
pdf icon [ pdf ( 336 Kb ) ] [ Abstract ]

When to act? Managing time-accuracy trade-offs in a dynamic belief updating task , Hildebrandt, M., and Meyer, J
In Proceedings of the 49th Annual Meeting of the Human Factors and Ergonomics Society, 2005
pdf icon [ pdf ( 349 Kb ) ] [ Abstract ]

Reasoning about XACML policies using CSP , Jeremy Bryans
In Proceedings of the 2005 ACM Workshop of Secure Web Services, Ernesto Damiani and Hiroshi Maruyama, pp. 28-35  2005
pdf icon [ pdf ( 130 Kb ) ] [ Abstract ]

Strider: Configuration Modelling and Analysis of Complex Systems , Lock, S.
In Proceedings of the IEEE International Conference on Software Maintenance, 2005
pdf icon [ pdf ( 132 Kb ) ] [ Abstract ]

Analysing user confusion in context aware mobile applications , Loer, K. and Harrison, M.D.
In Proceedings of the Human-Computer Interaction - INTERACT 2005, Costabile, M.F. and Paterno, F., pp. 184-197  2005

Risks and Dependable Deployment , Mackie, J., Martin, D., Clarke, K. et al
In Proceedings of the 5th International DIRC Research Conference, Edinburgh, 15-17 March 2005, Mackie, J., Rouncefield, R., pp. 13-17  2005
pdf icon [ pdf ( 285 Kb ) ] [ Abstract ]

‘That’s How The Bastille Got Stormed’: Issues of Responsibility in User-Designer Relations , Martin, D. and Rouncefield,M.
In Proceedings of the The 5th Annual DIRC Research Conference, Edinburgh, 2005, Mackie, J and Rouncefield, M., 2005
pdf icon [ pdf ( 282 Kb ) ] [ Abstract ]

Timing In The Art Of Integration: 'That's how the Bastille got stormed' , Martin, D., Rouncefield, M., O'Neill, J., Hartswood, M. and Randall, D.
In Proceedings of the Group 2005, the ACM conference on Group work, pp. don't know yet  2005
pdf icon [ pdf ( 271 Kb ) ] [ Abstract ]

Protective Wrapping of Off-the-Shelf Components , Meulen, M.J.P van der, Riddle, S., Strigini, L. and Jefferson, N.
In Proceedings of the 4th International Conference on COTS-Based Software Systems (ICCBSS '05), Bilbao, Spain, Franch, X., Port, D., pp. 168-177  2005
[ Abstract ]

Exploration games with {UML} software design , Tenzer, J
In Proceedings of the 5th Annual DIRC Research Conference, DIRC'05, Rouncefield, M. and Mackie, J., pp. 178--179  2005

Redundancy and diversity in security , B. Littlewood, L. Strigini
In Proceedings of the ESORICS 2004, 9th European Symposium on Research in Computer Security, Sophia Antipolis, France, September, pp. 423-438  2004
[ Abstract ]

Easy for Everyone: Using Components to Offer Specialised Interfaces for Software , Bagnall, P. and Dewsbury, G. and Sommerville, I.
In Proceedings of the Heat: The Home And Electronic Assistive Technology Workshop, Baxter, G. and Dewsbury, G., pp. 33-36  2004

Cognitive mismatches in the cockpit. Will they ever be a thing of the past? , Baxter, G. and Besnard, D.
In Proceedings of the The Flightdeck of the Future: Human Factors in Datalink and Freeflight, University of Nottingham, UK, 6th October, 2004
pdf icon [ pdf ( 49 Kb ) ] [ Abstract ]

Standards and the dependability of electronic assistive technology , Baxter, G., Monk, A., Doughty K., Blythe, M., & Dewsbury G.
In Proceedings of the 2nd Cambridge Workshop on Universal Access and Assistive Technology (CWUAAT) (incorporating the 5th Cambridge Workshop on Rehabilitation Robotics), Keates, S., Clarkson, J., Langdon, P., and Robinson, P., pp. 247-255  2004
[ Abstract ]

An empirical exploration of the difficulty function , Bentley, J.G.W., Bishop, P.G. and van der Meulen, M.J.P.
In Proceedings of the Safecomp, Potsdam, Germany, Sep 2004, 2004

The impact of difficulty variation on the probability of coincident failure of diverse systems , Bishop, P., Bloomfield, R., Littlewood, B., Popov, P., Povyakalo, A., and Strigini, L.
In Proceedings of the INucE International Conference on Control and Instrumentation in Nuclear Installations, Liverpool, 2004, 2004

The future of goal-based assurance cases , Bishop, P.G. , Bloomfield, R.E., and Guerra, A.S.L.
In Proceedings of the Proceedings of Workshop on Assurance Cases. Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks, pp. 390-395  2004

Modelling Dynamic Opacity using Petri Nets with Silent Actions , Bryans J.W., Koutny M., Ryan P.Y.A.
In Proceedings of the Formal Aspects of Security and Trust, 2004
pdf icon [ pdf ( 201 Kb ) ]

Verifying user interface behaviour with model checking , Campos, J. , Harrison, M.D. and Loer, K.
In Proceedings of the 6th International Conference on Enterprise Information Systems, Augusto, J. C. and Ultes-Nitsche, U., pp. 87-96  2004
[ Abstract ]

'Smart Mobs' and Technology Probes: Evaluating Texting at Work , Cheverst, K., Fitton, D., Rouncefield, M. and Graham, C.
In Proceedings of the ECITE 2004, Amsterdam., 2004
pdf icon [ pdf ( 381 Kb ) ] [ Abstract ]

An Interdisciplinary Perspective of Dependability in Open Source Software , Gacek, C.
In Proceedings of the the 18th IFIP World Computing Congress (WCC 2004), pp. 685-692  2004
[ Abstract ]

Fault diversity among off-the- shelf SQL database servers , Gashi, I., Popov, P. and Strigini, L.
In Proceedings of the DSN 2004, International Conference on Dependable Systems and Networks, Florence, Italy, pp. 389-398,  2004
[ Abstract ]

Supporting informality: team working and integrated care records , Hardstone, G., Hartswood, M., Procter, R., Slack, R., Voss, A., Rees, G.
In Proceedings of the 2004 ACM conference on Computer supported cooperative work, pp. 142 - 151  2004
[ Abstract ]

PaintShop: A Microworld Experiment Investigating Temporal Decisions in a Supervisory Control Task , Hildebrandt, M. and Harrison, M.D.
In Proceedings of the 48th Annual Meeting of the Human Factors and Ergonomics Society, pp. 300-304  2004
pdf icon [ pdf ( 176 Kb ) ] [ Abstract ]

Time Design , Hildebrandt, M. and Rantanen, E.
In Proceedings of the 48th Annual Meeting of the Human Factors and Ergonomics Society, pp. 703-707  2004
pdf icon [ pdf ( 160 Kb ) ] [ Abstract ]

Time design , Hildebrandt, M., Dix, A. and Meyer, H.A
In Proceedings of the CHI 2004 Conference on Human Factors in Computing Systems, Dykstra-Erickson, E and Tscheligi, M, pp. 1737-1738  2004
pdf icon [ pdf ( 19 Kb ) ] [ Abstract ]

Time Design: Analysing Human Temporal Control Behaviour in Dynamic Real-Time Systems , Hildebrandt, M., Loer, K.F. and Harrison, M.
In Proceedings of the IEEE 2004 International Conference on Systems, Man and Cybernetics, pp. 879-885  2004
pdf icon [ pdf ( 220 Kb ) ] [ Abstract ]

Towards an inter-disciplinary analysis of an e-voting system , Jeremy W. Bryans and Peter Y. A. Ryan
In Proceedings of the Dependable Systems and Networks, pp. 233-234  2004
pdf icon [ pdf ( 45 Kb ) ]

Integrating Model Checking with the Industrial Design of Interactive Systems , Loer, K. and Harrison, M. D.
In Proceedings of the ICSE'04 Workshop, Kazmann, R. and Bass, L. and John, B., pp. 9-16  2004
pdf icon [ pdf ( 325 Kb ) ] [ Abstract ]

Analysing dynamic function scheduling decisions , Loer, K., Hildebrandt, M. and Harrison, M.D.
In Proceedings of the IFIP 13.5 Working Conference on Human Error, Safety and Systems Development, Johnson, C and Palanque, P., pp. 45-60  2004
pdf icon [ pdf ( 328 Kb ) ] [ Abstract ]

Implementing an EPR Project: Everyday Features and Practicalities of NHS Project Work , Martin, D., Mariani, J. and Rouncefield, M.
In Proceedings of the 9th International Symposium for Health Information Management Research (ISHIMR 2004), pp. 120-132  2004
pdf icon [ pdf ( 100 Kb ) ] [ Abstract ]

Evaluating 'Human + Advisory computer' system: A case study , Povyakalo, A.A., Alberdi, E., Strigini, L., Ayton, P.
In Proceedings of the 18th British HCI Group Annual Conference (HCI2004), pp. 93-96  2004
[ Abstract ]

Expressing Iterative Properties Logically in a Symbolic Setting , Shankland C., Bryans J., Morel L.
In Proceedings of the Algebraic Methodology and Software Technology 10th International Conference, Rattray C., Maharaj S., Shankland C., pp. 460-474  2004
pdf icon [ pdf ( 256 Kb ) ] [ Abstract ]

How explicit are the barriers to failure in safety arguments? , Smith, S.P., Harrison, M.D. and Schupp, B.A.
In Proceedings of the SafeComp 2004, Heisel, M., Liggesmeyer, P. and Wittmann, S., pp. 325-337  2004
pdf icon [ pdf ( 159 Kb ) ] [ Abstract ]

Exploration games for safety-critical system design with {UML 2.0} , Tenzer, J.
In Proceedings of the Proceedings of the 3rd International Workshop on Critical Systems Development with UML, CSDUML'04, pp. 41--55  2004

Improving {UML} design tools by formal games , Tenzer, J.
In Proceedings of the International Conference on Software Engineering, ICSE'04, pp. 75--77  2004

An exploration of software faults and failure behaviour in a large population of programs , van der Meulen, M.J.P., Bishop, P.G. and Revilla, M.
In Proceedings of the ISSRE 2004, Rennes, France, 2004, 2004

Does incorrect computer prompting affect human decision making? A case study in mammography , Alberdi, E., Povyakalo, A., Strigini, L. and Ayton, P.
In Proceedings of the Computer Assisted Radiology and Surgery (CARS 2003), London, June 25-28, 2003, H.U. Lemke, M.W. Vannier, K. Inamura, A.G. Farman, K. Doi and J.H.C. Reiber, pp. 938-943  2003
pdf icon [ pdf ( 136 Kb ) ] [ Abstract ]

Decision support or automation bias? A study of computer aided decision making in breast screening. , Alberdi, E., Povyakalo, A.A., Strigini, L. and Ayton, P.
In Proceedings of the 2003 Subjective Probability, Utility and Decision Making (SPUDM 2003), pp. n/a  2003
[ Abstract ]

Guaranteeing temporal validity with a real-time logic of knowledge , Anderson, S., and Küster-Filipe, J.
In Proceedings of the 1st International Workshop on Data Distribution for Real-Time Systems (DDRTS 2003), ICDCS 2003 Workshop, Providence, Rhode Island, USA, 18-19 May, pp. 178-183  2003
pdf icon [ pdf ( 101 Kb ) ] [ Abstract ]

Using a log-normal failure rate distribution for worst case bound reliability prediction , Bishop, P.G. and Bloomfield, R.E.
In Proceedings of the ISSRE 2003, Denver, Colorado, US, 2003

Integrity static analysis of COTS/SOUP , Bishop, P.G., Bloomfield, R.E., Clement, T.P., Guerra, A.S.L. and Jones, C.C.M.
In Proceedings of the SAFECOMP 2003, Edinburgh UK, 2003

Security and Trust in a Voter Verifiable E-Voting Scheme , Bryans J.W., Ryan P.Y.A.
In Proceedings of the Formal Aspects of Security and Trust, 2003
pdf icon [ pdf ( 209 Kb ) ]

Cultural Probes: Eliciting Requirements for Dependable Ubiquitous Computing in the Home , Cheverst K, Clarke K, Dewsbury G, Fitton D, Hughes J, Rouncefield M, Sommerville I
In Proceedings of the Universal Access in HCI: Inclusive Design in the Information Society (HCI International 2003), Stephanidis, C. (ed), pp. 329-333  2003

Designing Dependable Digital Domestic Environments , Clarke, K., Dewsbury, G., Hughes, J., Rouncefield, M. and Sommerville, I.
In Proceedings of the HOIT 2003, The Networked Home of the Future Conference, Irvine, California, 2003

How can design abstractions be used in testing? , Cliff Jones
In Proceedings of the SoftTest-2003, pp. ??  2003
[ Abstract ]

Growing Older Digitally , Dewsbury, G., Clarke, K., Rouncefield, M. and Somerville, I.
In Proceedings of the Include Conference, 2003, Helen Hamlyn Institute, London, March 2003, 2003
pdf icon [ pdf ( 65 Kb ) ] [ Abstract ]

Using Interaction Style to Develop User Interfaces for Multiple Devices , Gilroy, S.W. and Harrison, M.D.
In Proceedings of the HCI 2003, 2003

Determining the specification of a control system from that of its environment , Hayes, I. and Jackson, M. and Jones, C.
In Proceedings of the FME 2003: Formal Methods, Araki, K. and Gnesi, S. and Mandioli, D., pp. 154--169  2003
pdf icon [ pdf ( 80 Kb ) ]

Determining the specification of a control system from that of its environment , Hayes, I., Jackson, M. and Jones, C.
In Proceedings of the FME 2003: Formal Methods, K. Araki, S. Gnesi, and D. Mandrioli, pp. 154-169  2003
pdf icon [ pdf ( 80 Kb ) ] [ Abstract ]

Putting time (back) into Dynamic Function Allocation , Hildebrandt, M. & Harrison, M.D.
In Proceedings of the 47th Annual Meeting of the Human Factors and Ergonomics Society, 2003
pdf icon [ pdf ( 29 Kb ) ] [ Abstract ]

Dependable Red-Hot Action , Hughes, J. Martin, D., Rouncefield, M. Sommerville, I., Hartswood, M.,
In Proceedings of the 2003 European Conference on CSCW, 2003
pdf icon [ pdf ( 222 Kb ) ]

Structured Handling of On-Line Interface Upgrades in Integrating Dependable Systems of Systems , Jones, C. and Periorellis, P. and Romanovsky, A. and Welch, I.
In Proceedings of the FIDGI 2002, Guelfi, N. and Astesiano, E. and Reggio, G., pp. 73-86  2003

A Formal Basis for some Dependability Notions , Jones, C.B.
In Proceedings of the Formal Methods at the Crossroads: from Panacea to Foundational Support, Aichernig, B.K. and Maibaum, T., pp. 191-206  2003

Timed Knowledge-based Modelling and Analysis: On the Dependability of Socio-technical Systems , Küster-Filipe, J., Felici, M., and Anderson, S.
In Proceedings of the 8th International Conference on Human Aspects of Advanced Manufacturing: Agility and Hybrid Automation, Rome, Italy, 27-30 May, pp. 321-328  2003
pdf icon [ pdf ( 397 Kb ) ] [ Abstract ]

Model-Based Formal Analysis of Temporal Aspects in Human-Computer Interaction , Loer, K. and Harrison, M. D.
In Proceedings of the HCI2003 Workshop on the Temporal Aspects of Tasks, 2003
pdf icon [ pdf ( 243 Kb ) ] [ Abstract ]

Supporting the Development of Healthcare Systems Through Situation Modelling , Mackie, J., Lock, S.
In Proceedings of the 3rd International Conference on the Management of Healthcare and Medical Technology (HCTM), Warwick, September 2003, pp. 1-1  2003
[ Abstract ]

Text Chat In Action , O'Neill, J. and Martin, D.
In Proceedings of the Group 2003, ACM conference on Group Work, pp. 80-90  2003
pdf icon [ pdf ( 161 Kb ) ] [ Abstract ]

Reuse in Hazard Analysis: Identification and Support , Shamus P. Smith, Michael D. Harrison
In Proceedings of the Computer Safety, Reliability and Security (SAFECOMP 2003), Anderson, M. Felici, B. Littlewood, pp. 382-395  2003
pdf icon [ pdf ( 246 Kb ) ] [ Abstract ]

Human Machine Diversity in the Use of Computerised Advisory Systems: A Case Study , Strigini, L., Povyakalo, A. and Alberdi, E.
In Proceedings of the DSN 2003-IEEE International Conference on Dependable Systems and Networks, pp. 249--258  2003
[ Abstract ]

Modelling recursive calls with {UML} state diagrams , Tenzer, J. and Stevens, P.
In Proceedings of the Fundamental Approaches to Software Engineering, FASE '03, pp. 135--149  2003

Quantitative Aspects of Requirements Evolution , Anderson, S. and Felici, M.
In Proceedings of the 26th Annual International Conference on Computer Software and Applications Conference (COMPSAC 2002), pp. 27-32  2002
pdf icon [ pdf ( 457 Kb ) ]

Using rich pictures as a tool to facilitate the development and acceptance of an expert system in the Neonatal Unit , Baxter, G.D., Tan, K., Newell, S., Dear, P.R.F., & Monk, A.F.
In Proceedings of the Health Care Meets Medical Informatics and Innovation Conference (HCMMII02), pp. 36  2002

Lessons from industrial design for software engineering through constraints identification, solution space optimisation and reuse. , Besnard, D. and Lawrie, A.T.
In Proceedings of the ACM Symposium on Applied Computing (SAC 2002) ; Special Track on SAC 2002, Interdisciplinary Approaches to the Design of Dependable Computer-Based Systems, Madrid, Spain, March 10-13, pp. 732-738  2002
pdf icon [ pdf ( 684 Kb ) ] [ Abstract ]

Worst case reliability prediction based on a prior estimate of residual defects , Bishop, P.and Bloomfield, R.
In Proceedings of the ISSRE 2002, Annapolis, Maryland, USA, 2002, pp. 295-303  2002

Software criticality analysis of COTS/SOUP , Bishop, P.G., Bloomfield, R.E., Clement, T. and Guerra, A.S.L.
In Proceedings of the SAFECOMP 2002, Catania, Italy, 2002, pp. 198-211  2002

Notes towards an ethnography of domestic technology , Blythe, M. and Monk, A.F.
In Proceedings of the DIS 2002, Macdonald, N., Mackay, M. and Gaver, W. (Eds.), pp. 277-281  2002

Technology biographies: field study techniques for home use product development , Blythe, M., Monk, A. F. & Park, J.
In Proceedings of the Conference on Human Factors in Computing Systems (CHI 2002), Minneapolis, Minnesota, USA, 20 -25 April, Terveen, L. & Wixon, D. (eds), pp. 658-659  2002

When geography matters - location awareness and community care , Cheverst, K., Clarke, K., Dewsbury, G., Fitton, D., Hemmings, T. and Rouncefield, M.
In Proceedings of the Wireless World Conference: The Social Shaping of Mobile Futures, University of Surrey, UK, 17th and 18th July 2002, 2002
pdf icon [ pdf ( 393 Kb ) ]

Sore legs and naked torsos: using cultural probes in dependability research , Clarke, K., Dewsbury, G., Hughes, J., Rouncefield, M. and Sommerville, I.
In Proceedings of the DIRC November Workshop, November 2002 Royal Statistical Society, London, 2002
pdf icon [ pdf ( 355 Kb ) ]

Deconstructing and Rebuilding the Home for Life: Technology to Assist Older People in their Homes , Dewsbury, G. and Edge, M.
In Proceedings of the 4th International Aged Care Housing Summit, 7th November 2002, Melbourne, Australia, 2002

The Antisocial Model of Disability , Dewsbury, G., Clarke, K., Hemmings, T., Rouncefield, M. and Sommerville, I.
In Proceedings of the Nordic Network on Disability Research, The 6th Annual Research Conference, Reykjavik, Iceland, August 22-24, 2002, 2002

Appropriate home technology: depending on dependable technology systems , Dewsbury, G., Clarke, K., Rouncefield, M. and Sommerville, I.
In Proceedings of the Housing and Health Workshop, ENHR 2002, Vienna, Austria, 1 July - 5 July 2002, 2002

Designing appropriate assistive technology for home users: developing dependable networks , Dewsbury, G., Rouncefield, M., Clarke, K. and Sommerville, I.
In Proceedings of the Inclusive Design and Mobility Response in Indoor/Outdoor Public Buildings and Facilities, CIB Working Group W084 - Building Non-Handicapping Environments, Viale Marx, 43 - 00137 Roma, Italy, 21st and 22nd October 2002, 2002
pdf icon [ pdf ( 473 Kb ) ]

Inter disciplinary approaches to the design of dependable computer systems: Editorial message: special track on inter-disciplinary approaches to the design of dependable computer systems , Dobson, J.E., Jones, C., Procter, R., Rouncefield, M. and Williams, R.
In Proceedings of the 2002 ACM symposium on Applied computing, pp. 704 - 705  2002
pdf icon [ pdf ( 159 Kb ) ]

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 ]

Interdisciplinary Insights on Open Source , Gacek, C., Lawrie, T. and Arief, L.B.
In Proceedings of the Open Source Software Development Workshop, University of Newcastle upon Tyne, February 2002, pp. 68-82  2002
pdf icon [ pdf ( 67 Kb ) ] [ Abstract ]

Automating Functions in Multi-Agent Control Systems: Supporting the Decision Process , Harrison, M. and Johnson, P. and Wright, P.
In Proceedings of the Tenth Safety-Critical System Symposium, Redmill, F. and Anderson, T., pp. 93-106  2002

Probing the Probes , Hemmings, T., Crabtree, A., Rodden, T., Clarke, K. and Rouncefield, M.
In Proceedings of the Participatory Design Conference (PDC 2002), Malmo, Sweden, 23-25 June, 2002

Probing the Probes: domestic probes and the design process , Hemmings, T., Crabtree, A., Rodden, T., Clarke, K. and Rouncefield, M.
In Proceedings of the ECCE 11 Cognition, Culture and Design, Catania, 2002, 8-11 September, 2002

Time-related trade-offs in Dynamic Function Scheduling , Hildebrandt, M. & Harrison, M.
In Proceedings of the 21st European Annual Conference on Human Decision Making and Control, Glasgow, United Kingdom, July 15th-16th, Johnson, C. (ed), pp. 89-95  2002
pdf icon [ pdf ( 40 Kb ) ] [ Abstract ]

The temporal dimension of Dynamic Function Allocation , Hildebrandt, M. & Harrison, M.
In Proceedings of the 11th European Conference on Cognitive Ergonomics, Bagnara, S., Pozzi, S., Rizzo, A. and Wright, P., pp. 283-291  2002
pdf icon [ pdf ( 61 Kb ) ] [ Abstract ]

A Structured Approach to Handling On-Line Interface Upgrades , Jones, C. and Romanovsky, A. and Welch, I.
In Proceedings of the COMPSAC~2002, pp. 1000-1005  2002

Goal-Diversity in the Design of Dependable Computer-Based Systems , Lawrie, A. T. and Jones, C. B.
In Proceedings of the Proceedings of the Open Source Software Development Workshop, 2002

Goal diversity in the design of dependable computer-based systems , Lawrie, A.T. and Jones, C.B.
In Proceedings of the Open Source Software Development Workshop, University of Newcastle upon Tyne, February 2002, pp. 137-162  2002
pdf icon [ pdf ( 124 Kb ) ] [ Abstract ]

Situation Modelling Ethnography and Design , Mackie, J., Sommerville, I.
In Proceedings of the DIRC/AMASE workshop, April 2002, Lancaster, pp. 1-1  2002
pdf icon [ pdf ( 44 Kb ) ] [ Abstract ]

Practically Accomplishing Participation , Martin, D. and O'Neill, J.
In Proceedings of the XV World Congress of Sociology, Brisbane, Australia, July 2002, 2002
pdf icon [ pdf ( 318 Kb ) ]

Applying patterns of interaction to work (re)design: e-government and planning , Martin, D., Rouncefield, M. and Sommerville, I
In Proceedings of the CHI'2002, pp. 235-42  2002
pdf icon [ pdf ( 80 Kb ) ]

Towards Time Design: Pacing of hypertext navigation by system response times. , Meyer, H.A. and Hildebrandt, M.
In Proceedings of the CHI 2002 Conference on Human Factors in Computing Systems, Terveen, L. and Wixon, D., pp. 824-825  2002
pdf icon [ pdf ( 23 Kb ) ] [ Abstract ]

Fun, communication and dependability: extending the concept of usability , Monk, A. F.
In Proceedings of the 16th British HCI Group Annual Conference, London, United Kingdom, 2-6 September, Faulkner, X., Finlay. J. & Detienne, F. (eds), pp. 3-14  2002

Augmenting descriptive scenario analysis for improvements in human reliability design , Smith, S.P. and Harrison, M.D.
In Proceedings of the Applied Computing 2002: ACM Symposium on Applied Computing (SAC 2002), Madrid, Spain, 11-14 March, 2002, pp. 739-743  2002
pdf icon [ pdf ( 112 Kb ) ] [ Abstract ]

Blending Descriptive and Numeric Analysis in Human Reliability Design , Smith, S.P. and Harrison, M.D.
In Proceedings of the 9th International Workshop on Interactive Systems: Design, Specification, and Verification (DSV-IS 2002), Forbrig, P., Urban, B., Vanderdonckt, J. and Limbourg, Q. (eds.), pp. 223-237  2002
pdf icon [ pdf ( 188 Kb ) ] [ Abstract ]

Improving Hazard Classification Through the Reuse of Descriptive Arguments , Smith, S.P. and Harrison, M.D.
In Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools (ICSR-7), Gacek, C. (ed), pp. 255-268  2002
pdf icon [ pdf ( 257 Kb ) ] [ Abstract ]

Requirements Evolution: From Process to Product Oriented Management Requirements Evolution: From Process to Product Oriented Management , Anderson, S. and Felici, M.
In Proceedings of the 3rd International Conference on Product Focused Software Process Improvement, Kaiserslautern, Germany, September 10-13, pp. 27-41  2001
pdf icon [ pdf ( 82 Kb ) ] [ Abstract ]

Attacks in IT systems. A human-factors centred approach , Besnard, D
In Proceedings of the International Conference on Dependable Systems and Networks (DSN-2001): Supplement, Göteborg, Sweden, , June 30th - July 4th, 2001
pdf icon [ pdf ( 18 Kb ) ] [ Abstract ]

Design with Care , Cheverst, K., Cobb, S., Hemmings, T., Kember, S., Mitchell, K., Phillips, P., Procter, R.N., Rodden, T., Rouncefield, M.
In Proceedings of the Environmental Design Research Association (EDRA 32/2001), Edinburgh, United Kingdom, July 2001, Edge, H.M. (ed), 2001

Design For Digital Care , Cheverst, K., Friday, A., Philips, P. and Rouncefield, M.
In Proceedings of the 1st Equator Workshop on Ubiquitous Computing in Domestic Environments Nottingham, September 13-14 2001, Crabtree, A., Hemmings, T. and Rouncefield, M. (eds.), 2001

Information Technology and Managerial Work in a Hospital Trust , Clarke, K.M., Hartswood, M., Procter, R.N., Rouncefield, M
In Proceedings of the FoNS/British Computer Society Nursing Specialist Group, United Kingdom, 13th February, 2001

The Social And Psychological Aspects Of Smart Home Technology Within The Care Sector , Dewsbury, G.
In Proceedings of the EDRA (Environmental Design Research Association) Conference, Adding The User Into The Design Of The Home In The Digital Age Symposium, July 2001, Edinburgh, 2001

Designing Safe Smart Home Systems For Vulnerable People , Dewsbury, G. and Edge, M.
In Proceedings of the Dependability and Healthcare Informatics Workshop, Edinburgh, March 2001, 2001

The Process Of Designing Appropriate Smart Homes: Including The User In The Design , Dewsbury, G., Taylor, B. and Edge, M.
In Proceedings of the Workshop on Ubiquitous Computing in Domestic Environments, Nottingham University, 13-14th September 2001, 2001

Designing residential spaces for people with disabilities: a thinkpiece , Dewsbury, G., Taylor, B. and Webster, R.
In Proceedings of the International Council for Research and Innovation in Building and Construction Working Group W084 conference "Designing for Inclusivity", The University of Salford, October 2nd & 3rd 2001, 2001

Implementing Configurable Information Systems: A Combined Social Science and Cognitive Science Approach , Gurr, C and Hardstone, G.
In Proceedings of the 4th International conference on Cognitive Technology (CT'2001), LNAI 2117, Berlin, Germany, pp. 391-404  2001
[ Abstract ]

Implementing Configurable Information Systems: A Combined Social Science and Cognitive Science Approach , Gurr, C. and Hardstone,G.
In Proceedings of the DIRC Workshop on Dependability in Healthcare Informatics, Edinburgh, United Kingdom, March, 2001
pdf icon [ pdf ( 195 Kb ) ] [ Abstract ]

Safety in Numbers: Calculation and Document Re-Use in Knowledge Work , Harper, R., Procter, R., Randall, D. and Rouncefield, M
In Proceedings of the ACM SIGGROUP Conference on Supporting Group Work, Boulder, Colorado, USA, September 30 - 3 October 2001, pp. 242-251  2001
pdf icon [ pdf ( 863 Kb ) ] [ Abstract ]

Finding Patterns in the Fieldwork , Martin, D., Rodden,T., Rouncefield,M., Sommerville, I. and Viller,S.
In Proceedings of the ECSCW 2001, 18 - 20 September, Bonn, Germany,, pp. 39-58  2001
pdf icon [ pdf ( 515 Kb ) ]

THEA: A technique for human error assessment early in design , Pocock, S. and Harrison, M.D. and Wright, P. and Johnson, P.D.
In Proceedings of the Human-Computer Interaction {INTERACT'01} {IFIP} {TC}.13 International Conference on human computer interaction, M. Hirose, pp. 247-254  2001

Software Architectures and Open Source Software; Where can Research Leverage the Most? , Arief,B., Gacek, C., and Lawrie,A.T.
In Proceedings of the 1st Workshop on Open Source Software Engineering : Making Sense of the Bazaar (part of the 23rd IEEE International Conference on Software Engineering (ICSE 2001)) Toronto, Canada, 15th May, Feller, J., Fitzgerald, B. and van der Hoek, A. (eds.), pp. 3-5  2000
pdf icon [ pdf ( 27 Kb ) ] [ Abstract ]

Expert error: The case of trouble-shooting in electronics , Besnard, D.
In Proceedings of the Computer Safety, Reliability and Security. 19th International Conference (SAFECOMP 2000), Rotterdam, The Netherlands, 24-27 October, Koornneef, F. and Meulen, M. van der, pp. 74-85  2000
pdf icon [ pdf ( 77 Kb ) ] [ Abstract ]

Promises, Premises and Risks: Sharing Responsibilities, Working Up Trust and Sustaining Commitment in Participatory Design Projects , Buscher, M., Hartswood, M., Mogensen, P., Procter, R, Shapiro, D., Slack, R. and Voss, A.
In Proceedings of the Participatory Design Conference (PDC 2002), Malmo, Sweden, 23-25 June, Binder, T., Gregory, J., Wagner, I. (eds), pp. 183-192  2000

The Electronic Medical Record and Everyday Medical Work , Clarke, K.M., Hartswood, M., Procter, R.N. and Rouncefield, M
In Proceedings of the 6th International Symposium on Health Information Management Research (iSHIMR2001), Halkidiki, Greece, 24-26 May, pp. 279-283  2000

NHS Managers Closely Observed: Some Features of New Technology and Everyday Managerial Work , Clarke, K.M., Hartswood, M., Procter, R.N., Rouncefield, M.
In Proceedings of the Environmental Design Research Association (EDRA 32/2001), Edinburgh, United Kingdom, July, 2000

Minus nine beds: Some Practical Problems of Integrating and Interpreting Information Technology in a Hospital Trust , Clarke, K.M., Hartswood, M., Procter, R.N., Rouncefield, M., Slack, R
In Proceedings of the HC 2002 Conference: Current Perspectives in Healthcare Computing, Harrogate, United Kingdom, 18-20 March, pp. 205-211  2000

Designing the Home to meet the Needs of Tomorrow ... Today, Deconstructing and rebuilding the home for life , Dewsbury, G. and Edge , M.
In Proceedings of the ENHR 2000, Gävle, Sweden, 26-30 June, 2000

Order in the Machine: Evaluating Computer Aided Detection Tools in Mammography , Hartswood, M., Procter, R., Rouncefield, M and Slack, R
In Proceedings of the 21st European Annual Conference on Human Decision Making and Control, Glasgow, United Kingdom, July 15th-16th, Johnson, C. (ed), 2000

Accomplishing ‘Just-in-Time’ Production , Hartswood, M., Procter, R., Rouncefield, M, Slack, R., Voss, A. and Williams, R.
In Proceedings of the 21st European Annual Conference on Human Decision Making and Control, Glasgow, United Kingdom, July 15th-16th, Johnson, C. (ed), 2000

Being There and Doing IT in the Workplace: A Case Study of a Co-Development Approach in Healthcare , Hartswood, M., Procter, R., Rouncefield, M. and Sharpe, M
In Proceedings of the CPSR/IFIP WG 9.1 Participatory Design Conference,New York, USA, November 28th-December 1st, Cherkasky, T., Greenbaum, J. and Mambery, P. (eds), pp. 96-105  2000

Dependability of Computer-Based Systems , Jones, C. B.
In Proceedings of the XIV Simposia Brasiliero de Engenharia de Software, pp. 16-20  2000

Thinking tools for the future of computing science , Jones, C.B.
In Proceedings of the In Informatics-10 Years Back, 10 Years Forward, Reinhard, W., pp. 112-130  2000

Software reliability and dependability: a roadmap , Littlewood, B., and Strigini, L.
In Proceedings of the 22nd International Conference on Software Engineering, Limerick, Ireland, June, Finkelstein, A. (ed), pp. 177-188  2000
pdf icon [ pdf ( 64 Kb ) ] [ Abstract ]

Failures of healthcare systems , Mackie, J. and Sommerville, I.
In Proceedings of the First Dependability IRC Workshop, Edinburgh, United Kingdom, March 22-23, 2000
pdf icon [ pdf ( 69 Kb ) ] [ Abstract ]

Web Behaviour Patterns: Applying Patterns of Cooperative Interaction To Work (Re)Design: E-Government and Planning , Martin, D., Rouncefield, M. and Sommerville, I
In Proceedings of the Conference on Human Factors in Computing Science (CHI 2002), Minneapolis, Minnesota, USA, 20 -25 April, 2000
pdf icon [ pdf ( 423 Kb ) ] [ Abstract ]

User-centred design: the home use challenge , Monk, A.F.
In Proceedings of the Home informatics and telematics: information technology and society (HOIC 2000), Wolverhampton, United Kingdom, June, Sloane, A. and van Rijn, F. (eds), pp. 181-190  2000

The electronic medical record and healthcare integration: some observations of inter-organisational working , Procter, R.N., Clarke, K.M., M. J. Hartswood, M., Rouncefield, M and Slack, R
In Proceedings of the HC 2002 Conference: Current Perspectives in Healthcare Computing, Harrogate, United Kingdom, 18-20 March, pp. 219-225  2000

Innovation in Use: Interleaving day-to-day operation and systems development , Voss, A. Procter, R. and Williams, R
In Proceedings of the CPSR/IFIP WG 9.1 Participatory Design Conference,New York, USA, November 28th-December 1st, Cherkasky, T., Greenbaum, J. and Mambery, P. (eds), pp. 192-201  2000

Production Management as Ordinary Action: An Investigation of Situated, Resourceful Action in Production Planning and Control , Voss, A., Procter, R., Slack, R., Hartswood, M., Williams, R. and Rouncefield, M
In Proceedings of the 20th UK Planning and Scheduling (SIG) Workshop, Edinburgh, United Kingdom, December 13th-14th, Levine, J. (ed), pp. 230-243  2000

Dependability as ordinary action , Voss, A., Slack, R., Procter,. P., Williams, R., Hartswood, M., Rouncefield, M.
In Proceedings of the 21st International Conference on Computer Safety, Reliability and Security, Catania, Italy, 10-13 September, Anderson, S. and Felici, M. (eds), 2000

 
Webmaster Credits      Project Members Only Last Modified  11 August, 2005