This is an old revision of the document!

Eiffel Syntax

from
    i := 0
    n := 10
invariant
    n
until
    i >= 10
loop
    i := i + 1
variant
    n-i
end

Software Engineering Documentation