96 search results - page 3 / 20 » Formal specification of non-functional properties of compone... |
COMPSAC
2005
IEEE
13 years 7 months ago
2005
IEEE
Component-based software development (CBSD) offers many advantages like reduced product time to market, reduced complexity and cost etc. Despite these advantages its wide scale ut...
FMCO
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
CORR
2010
Springer
13 years 5 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...
CCGRID
2006
IEEE
13 years 12 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
COMPSAC
2007
IEEE
13 years 9 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...