310 search results - page 16 / 62 » Symbolic Model Based Testing for Component Oriented Systems |
DAGSTUHL
2006
13 years 9 months ago
2006
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...
JUCS
2007
13 years 7 months ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
EDOC
2007
IEEE
14 years 1 months ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
PDPTA
2004
13 years 9 months ago
2004
Grid computing and cluster computing platforms are becoming the primary development platforms for pervasive computing. The primary problem associated with both computational grids...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...