1746 search results - page 72 / 350 » Residual for Component Specifications |
124
click to vote
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
155
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
Independent component analysis (ICA) is not only popular for blind source separation but also for unsupervised learning when the observations can be decomposed into some independe...
169
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
Testing plays an important role in the maintenance of Component Based Software Development. Test adequacy for component testing is one of the hardest issues for component testing....
133
click to vote
DAIS
2001
15 years 5 months ago
2001
To support rapid software evolution, it is desirable to construct software systems from reusable components. In this approach, the architecture of a system is described as a collec...
140
click to vote
ENTCS
2006
15 years 3 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...