M'Bayang Thiam

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We introduce the concept of object functional dependency for object oriented models, and we study consistency, satisfaction and functional implication in the context of a class extension. We then use functional implication to deene the formal semantics of a class extension by a least xpoint construction. The concepts introduced here are motivated by similar(More)
  • 1