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] safety invariants savings [See benefits] scenarios [See use case scenarios] scope of invariants (note) of preconditions and postconditions 2nd seismic surveys in oil and gas exploration selecting test points 2nd 3rd 4th sequence diagrams and QFD matrix 2nd 3rd 4th set comprehension (note) set enumeration (note) severity of failure calculating risk 2nd 3rd 4th severity of failures setting failure intensity objectives 2nd 3rd shared earth modeling development kit (Oil & Gas Exploration Systems example) prioritizing selecting 2nd software reliability [See reliability] spreadsheet matrix decision graph as 2nd 3rd staff churn savings from avoiding 2nd 3rd staff efficiency savings from 2nd 3rd startigraphic columns in oil and gas exploration starting assumptions calculating ROI 2nd 3rd 4th state invariants state variable domain definition state variables domain definition in model-based specification 2nd modeling state change 2nd 3rd 4th 5th 6th 7th 8th 9th 10th 11th status of portfolio tracking 2nd 3rd 4th 5th 6th 7th 8th 9th 10th 11th 12th stopping testing [See reliability, tracking] stories (XP) estimating effort storyboarding strong preconditions versus weak preconditions 2nd 3rd Swamp Report [See dashboard (tracking reliability)] synchronizing distributed development Oil & Gas Exploration Systems example 2nd 3rd 4th 5th 6th 7th 8th 9th 10th 11th 12th system requirements |