Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective [Paperback]

actions  activities  allows  analysis  approach  architectural  architecture  argument  band  behaviour  between  capture  case  changes  claim  communications  components  computer  control  de  dependability  dependencies  description  design  development  diagram  different  domain  engineering  environment  error  events  evidence  evolution  example  failure  faults  features  fig  formal  gate  given  hand  however  human  information  issues  language  level  machine  may  means  might  model  must  need  new  number  often  organisation  part  point  possible  practice  problem  procedures  process  program  properties  provide  relation  relationship  representation  requirements  rules  safety  section  set  should  social  software  solution  space  specification  state  structure  studies  support  system  technical  terms  therefore  time  tion  two  use  used  users  work  world