6581 search results - page 162 / 1317 » Formalizing Design Patterns |
118
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
116
Voted
PDPTA
2000
15 years 4 months ago
2000
Abstract Design patterns are micro architectures, high-level building blocks which describe the solutions to speci c problems in software design. These solutions have generally bee...
127
Voted
ENTCS
2008
15 years 3 months ago
2008
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes barely tractable by t...
127
click to vote
AICCSA
2005
IEEE
15 years 5 months ago
2005
IEEE
Object-oriented frameworks are a powerful reuse technique but they are also very complex and difficult to design. Framework’s design aims at separating the invariant aspects acr...