367 search results - page 49 / 74 » Industrial validation of COVAMOF |
111
click to vote
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
—Agile and traditional plan-based approaches to software system development both agree that prioritizing requirements is an essential activity. They differ in basic strategy - wh...
108
click to vote
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
142
click to vote
AGILEDC
2007
IEEE
15 years 8 months ago
2007
IEEE
A primary measure of success in both student and commercial software development projects is the value delivered to the client. Of equal instructional importance is to what extent...
111
click to vote
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
102
click to vote
DDECS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract: High speed DRAMs today suffer from an increased sensitivity to interference and noise problems. Signal integrity issues, caused by bit line and word line coupling, result...