2935 search results - page 38 / 587 » An Integrated Approach to High Integrity Software Verificati... |
161
click to vote
JNSM
2010
14 years 10 months ago
2010
Cognitive Radio (CR) equipments are radio devices that support the smart facilities offered by future cognitive networks. Even if several categories of equipments exist (terminal,...
117
click to vote
ENVSOFT
2006
15 years 4 months ago
2006
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
155
Voted
COMPSAC
1995
IEEE
15 years 7 months ago
1995
IEEE
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...
134
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...
128
click to vote
STEP
2005
IEEE
15 years 9 months ago
2005
IEEE
Software process improvement is an iterative activity, normally involving measurement, analysis, and change. For most organizations, the existing software process has substantial ...