Sciweavers

1538 search results - page 4 / 308
» Programming with Patterns
Sort
View
ICECCS
2006
IEEE
140views Hardware» more  ICECCS 2006»
14 years 1 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
JUCS
2010
152views more  JUCS 2010»
13 years 2 months ago
Verification of Structural Pattern Conformance Using Logic Programming
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim
PC
2002
131views Management» more  PC 2002»
13 years 7 months ago
From patterns to frameworks to parallel programs
riented programming, design patterns, and frameworks are abstraction techniques that have been used to reduce the complexity of sequential programming. This paper describes our ap...
Steve MacDonald, John Anvik, Steven Bromling, Jona...
ESWA
2002
76views more  ESWA 2002»
13 years 7 months ago
Supporting software development through declaratively codified programming patterns
In current-day software development, programmers often use programming patterns to clarify their intents and to increase the understandability of their programs. Unfortunately, mo...
Kim Mens, Isabel Michiels, Roel Wuyts
ICFP
2007
ACM
14 years 7 months ago
Extensible pattern matching via a lightweight language extension
Don Syme, Gregory Neverov, James Margetson