503 search results - page 1 / 101 » A Framework for Reasoning on Component Composition |
IWFM
2000
13 years 6 months ago
2000
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
FMCO
2009
Springer
13 years 2 months ago
2009
Springer
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
COMPSAC
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
ASWEC
2004
IEEE
13 years 8 months ago
2004
IEEE
This paper presents a security characterisation process framework for software components and their compositions in order to address the issue of trust in component based software...
CONCUR
2003
Springer
13 years 9 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...