4759 search results - page 319 / 952 » Software Development Based on Software Pattern Evolution |
131
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified an...
140
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
144
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...
125
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
An important aspect in the development of dependable software is to decide where to locate mechanisms for efficient error detection and recovery. We present a comparison between ...
177
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...