2631 search results - page 372 / 527 » Software Development with Code Maps |
114
click to vote
RE
2001
Springer
15 years 7 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
116
Voted
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
To integrate a software component into a system, it must interact properly with the system's other components. Unfortunately,the decisions about how a component is to interac...
115
Voted
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
Many reverse-engineering tools have been developed to detract representations from source code. Yet, most of these tools completely ignore recovery of the all-important rationale ...
124
Voted
ECLIPSE
2005
ACM
15 years 4 months ago
2005
ACM
The heterogeneity and dynamism of today’s software systems make it difficult to assess the performance, correctness, or security of a system outside the actual time and context ...
119
Voted
FMOODS
2003
15 years 3 months ago
2003
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...