1112 search results - page 103 / 223 » software 2002 |
126
click to vote
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
140
click to vote
METRICS
2002
IEEE
15 years 8 months ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
131
click to vote
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
Software often needs to be modified for accommodating requirements changes through the software life cycle. To deal with several accidental requirements changes related to softwa...
153
click to vote
CSMR
2002
IEEE
15 years 8 months ago
2002
IEEE
A critical point for developing successful information systems for distributed organisations is the need for integrating heterogeneous technologies and tools. This paper reports a...
113
click to vote
ICSM
2002
IEEE
15 years 8 months ago
2002
IEEE
Class cohesion could be used to evaluate the design quality of classes, to develop test measures for objectoriented software and to restructure poorly designed classes. Among a nu...