Sciweavers

ICECCS
2006
IEEE
140views Hardware» more  ICECCS 2006»
13 years 11 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