15 search results - page 1 / 3 » Verification of Component-Based Software Application Familie... |
CBSE
2006
Springer
13 years 8 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
CD
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
SIGSOFT
2003
ACM
14 years 5 months ago
2003
ACM
Although a software application always executes within a particular environment, current testing methods have largely ignored these environmental factors. Many applications execut...
ICTAI
2007
IEEE
13 years 11 months ago
2007
IEEE
The provision of embedding neural networks into software applications can enable variety of Artificial Intelligence systems for individual users as well as organizations. Previous...