367 search results - page 33 / 74 » Industrial validation of COVAMOF |
152
click to vote
ICSOC
2007
Springer
16 years 8 hour ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
158
click to vote
IFIP
2007
Springer
16 years 6 hour ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
168
click to vote
SAFECOMP
2007
Springer
15 years 12 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
DATE
2006
IEEE
15 years 12 months ago
2006
IEEE
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
187
click to vote
EUROMICRO
2006
IEEE
15 years 12 months ago
2006
IEEE
Understanding complex component-based systems often requires getting insight in how certain system properties, such as performance, trust, reliability, or structural attributes, c...