ACHIEVEMENT AND ASSURANCE OF SAFETY
|
|
- Philippa Osborne
- 5 years ago
- Views:
Transcription
1 ACHIEVEMENT AND ASSURANCE OF SAFETY
2 Related titles: Directions in Safety-critical Systems Proceedings of the First Safety-critical Systems Symposium, Bristol 1993 Redmill and Anderson (eds) Technology and Assessment of Safety-critical Systems Proceedings of the Second Safety-critical Systems Symposium, Birmingham 1994 Redmill and Anderson (eds) SAFECOMP '93 Proceedings of the 12th International Conference on Computer Safety, Reliability and Security, Poznan-Kiekrz, Poland 1993 G6rski (ed.)
3 ACHIEVEMENT AND ASSURANCE OF SAFETY Proceedings of the Third Safety-critical Systems Symposium Brighton, UK 7-9 February 1995 Edited by FELIX REDMILL and TOM ANDERSON Springer London Berlin Heidelberg New York Paris Tokyo Hong Kong Barcelona Budapest
4 Felix Redmill Redmill Consultancy 22 Onslow Gardens London NIO 3JU, UK Tom Anderson Centre for Software Reliability University of Newcastle-upon-Tyne Newcastle-upon-Tyne NEI 7RU, UK ISBN-13: e-isbn-13: : / British Ubrary Cataloguing in Publication Data A catalogue record for this book is available from the British Ubrary Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form or by ay means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms of licences issued by the Copyright Ucensing Agency. Enquiries concerning reproduction outside those terms should be sent to the publishers. Springer-Verlag London Limited 1995 The use of registered names, trademarks etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant laws and regulations and therefore free for general use. The publisher makes no representation, express or implied, with regard to the accuracy of the information contained in this book and cannot accept any legal responsibility or liability for any errors or omissions that may be made. Typesetting: Camera ready by authors Printed on acid-free paper
5 PREFACE Each year there are improvements in safety-critical system technology. These arise both from developments in the contributing technologies, such as safety engineering, software engineering, human factors and risk assessment, and from the adoption or adaptation of appropriate techniques from other domains, such as security. For these improvements to be of real benefit, they need to be applied during the appropriate stage in the life cycle of the system, whether it be development, assessment, or operation. For this to occur, they must be communicated and explained. Each year the Safety-critical Systems Symposium offers a distinguished forum for the presentation of papers on such developments, and also for papers from industry on the lessons learned from the use of technologies and methods. The results of many collaborative research projects, with components from both industry and academia, are reported in a universally understandable form. In 1995 the Symposium was held in Brighton, a venue calculated to stimulate not just the presenters of papers, but all the delegates. Yet, this book of Proceedings is intended not only for the delegates but also for readers not able to attend the event itself. We welcome both categories of reader. Delegates have the benefit of attending the presentations and the opportunity to participate in the discussions; those who take up this book after the event can peruse it attheir leisure and, perhaps, on account of it will resolve to attend subsequent symposia. We hope that all who read it will find the chapters both readily comprehensible and informative - they have been commissioned to provide a broad view of what is occurring in the field of safety-critical systems. The opening chapter offers a view of the work of the Health and Safety Executive - a body which, through its standards, guidelines and other publications, has been influential in the safety-critical domain, both in the UK and internationally. Thereafter, the volume covers a wide range of topics, culminating with chapters on the applications of new technologies in the field of safety-critical systems. Exploration of the common ground between safety and security, and the lessons which the safety-critical systems field can learn from proven security technology (and vice-versa!) is overdue. It is therefore gratifying to have two chapters which report on work in this area. Chapters on verification and validation provide insights into good practice in Germany and new practice in the UK. The growing awareness of the importance of risk analysis, hazard identification, and safety assessment is reflected and, we hope, will be stimulated, by chapters on these topics. Then there are chapters on Prograrnmable Logic Controllers, and the use of languages in safety-critical software
6 development. Finally, new technologies are represented by chapters on neural networks, artificial intelligence, formal methods and robotics. Several of the chapters report on the goals and results of collaborative projects and, thus, on technologies which are being prepared for use in the immediate future. Contriving the receipt of all papers in time for publication is never an easy task, and we would like to thank the authors for their part in making this Proceedings a full record of the Symposium. For considerable effort and dedication in organising the event, special appreciation goes to Joan Atkinson. Felix Redmill and Tom Anderson October 1994.
7 Contents The Safety-critical Systems Club... v Achieving Safety in Complex Control Systems Adrian Ellis... 1 Measuring the Benefits of Transport Safety Mike Jones-Lee and G Loomes Programming Languages and Safety-Related Systems Les Hatton On the Qualification of Safety-Critical Structures - the SAFESA Approach. Nigel Knowles and John Maguire FRESCO - An Investigation into a Framework for the Assessment of Safety-Critical Systems John Hunt, P Lucas and Guy Wingate Independent Safety Assessment of Rail Systems in their Operational Environment Morris Chudleigh and James Catmur Enhancing Safety Assurance Using Security Concepts John Elliott, Andy Lovering and Chris Gerrard Extending a Security Evaluation Standard (the ITSEC) to Dependability Alan Hawes A Framework for Enhancing the Safety Process for Advanced Robot Applications John Elliott, Steve Brooks, Peter Hughes and Nick Kanuritch Safe Systems for Mobile Robots - The Safe-SAM Project Derek Seward, Frank Margrave, Ian Sommerville and Gerald Kotonya 153 Nuclear Electric's Contributions to the CONTESSE Testing Framework and its Early Application Gordon Hughes, Deryk Pavey, John May, Pat Hall, Hong Zhu and Dan Lunn
8 Current Practice in Verification, Validation and Licensing of Safety Critical Systems - The Assessor's Point of View Gunter GWe and Gerhard Rabe A Code of Practice for the Development of Safe PLC Software Stephen Clarke, Gerald Moran, Peter Faulkner, David Hedley, Des Maisey and Stuart Pegler Using Incident Analysis to Derive a Methodology for Assessing Safety in Programmable Systems Eamon Broomfield and Paul Chung Process Systems Applications of Artificial Neural Networks Gary Montague, Julian Morris and Paul Turner A Knowledge-based Approach to the Safe Design of Distributed Networks Khurshid Ahmad Where do Specifications Come From? Derek Partridge Formalising Fault Trees Janusz Gorski and Andrzej Wardzinski Author Index
Developments in Risk-based Approaches to Safety.,,,, i
Developments in Risk-based Approaches to Safety,,,, i Related titles: Towards System Safety Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK, 1999 1-85233-064-3 Lessons in System
More informationSafety-Critical Systems: Problems, Process and Practice
Safety-Critical Systems: Problems, Process and Practice Related titles: Towards System Safety Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK, 1999 1-85233-064-3 Lessons in
More informationTesting Safety-Related Software
Testing Safety-Related Software Springer London Berlin Heidelberg New York Barcelona Hong Kong Milan Paris Santa Clara Singapore Tokyo Stewart Gardiner (Ed.) Testing Safety-Related Software A Practical
More informationInside the Smart Home
Inside the Smart Home i Springer London Berlin Heidelberg New York Hong Kong Milan Paris Tokyo ii Richard Harper (Ed.) Inside the Smart Home iii Richard Harper, PhD The Appliance Studio, University Gate
More informationAutoCAD for Windows Express
AutoCAD for Windows Express Tim McCarthy AutoCAD for Windows Express With 195 Figures Springer-Verlag London Berlin Heidelberg New York Paris Tokyo Hong Kong Barcelona Budapest Timothy J. McCarthy, PhD
More informationLecture Notes in Control and Information Sciences 198. Editor: M. Thoma
Lecture Notes in Control and Information Sciences 198 Editor: M. Thoma H. Winter and H.-G. Nfif~er (Eds.) Advanced Technologies for Air Traffic Flow Management Proceedings of an International Seminar Organized
More informationIntelligent knowledge based systems in electrical power engineering
Intelligent knowledge based systems in electrical power engineering JOIN US ON THE INTERNET VIA WWW, GOPHER, FTP OR EMAIL: WWW: http://www.thomson.com GOPHER: gopher.thomson.com A ^ ^ FTP: ftp.thomson.com
More informationInnovations and the Environment
Innovations and the Environment Yoram Krozer Innovations and the Environment 123 Yoram Krozer, PhD Cartesius Institute Institute for Sustainable Innovations of the Netherlands Technical Universities Zuidergrachtswal
More informationManufacturing Challenges in Electronic Packaging
Manufacturing Challenges in Electronic Packaging Manufacturing Challenges in Electronic Packaging Y.C. Lee University of Colorado, Boulder, CO, USA and WT. Chen formerly a Senior Technical Staff Member,
More informationSoftware Engineering for Manufacturing Systems
Software Engineering for Manufacturing Systems IFIP - The International Federation for Information Processing IFIP was founded in 1960 under the auspices of UNESCO, following the First World Computer Congress
More informationAdvanced Information and Knowledge Processing
Advanced Information and Knowledge Processing Series Editors Professor Lakhmi Jain Lakhmi.jain@unisa.edu.au Professor Xindong Wu xwu@cems.uvm.edu For further volumes: http://www.springer.com/series/4738
More informationIntelligent Control Systems with LabVIEW
Intelligent Control Systems with LabVIEW Pedro Ponce-Cruz Fernando D. Ramírez-Figueroa Intelligent Control Systems with LabVIEW 123 Pedro Ponce-Cruz, Dr.-Ing. Fernando D. Ramírez-Figueroa, Research Assistant
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 772 Advisory Board: W. Brauer D. Giles J. Stoer Brian C. Warboys (Ed.) Software Process Technology Third European Workshop, EWSPT '94
More informationPower Electronics Semiconductor Switches
Power Electronics Semiconductor Switches Power Electronics Semiconductor Switches R.S. Ramshaw Department of Electrical and Computer Engineering University of Waterloo Ontario Canada SPRINGER-SCIENCE+BUSINESS
More informationDesign of Logic Systems
Design of Logic Systems Design of Logic Systems Second edition D. Lewin Formerly Professor of Computer Science and Information Engineering, University of Sheffield D. Protheroe Lecturer in Electronic Engineering,
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1143 Advisory Board: W. Brauer D. Gries J. Stoer Terence C. Fogarty (Ed.) Evolutionary Computing AISB Workshop Brighton,
More informationMODERN DAIRY TECHNOLOGY
MODERN DAIRY TECHNOLOGY Volume 1 Advances in Milk Processing Second Edition MODERN DAIRY TECHNOLOGY Volume 1 Advances in Milk Processing Second Edition Edited by R. K. Robinson Department of Food Science
More informationLecture Notes in Control and Information Sciences 188. Editors: M. Thoma and W. Wyner
Lecture Notes in Control and Information Sciences 188 Editors: M. Thoma and W. Wyner D. Subbaram Naidu Aeroassisted Orbital Transfer Guidance and Control Strategies Springer-Verlag London Berlin Heidelberg
More informationSpringer-Vedag London Ltd.
AutoCAD Express NT Springer-Vedag London Ltd. Timothy McCarthy AutoCAD Express NT Covering Release 14, Springer Dr Timothy McCarthy Department of Civil and Structural Engineering UMIST P.O. Box 88 Manchester
More informationJan de Witt s Elementa Curvarum Linearum Liber Secundus
Jan de Witt s Elementa Curvarum Linearum Liber Secundus For other titles published in this series, go to http://www.springer.com/series/4142 Sources and Studies in the History of Mathematics and Physical
More informationSergey Ablameyko and Tony Pridmore. Machine Interpretation of Line Drawing Images. Technical Drawings, Maps and Diagrams.
Sergey Ablameyko and Tony Pridmore Machine Interpretation of Line Drawing Images Technical Drawings, Maps and Diagrams i Springer Sergey Ablameyko, PhD, DSc, Prof, FlEE, FIAPR, SMIEEE Institute of Engineering
More informationDesign for Innovative Value Towards a Sustainable Society
Design for Innovative Value Towards a Sustainable Society Mitsutaka Matsumoto Yasushi Umeda Keijiro Masui Shinichi Fukushige Editors Design for Innovative Value Towards a Sustainable Society Proceedings
More informationLecture Notes in Control and Information Sciences 233. Editor: M. Thoma
Lecture Notes in Control and Information Sciences 233 Editor: M. Thoma Pasquale Chiacchio and Stefano Chiaverini (Eds) Complex Robotic Systems ~ Springer Series Advisory Board A. Bensoussan M.J. Grimble
More informationLecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1528 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Bart Preneel Vincent Rijmen
More informationHealth Information Technology Standards. Series Editor: Tim Benson
Health Information Technology Standards Series Editor: Tim Benson Tim Benson Principles of Health Interoperability HL7 and SNOMED Second Edition Tim Benson Abies Ltd Hermitage, Thatcham Berkshire UK ISBN
More informationApplied Computing. Springer-Verlag London Ltd.
Applied Computing Springer-Verlag London Ltd. The Springer-Verlag Series on Applied Computing is an advanced series of innovative textbooks that span the full range oftopics in applied computing technology.
More informationSpringer Series in Reliability Engineering
Springer Series in Reliability Engineering Series Editor Professor Hoang Pham Department of Industrial Engineering Rutgers The State University of New Jersey 96 Frelinghuysen Road Piscataway, NJ 08854-8018
More informationCost Analysis and Estimating
Roland Kankey Editors Jane Robbins Cost Analysis and Estimating Shifting U.S. Priorities With 34 Figures Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong Barcelona Roland Kankey
More informationHierarchy Process. The Analytic. Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) Applications and Studies
Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) The Analytic Hierarchy Process Applications and Studies With Contributions by 1. M. Alexander, W D. Daniel Jr., 1. G. Dolan, L. P. Fatti, B. L.
More informationRecreational Land Management
Recreational Land Management This page intentionally left blank Recreational Land Management Second edition W. Seabrooke Professor of Land Economy Department of Land and Construction Management University
More informationCOOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, May 2016, Trento, Italy
Antonella De Angeli Liam Bannon Patrizia Marti Silvia Bordin Editors COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy COOP
More informationLecture Notes in Computer Science. Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1487 Volker Gruhn (Ed.) Software Process Technology 6th European Workshop, EWSPT '98 Weybridge, UK, September 16-18,
More informationLecture Notes in Artificial Intelligence. Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence 897 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and
More informationLecture Notes in Control and Information Sciences 283. Editors: M. Thoma M. Morari
Lecture Notes in Control and Information Sciences 283 Editors: M. Thoma M. Morari Springer Berlin Heidelberg NewYork Barcelona Hong Kong London Milan Paris Tokyo Christopher Fielding, Andras Varga, Samir
More informationArchitectures for Enterprise Integration
Architectures for Enterprise Integration Architectures for Enterprise Integration Edited by Peter Bernus Griffith University Queensland Australia Laszlo Nemes CS/RO Victoria Australia and Theodore.J. Williams
More informationEnacting Research Methods in Information Systems: Volume 2
Enacting Research Methods in Information Systems: Volume 2 This page intentionally left blank Enacting Research Methods in Information Systems: Volume 2 Edited by Leslie P. Willcocks London School of Economics
More informationThe Colours of Infinity. The Beauty and Power of Fractals
The Colours of Infinity The Beauty and Power of Fractals The Colours of Infinity The Beauty and Power of Fractals With contributions by Ian Stewart, Sir Arthur C. Clarke, Benoît Mandelbrot, Michael and
More informationDEVELOPMENT OF SAFETY PRINCIPLES FOR IN- VEHICLE INFORMATION AND COMMUNICATION SYSTEMS
DEVELOPMENT OF SAFETY PRINCIPLES FOR IN- VEHICLE INFORMATION AND COMMUNICATION SYSTEMS Alan Stevens Transport Research Laboratory, Old Wokingham Road, Crowthorne Berkshire RG45 6AU (UK) +44 (0)1344 770945,
More informationComputer Automation in Manufacturing
Computer Automation in Manufacturing Computer Automation in Manufacturing An introduction Thomas O. Boucher Department of Industrial Engineering Rutgers University Piscataway NJ USA SPRINGER-SCIENCE+BUSINESS
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1007 Advisory Board: W. Brauer D. Gries J. Stoer Antoon Bosselaers Bart Preneel (Eds.) Integrity Primitives for Secure
More informationThe Future of Design Methodology
The Future of Design Methodology Editor The Future of Design Methodology 123 Editor Prof. Dr. h.c. Dr.-Ing. Chair of Product Development and Machine Elements TU Darmstadt Magdalenenstraße 4 64289 Darmstadt
More informationCognitive Systems Monographs
Cognitive Systems Monographs Volume 9 Editors: Rüdiger Dillmann Yoshihiko Nakamura Stefan Schaal David Vernon Heiko Hamann Space-Time Continuous Models of Swarm Robotic Systems Supporting Global-to-Local
More informationFuture-Oriented Technology Analysis
Future-Oriented Technology Analysis Cristiano Cagnin Michael Keenan Ron Johnston Fabiana Scapolo Rémi Barré Editors Future-Oriented Technology Analysis Strategic Intelligence for an Innovative Economy
More informationStrategy for Tourism Second edition
Strategy for Tourism Second edition Strategy for Tourism Second edition John Tribe Goodfellow Publishers Ltd (G) Published by Goodfellow Publishers Limited, Woodeaton, Oxford, OX3 9TJ http://www.goodfellowpublishers.com
More informationSpringerBriefs in Space Development
SpringerBriefs in Space Development Guest Editor: Jinyuan Su More information about this series at http://www.springer.com/series/10058 Joseph N. Pelton New Solutions for the Space Debris Problem Joseph
More informationLecture Notes in Computer Science 2500 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2500 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Erich Grädel Wolfgang Thomas Thomas
More informationTime Frequency Domain for Segmentation and Classification of Non-stationary Signals
Time Frequency Domain for Segmentation and Classification of Non-stationary Signals FOCUS SERIES Series Editor Francis Castanié Time Frequency Domain for Segmentation and Classification of Non-stationary
More informationLecture Notes in Computer Science 2599 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2599 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Edel Sherratt (Ed.) Telecommunications
More informationComputational Intelligence for Network Structure Analytics
Computational Intelligence for Network Structure Analytics Maoguo Gong Qing Cai Lijia Ma Shanfeng Wang Yu Lei Computational Intelligence for Network Structure Analytics 123 Maoguo Gong Xidian University
More informationHandbook of Engineering Acoustics
Handbook of Engineering Acoustics . Gerhard M uller Michael M oser Editors Handbook of Engineering Acoustics Editors Prof. Dr. Gerhard M uller Technische Universit at M unchen Lehrstuhl f ur Baumechanik
More informationTechnology Roadmapping for Strategy and Innovation
Technology Roadmapping for Strategy and Innovation Martin G. Moehrle, Ralf Isenmann, and Robert Phaal (Eds.) Technology Roadmapping for Strategy and Innovation Charting the Route to Success ABC Editors
More informationMATLAB Guide to Finite Elements
MATLAB Guide to Finite Elements Peter I. Kattan MATLAB Guide to Finite Elements An Interactive Approach Second Edition With 108 Figures and 25 Tables Peter I. Kattan, PhD P.O. BOX 1392 Amman 11118 Jordan
More informationCOMPETITION IN HEAL TIl CARE. Reforming the NHS
COMPETITION IN HEAL TIl CARE Reforming the NHS ECONOMIC ISSUES IN HEALTH CARE General editors Professor Gavin Mooney Institute of Social Medicine University of Copenhagen 2200 Copenhagen N, Denmark Dr
More informationPalgrave Studies in Comics and Graphic Novels. Series Editor Roger Sabin University of the Arts London London, United Kingdom
Palgrave Studies in Comics and Graphic Novels Series Editor Roger Sabin University of the Arts London London, United Kingdom This series concerns Comics Studies with a capital c and a capital s. It feels
More informationClimate Asia Research Overview
Climate Asia Research Overview Regional research study: comparable across seven countries The Climate Asia research was conducted in seven countries: Bangladesh, China, India, Indonesia, Nepal, Pakistan
More informationChief Nuclear Inspector s Inspection of NNB GenCo Ltd. s Supply Chain Management Arrangements for the Hinkley Point C Project
Chief Nuclear Inspector s Inspection of NNB GenCo Ltd. s Supply Chain Management Arrangements for the Hinkley Point C Project 15 March 2018 Chief Nuclear Inspector s Inspection of NNB GenCo Ltd. s Supply
More informationSpringer Series on. Signals and Communication Technology
Springer Series on Signals and Communication Technology Signals and Communication Technology Functional Structures in Networks AMLn A Language for Model Driven Development of Telecom Systems T. Muth ISBN
More informationInk jet Inks. Chemistryof. The Chemistry of Inkjet Inks Downloaded from
The Chemistryof Ink jet Inks This page intentionally left blank Chemistry The of Ink jet Inks Editor Shlomo Magdassi The Hebrew University of Jerusalem, Israel World Scientific NEW JERSEY LONDON SINGAPORE
More informationLecture Notes in Control and Information Sciences
Lecture Notes in Control and Information Sciences Edited by M.Thoma and A.Wyner 167 M. Rao Integrated System for Intelligent Control Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo Hong Kong
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 968 Advisory Board: W. Brauer D. Gries J. Stoer Nachum Dershowitz Naomi Lindenstrauss (Eds.) Conditional and Typed Rewriting
More informationHYBRID NEURAL NETWORK AND EXPERT SYSTEMS
HYBRID NEURAL NETWORK AND EXPERT SYSTEMS HYBRID NEURAL NETWORK AND EXPERT SYSTEMS by Larry R. Medsker Department of Computer Science and Information Systems The American University... " Springer Science+Business
More informationStraBer Wahl Graphics and Robotics
StraBer Wahl Graphics and Robotics Wolfgang StrafSer Friedrich Wahl Editors Graphics and Robotics With 128 Figures, some in Colour, Springer Prof. Dr.-lng. Wolfgang StraBer Wilhelm-Schickard-lnstitut fur
More informationFounding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK
History of Computing Founding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK Series Editor Gerard Alberts, University of Amsterdam, Amsterdam, The Netherlands Advisory Board Jack Copeland,
More informationDramatic Psychological Storytelling
Dramatic Psychological Storytelling This page intentionally left blank Dramatic Psychological Storytelling Using the Expressive Arts and Psychotheatrics Rob Allen and Nina Krebs Rob Allen and Nina Krebs
More informationPractical Benchmarking: The Complete Guide
Practical Benchmarking: The Complete Guide Practical Benchmarking: The Complete Guide Mohamed Zairi Unilever Lecturer in TQM Bradford University and Paul Leonard Senior Consultant Xerox Quality Solutions
More informationDOI: / Sociology in France after 1945
DOI: 10.1057/9781137450548.0001 Sociology in France after 1945 Sociology Transformed Series Editors: John Holmwood, University of Nottingham, UK, and Stephen Turner, University of South Florida, US. The
More informationComputer-Aided Production Management
Asbj0rn Rolstadas (Ed.) Computer-Aided Production Management With 169 Figures Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Professor Dr. Asbjern Ro1stadas Production Engineering Laboratory
More informationStudies in Computational Intelligence
Studies in Computational Intelligence Volume 733 Series editor Janusz Kacprzyk, Polish Academy of Sciences, Warsaw, Poland e-mail: kacprzyk@ibspan.waw.pl About this Series The series Studies in Computational
More informationArchitecture Design and Validation Methods
Architecture Design and Validation Methods Springer-Verlag Berlin Heidelberg GmbH Egon Börger (Ed.) Architecture Design and Validation Methods With 175 Figures, Springer Editor Prof. Dr. Egon Börger Universita
More information2nd Edition 00_Bird Book_FM.indd 3 5/2/2017 3:24:44 PM
2nd Edition 00_Bird Book_FM.indd 3 5/2/2017 3:24:44 PM SAGE Publications Ltd 1 Oliver s Yard 55 City Road London EC1Y 1SP SAGE Publications Inc. 2455 Teller Road Thousand Oaks, California 91320 SAGE Publications
More informationData Assimilation: Tools for Modelling the Ocean in a Global Change Perspective
Data Assimilation: Tools for Modelling the Ocean in a Global Change Perspective NATO ASI Series Advanced Science Institutes Series A series presenting the results of activities sponsored by the NA TO Science
More informationTowards the definition of a Science Base for Enterprise Interoperability: A European Perspective
Towards the definition of a Science Base for Enterprise Interoperability: A European Perspective Keith Popplewell Future Manufacturing Applied Research Centre, Coventry University Coventry, CV1 5FB, United
More informationSimulation by Bondgraphs
Jean U. Thoma Simulation by Bondgraphs Introduction to a Graphical Method Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong 1990 Professor Dr. Jean Ulrich Thoma Dept. of Mechanical
More informationMarketing and Designing the Tourist Experience
Marketing and Designing the Tourist Experience Isabelle Frochot and Wided Batat (G) Goodfellow Publishers Ltd (G) Published by Goodfellow Publishers Limited, Woodeaton, Oxford, OX3 9TJ http://www.goodfellowpublishers.com
More informationSatellite Environmental Information and Development Aid: An Analysis of Longer- Term Prospects
Satellite Environmental Information and Development Aid: An Analysis of Longer- Term Prospects Executive Summary Commissioned by the European Space Agency Caribou Space AUTHORS The following authors wrote
More informationInternational Entrepreneurship
International Entrepreneurship This page intentionally left blank International Entrepreneurship Theoretical Foundations and Practices 2nd edition Antonella Zucchella University of Pavia, Italy and Giovanna
More informationGLOBAL ENERGY TRANSFORMATION
GLOBAL ENERGY TRANSFORMATION This page intentionally left blank GLOBAL ENERGY TRANSFORMATION FOUR NECESSARY STEPS TO MAKE CLEAN ENERGY THE NEXT SUCCESS STORY Mats Larsson Management Consultant Mats Larsson
More informationMLM Cash Machine: Fool Proof Strategies on How to Succeed in Network Marketing! by Jinger Jarrett
MLM Cash Machine: Fool Proof Strategies on How to Succeed in Network Marketing! by Jinger Jarrett Copyright Copyright, 2010, 2011, Jinger Jarrett. All Rights Reserved. You may print a copy of this ebook
More informationCambridge University Press Machine Ethics Edited by Michael Anderson and Susan Leigh Anderson Frontmatter More information
MACHINE ETHICS The new field of machine ethics is concerned with giving machines ethical principles, or a procedure for discovering a way to resolve the ethical dilemmas they might encounter, enabling
More informationSystem Architecture. Strategy and Product Development for Complex Systems. Global edition. Global edition. Edward Crawley Bruce Cameron Daniel Selva
System Architecture Global edition System Architecture Crawley Cameron Selva This is a special edition of an established title widely used by colleges and universities throughout the world. Pearson published
More informationDao Companion to the Analects
Dao Companion to the Analects Dao Companions to Chinese Philosophy Series Editor HUANG Yong Department of Philosophy The Chinese University of Hong Kong Shatin, New Territories Hong Kong E-mail: yonghuang@cuhk.edu.hk
More informationINSTRUMENTATION AND CONTROL SYSTEMS SECOND EDITION
INSTRUMENTATION AND CONTROL SYSTEMS SECOND EDITION INSTRUMENTATION AND CONTROL SYSTEMS SECOND EDITION WILLIAM BOLTON AMSTERDAM BOSTON HEIDELBERG LONDON NEW YORK OXFORD PARIS SAN DIEGO SAN FRANCISCO SINGAPORE
More informationTECHNOLOGY, INNOVATION, and POLICY 3. Series of the Fraunhofer Institute for Systems and Innovation Research (lsi)
TECHNOLOGY, INNOVATION, and POLICY 3 Series of the Fraunhofer Institute for Systems and Innovation Research (lsi) Guido Reger Ulrich Schmoch (Eds.) Organisation of Science and Technology at the Watershed
More informationRisk-Based Ship Design
Risk-Based Ship Design Apostolos Papanikolaou (Ed.) Risk-Based Ship Design Methods, Tools and Applications Authored by Carlos Guedes Soares, Andrzej Jasionowski, Jørgen Jensen, Dag McGeorge, Apostolos
More informationThe Challenge of British Management
The Challenge of British Management ECONOMICS TODAY Edited by Andrew Leake The Economics Today series surveys contemporary headline topics in applied economics. Each book in the series is written by an
More informationBRITAIN S WINNING FORMULA
BRITAIN S WINNING FORMULA This page intentionally left blank Britain s Winning Formula Achieving World Leadership in Motorsports Martin Beck-Burridge and Jeremy Walton Martin Beck-Burridge and Jeremy Walton
More informationQuality Management and Managerialism in Healthcare
Quality Management and Managerialism in Healthcare This page intentionally left blank Quality Management and Managerialism in Healthcare A Critical Historical Survey Sara Melo Queen s University Belfast,
More informationThe Test and Launch Control Technology for Launch Vehicles
The Test and Launch Control Technology for Launch Vehicles Zhengyu Song The Test and Launch Control Technology for Launch Vehicles 123 Zhengyu Song China Academy of Launch Vehicle Technology Beijing China
More informationBibliography of Popov v Hayashi in AI and Law
Bibliography of Popov v Hayashi in AI and Law Trevor Bench-Capon Department of Computer Sciences University of Liverpool, Liverpool, UK tbc@csc.liv.ac.uk November 6, 2014 Abstract Bibliography for Popov
More informationInternational Entrepreneurship
International Entrepreneurship International Entrepreneurship Theoretical Foundations and Practices Antonella Zucchella and Paolo Scabini Antonella Zucchella and Paolo Scabini 2007 Softcover reprint of
More informationImplementing Flexible Manufacturing Systems
Implementing Flexible Manufacturing Systems Other Macmillan titles of related interest R. Anderson, Management, Information Systems and Computers J.D. Radford and D. B. Richardson, The Management of Manufacturing
More informationThe Creative Writing Handbook
The Creative Writing Handbook The Creative Writing Handbook Techniques for New Writers Edited by JOHN SINGLETON and MARY LUCKHURST MACMILLAN Editorial matter, selection and Chapter 1 John Singleton and
More informationSpringerBriefs in Space Development
SpringerBriefs in Space Development Series Editor: Joseph N. Pelton, Jr. For further volumes: http://www.springer.com/series/10058 Audrey L. Allison The ITU and Managing Satellite Orbital and Spectrum
More informationArtificial Intelligence (AI) and Patents in the European Union
Prüfer & Partner Patent Attorneys Artificial Intelligence (AI) and Patents in the European Union EU-Japan Center, Tokyo, September 28, 2017 Dr. Christian Einsel European Patent Attorney, Patentanwalt Prüfer
More informationThe Palgrave Gothic Series. Series Editor: Clive Bloom
Haunted Seasons The Palgrave Gothic Series Series Editor: Clive Bloom Editorial Advisory Board: Dr Ian Conrich, University of South Australia, Barry Forshaw, author/journalist, UK, Professor Gregg Kucich,
More informationISO INTERNATIONAL STANDARD
INTERNATIONAL STANDARD ISO 15223-1 First edition 2007-04-15 Medical devices Symbols to be used with medical device labels, labelling and information to be supplied Part 1: General requirements Dispositifs
More informationU. Lindemann (Ed.) Human Behaviour in Design
U. Lindemann (Ed.) Human Behaviour in Design Springer-Verlag Berlin Heidelberg GmbH Engineering ONLINE LIBRARY http://www.springer.de/engine/ Udo Lindemann (Ed.) Human Behaviour in Design Individuals,
More informationAdvances in Computer Vision and Pattern Recognition
Advances in Computer Vision and Pattern Recognition For further volumes: http://www.springer.com/series/4205 Marco Alexander Treiber Optimization for Computer Vision An Introduction to Core Concepts and
More informationProgramming Methodology
Texts and Monographs in Computer Science Editor David Gries Advisory Board F. L. Bauer K. S. Fu J. J. Horning R. Reddy D. C. Tsichritzis W. M. Waite Programming Methodology A Collection of Articles by
More informationEUROPEAN COMMISSION Directorate-General for Communications Networks, Content and Technology CONCEPT NOTE
EUROPEAN COMMISSION Directorate-General for Communications Networks, Content and Technology 1. INTRODUCTION CONCEPT NOTE The High-Level Expert Group on Artificial Intelligence On 25 April 2018, the Commission
More information