Modular specification of frame properties in JML.

Peter Müller Arnd Poetzsch-Heffter Gary T. Leavens

Published in: Concurr. Comput. Pract. Exp. (2003)

Keyphrases

video frames
databases
structural properties
formal language
database
genetic algorithm
information systems
high level
relational databases
rough sets
image quality
topological properties