Approaches to Reliable Software |
Common terms and phrases
abstract data types abstract machine algorithm approach ASSM automated BL BL BL BL NL bufpos chief programmer commands condition table Conf consists construction correctness cutpoint data base data structures defined denotes diagrams Dijkstra DOUBLE PRECISION Elspas entry assertion error Evaluation example explicit descriptions expression Figure flow graph Floyd's formal verification Gerhard and Goodenough GOTO statement hierarchical Howden IEEE Trans implementation INTEGER interface iteration Katz and Manna Knuth logic loop LOOPHEAD mapping function methodology module NL NL NL node operations Parnas performance problem program path program testing program verification programming language proof proving Ramamoorthy recursive Reliable Software requirements analysis Requirements Engineering requirements specification SAN DIEGO SELECT semantics software development Software Engineering specification language SREM SRI International structural induction structured programming symbolic execution techniques termination assertion test data test predicate true values verification condition VERSITY Waldinger Y₁ Y₂