9006 search results - page 329 / 1802 » Modeling Software |
231
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
177
click to vote
CBSE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
270
click to vote
ECOOP
2005
Springer
16 years 6 days ago
2005
Springer
Software modeling has received a lot a of attention in the last decade and now is an important support for the design process. Actually, the design process is very important to the...
160
click to vote
ACSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
144
click to vote
IWPSE
2005
IEEE
16 years 7 days ago
2005
IEEE
Humans will have to live with software for a long time. As demonstrated by the Y2K problem, computer professionals used a wrong time scale when thinking about software. Large soft...