Sign in

Specifications and Their Use in Defining Subtypes.

Barbara LiskovJeannette 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