1487 search results - page 41 / 298 » On Validating Engineering Design Decision Support Tools |
139
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
145
click to vote
ICCAD
2002
IEEE
16 years 22 days ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
147
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
The rapid growth of the Internet has made computer-mediated communication popular and the use of e-negotiation systems (ENS) has attracted great attention from researchers and pra...
113
click to vote
FDL
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
144
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...