6581 search results - page 62 / 1317 » Formalizing Design Patterns |
108
click to vote
IWPC
2009
IEEE
15 years 11 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...
135
click to vote
WCRE
2008
IEEE
15 years 10 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...
151
click to vote
QSIC
2005
IEEE
15 years 10 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 ...
117
click to vote
ENTCS
2008
15 years 4 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...