6581 search results - page 62 / 1317 » Formalizing Design Patterns |
113
Voted
IFM
2004
Springer
15 years 8 months ago
2004
Springer
96
Voted
IWPC
2009
IEEE
15 years 9 months ago
2009
IEEE
Identification of design patterns can deliver important information to designers. Therefore, automated design pattern detection (DPD) is highly desirable when it comes to underst...
118
Voted
WCRE
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract buildin...
137
click to vote
QSIC
2005
IEEE
15 years 8 months ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
104
Voted
ENTCS
2008
15 years 2 months ago
2008
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...