3837 search results - page 529 / 768 » Concurrent Engineering support in Software Engineering |
125
click to vote
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
131
click to vote
METRICS
1999
IEEE
15 years 8 months ago
1999
IEEE
Success factors for measurement programs as identified in the literature typically focus on the `internals' of the measurement program: incremental implementation, support fr...
106
click to vote
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
As commodity microprocessors and networks reach performance levels comparable to those used in massively parallel processors, clusters of symmetric multiprocessors are starting to...
135
click to vote
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
139
click to vote
SIGSOFT
1998
ACM
15 years 8 months ago
1998
ACM
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data...