553 search results - page 5 / 111 » A Perspective on Component Refinement |
SAC
2005
ACM
15 years 3 months ago
2005
ACM
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited t...
73
Voted
ASWEC
2006
IEEE
15 years 3 months ago
2006
IEEE
The paper proposes an assessment scheme for the security properties of software components. The proposed scheme consists of three stages: (i) a system-specific security requireme...
SSR
2001
14 years 10 months ago
2001
ICFEM
1997
Springer
15 years 1 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
ENTCS
2006
14 years 9 months ago
2006
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...