Forcing Behavioral Subtyping through Specification Inheritance.

Krishna Kishore Dhara Gary T. Leavens

Published in: ICSE (1996)

Keyphrases

object oriented databases
object oriented
specification language
high level
expert systems
formal methods
multiple inheritance
learning objects
programming language
formal language