1487 search results - page 13 / 298 » On Validating Engineering Design Decision Support Tools |
101
click to vote
SAC
2009
ACM
15 years 6 months ago
2009
ACM
This paper describes the agentTool Process Editor (APE), an Eclipse plug-in based on the Eclipse Process Framework. The aim of APE is to facilitate the design, verification, and m...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Today several approaches using Situational Method Engineering paradigm exist, each of them proposes methods and techniques for developing ad-hoc design processes. In this context ...
GRAPHICSINTERFACE
2007
15 years 1 months ago
2007
We present a design space explorer for the space of experimental designs. For many design problems, design decisions are determined by the consequences of the design rather than i...
108
click to vote
HASE
2007
IEEE
15 years 3 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper introduces the Extensible Agent Behavior Specification Language (XABSL) as a pragmatic tool for engineering the behavior of autonomous agents in complex and dynamic...