614 search results - page 10 / 123 » Design Methodology for a Modular Component Based Software Ar... |
ADAEUROPE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific com...
GLVLSI
2005
IEEE
14 years 1 months ago
2005
IEEE
Embedded software is a preferred choice for implementing system functionality in modern System-on-Chip (SoC) designs, due to the high flexibility, and lower engineering costs pro...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
ECBS
2005
IEEE
14 years 1 months ago
2005
IEEE
Architecture modeling is practiced extensively in the software industry but there is little attention paid to the traceability, verifiability and completeness of architecture desi...
ICSE
1995
IEEE-ACM
13 years 11 months ago
1995
IEEE-ACM
-- While a large fraction of application code is devoted to graphical user interface (GUI) functions, support for reuse in this domain has largely been confined to the creation of...