2385 search results - page 31 / 477 » Knowledge Refinement for a Design System |
HYBRID
2010
Springer
14 years 7 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
FDL
2005
IEEE
15 years 3 months ago
2005
IEEE
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
FAC
2008
14 years 9 months ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...
IUI
2000
ACM
15 years 2 months ago
2000
ACM
Design problems involve issues of stylistic preference and flexible standards of success; human designers often proceed by intuition and are unaware of following any strict rule-b...
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
We investigate the properties of a multiagent system where each (distributed) agent locally perceives its environment. Upon perception of an unexpected event, each agent locally c...