4007 search results - page 236 / 802 » Automotive Software Integration |
167
click to vote
ICSM
2007
IEEE
15 years 11 months ago
2007
IEEE
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
149
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
125
click to vote
SCOPES
2005
Springer
15 years 10 months ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
142
click to vote
IWPC
2002
IEEE
15 years 10 months ago
2002
IEEE
During software evolution, several different facets of the system need to be related to one another at multiple levbstraction. Current software evolution tools have limited capabi...
140
click to vote
WICSA
2004
15 years 6 months ago
2004
The sheer amount of data produced by modern science research has created a need for the construction and understanding of "data-intensive systems", largescale, distribut...