367 search results - page 33 / 74 » Industrial validation of COVAMOF |
113
click to vote
ICSOC
2007
Springer
15 years 8 months 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...
112
click to vote
IFIP
2007
Springer
15 years 8 months 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...
115
click to vote
SAFECOMP
2007
Springer
15 years 8 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 8 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...
146
click to vote
EUROMICRO
2006
IEEE
15 years 8 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...