452 search results - page 52 / 91 » The business case for automated software engineering |
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
WCRE
2005
IEEE
15 years 3 months ago
2005
IEEE
The use of design patterns in a software system can provide strong indications about the rationale behind the system’s design. As a result, automating the detection of design pa...
QSIC
2007
IEEE
15 years 4 months ago
2007
IEEE
: Testing against natural language requirements is the standard approach for system and acceptance testing. This test is often performed by an independent test organization unfamil...
105
click to vote
CODES
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we present the analysis, design and implementation of an estimator to realize large bit width unsigned integer multiplier units. Larger multiplier units are require...
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...