15253 search results - page 258 / 3051 » Integer-Programming Software Systems |
165
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
165
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes an architecture analysis tool-set supporting the evolutionary improvement of the software architecture of an existing medical imaging system. The toolset has ...
175
click to vote
COMPSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
171
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we propose an analytical approach for estimating the reliability of a component-based software. This methodology assumes that the software components are heterogeneo...
181
click to vote
ISARCS
2010
15 years 10 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...