6581 search results - page 2 / 1317 » Formalizing Design Patterns |
IESA
2007
13 years 6 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
TLDI
2009
ACM
14 years 1 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
ICSR
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Design pattern formalization is aimed at encouraging the use of design patterns during the design phase. Many approaches focuses on providing solutions with a graphical n...
ICSE
2004
IEEE-ACM
13 years 10 months ago
2004
IEEE-ACM
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...
MODELS
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...