6581 search results - page 342 / 1317 » Formalizing Design Patterns |
148
click to vote
ITSSA
2006
15 years 4 months ago
2006
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
127
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...
105
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Studies have shown significant benefits of the use of Domain-Specific Languages. However, designing a DSL still seems to be an art, rather than a craft following a clear method...
153
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes a collaborative multiagent modeling and simulation approach for designing work systems. The Brahms environment is used to model mission operations for a semi-...
117
click to vote
COMPSAC
1996
IEEE
15 years 9 months ago
1996
IEEE
Cohesion was rst developed to predict properties of implementations created from a given design. Unfortunately, cohesion, as originally de ned, could not be objectively assessed, ...