3799 search results - page 618 / 760 » An Engineering Approach to Formal Methods |
129
Voted
ISSRE
2002
IEEE
15 years 10 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
139
click to vote
CODES
2000
IEEE
15 years 9 months ago
2000
IEEE
Memory interleaving is a cost-efficient approach to increase bandwidth. Improving data access locality and reducing memory access conflicts are two important aspects to achieve hi...
179
Voted
CSMR
2000
IEEE
15 years 9 months ago
2000
IEEE
The assessment of the changeability of software systems is of major concern for buyers of the large systems found in fast-moving domains such as telecommunications. One way of app...
114
Voted
APSEC
1999
IEEE
15 years 9 months ago
1999
IEEE
The management of complexity in large systems is traditionally focused on the modeling and management of classes and hierarchies of classes. In order to improve the compositional ...
150
click to vote
WCRE
1999
IEEE
15 years 9 months ago
1999
IEEE
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...