JML's Rich, Inherited Specifications for Behavioral Subtypes.

Gary T. Leavens

Published in: ICFEM (2006)

Keyphrases

high level
formal specification
specification language
delay insensitive
real time
evolutionary algorithm
data sets
databases
information retrieval
computer vision
video sequences
breast cancer
human behavior
behavioral model