Specifications and Their Use in Defining Subtypes.

Barbara Liskov Jeannette M. Wing

Published in: ZUM (1995)

Keyphrases

high level
real time
website
formal specification
neural network
machine learning
decision trees
bayesian networks
functional requirements
delay insensitive