Functional Refinement and Nested Objects for Object-Oriented Design.

Published in: IEEE Trans. Software Eng. (1989)

Keyphrases

object oriented design
formal specification
object oriented
complex scenes
object segmentation
object model
multiple objects
software design
data sets
moving objects
d objects
distributed systems
fine grained
object oriented systems
functional properties