2698 search results - page 178 / 540 » Software Process Model Blueprints |
222
click to vote
AVI
2000
15 years 3 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
122
click to vote
IEE
2007
15 years 2 months ago
2007
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
148
click to vote
ERSHOV
2009
Springer
15 years 8 days ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
153
click to vote
ICST
2009
IEEE
15 years 5 days ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
132
click to vote
SP
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...