Demonstrating the Compliance of Ada Programs with Z Specifications.

Published in: Refine (1992)

Keyphrases

control flow
recursive programs
finite state machines
real time
high level
formal specification
computer programs
information systems
specification language
machine learning
database systems
similarity measure
logic programs
automatic programming
java programs
concurrent systems