3425 search results - page 189 / 685 » A Model Driven Approach for Software Systems Reliability |
IEE
2000
15 years 3 months ago
2000
: Existing approaches to modelling software systems all too often neglect the issue of component-mismatch identi
137
click to vote
ISCIS
2004
Springer
15 years 9 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
146
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Software engineering community has proposed several methods to evaluate software architectures with respect to desired quality attributes such as maintainability, performance, and...
141
click to vote
ETRICS
2006
15 years 7 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
128
click to vote
TASLP
2010
14 years 10 months ago
2010
The knowledge of the target speech presence probability in a mixture of signals captured by a speech communication system is of paramount importance in several applications includi...