6581 search results - page 141 / 1317 » Formalizing Design Patterns |
118
click to vote
IV
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
105
click to vote
WCRE
1999
IEEE
15 years 7 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
116
click to vote
FORTE
1998
15 years 4 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
115
click to vote
IAT
2007
IEEE
15 years 9 months ago
2007
IEEE
Practical reasoning (PR), as advocated by philosophers is concerned by reasoning about what agents should do. It follows mainly two steps. A deliberation one for identifying the g...
105
click to vote
CIT
2007
Springer
15 years 7 months ago
2007
Springer
: Effective data analysis using multiple databases requires highly accurate patterns. Local pattern analysis might extract low quality patterns from multiple large databases. Thus,...