1140 search results - page 90 / 228 » Embedded Software: Better Models, Better Code |
125
click to vote
ASWEC
2007
IEEE
15 years 9 months ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
128
click to vote
IAJIT
2010
15 years 1 months ago
2010
: The software capability maturity model has become a popular model for enhancing software development processes with the goal of developing high-quality software within budget and...
133
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not execu...
118
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
179
Voted
RTSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Recent technological advances have opened up several distributed real-time applications involving battery-driven embedded devices with local processing and wireless communication ...