Type Checking Classes in Object-Z to Promote Quality of Specifications.

Jian Chen Bohdan Durnota

Published in: Software Quality and Productivity (1994)

Keyphrases

type checking
object model
d objects
high level
complex objects
moving objects
knowledge representation
nearest neighbor
expressive power
data objects