Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software

Index

[SYMBOL] [A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [K] [L] [M] [N] [O] [P] [Q] [R] [S] [T] [U] [V] [W] [X] [Y] [Z]

UCLs (upper control limits)

UDEs (undesirable effects)

UML (Uniform Modeling Language)

uncontrollable factors

Understanding Media

undesirable effects (UDEs)

Uniform Modeling Language (UML)

unintended function failure mode

unique SLOC

unit testing

Univac 1107 computers

Univac 1108 computers

Univac Defense Systems

Universal Studios robotic triceratops project [See MD Robotics case study.]

unnecessary motion

unnecessary transportation

unrefusable offers (UROs)

unreliability, causes of

unstated requirements

upper control limits (UCLs)

upstream internal failure costs

upstreaming

URO (unrefusable offer)

usability

use cases

users

     expectations

     interaction with

     obtaining input from