Sciweavers

6581 search results - page 342 / 1317
» Formalizing Design Patterns
Sort
View
ITSSA
2006
87views more  ITSSA 2006»
15 years 6 months ago
ForMAAD Method: An Experimental Design for Air Traffic Control
: 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...
Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Moha...
159
Voted
ISCAS
2005
IEEE
122views Hardware» more  ISCAS 2005»
16 years 10 days ago
Towards a rigorous formulation of the space mapping technique for engineering design
—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...
Slawomir Koziel, John W. Bandler, Kaj Madsen
HICSS
2002
IEEE
77views Biometrics» more  HICSS 2002»
15 years 11 months ago
Language Driven System Design
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...
Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse
HICSS
2002
IEEE
116views Biometrics» more  HICSS 2002»
15 years 11 months ago
Multiagent Modeling and Simulation in Human-Robot Mission Operations Work System Design
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-...
Maarten Sierhuis, William J. Clancey, Michael H. S...
COMPSAC
1996
IEEE
15 years 11 months ago
Design-Level Cohesion Measures: Derivation, Comparison, and Applications
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, ...
Byung-Kyoo Kang, James M. Bieman