Matthias Liedtke

  • Citations Per Year
Learn More
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until implementation, but for validation and verification purposes the merging of views is desirable already during specification. Motivated by this, a model of objects is proposed in which(More)
  • 1