Sciweavers

ICECCS
2006
IEEE
140views Hardware» more  ICECCS 2006»
14 years 6 months ago
Inference of Design Pattern Instances in UML models via Logic Programming
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
Dae-Kyoo Kim, Lunjin Lu