9006 search results - page 394 / 1802 » Modeling Software |
162
click to vote
WETICE
2006
IEEE
16 years 23 days ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
197
click to vote
ISPW
2005
IEEE
16 years 10 days ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
168
click to vote
ICSE
2005
IEEE-ACM
16 years 8 days ago
2005
IEEE-ACM
Although attractive, CBD has not been widely adopted in domains of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embe...
174
click to vote
FASE
2004
Springer
16 years 4 days ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
175
click to vote
PROFES
2004
Springer
16 years 3 days ago
2004
Springer
Process improvement activities in small and medium size enterprises (SME) are challenging due to small number of personnel and projects, people have to perform in a variety of role...