Bibliographic Item (1.0)

Zelkowitz90

1. Marvin V Zelkowitz
2. A Functional Correctness Model of Program Verification
3. IEEE Computer magazine V23n11(Nov 1990)pp30-39
4. =DEMO Formal Functional Education Trace Tables

   ---

   1. Trace_table::=trace_table_header #trace_table_row.
   2. trace_table_header::="Part"><"Cond"><#variable.
   3. trace_table_row::= statement_part><predicate><#expression.

      predicates and expressions expressed in terms of initial values of variables.
      Table

      Part	Cond	x	y
      x:=x+y	true	x+y	y
      if(x>y)	x+y > y	"	"
      y:=x-1	true	"	x+y-1

      
      (Close Table)
      

   ---

Search for a specific bibliographic item by name.

To see the complete bibliography (1Mb+) select:[Bibliography]