A Methodology for Invariants, Framing, and Subtyping in JML.

Yuyan Bao Gary T. Leavens

Published in: Principled Software Development (2018)

Keyphrases

conceptual framework
data mining
design methodology
neural network
genetic algorithm
learning algorithm
computer vision
image processing
hidden markov models