1012 search results - page 87 / 203 » Towards Component-Based Software Engineering |
142
click to vote
AC
1999
Springer
15 years 11 months ago
1999
Springer
The FlexiNet Platform is a Java middleware platform that features a component based ‘white-box’ approach with strong emphasis placed on reflection and introspection at all lev...
142
Voted
ICFEM
1997
Springer
15 years 10 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...
190
click to vote
IUI
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we present IVEA, a personalized visual interface which enables users to explore text collections from different perspectives and levels of detail. This work explores...
130
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
169
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...