235 search results - page 13 / 47 » Software Semantic Provisioning: Actually Reusing Software |
WCRE
2009
IEEE
14 years 4 months ago
2009
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
JBCS
2002
13 years 9 months ago
2002
Component Based Development (CBD) aims at constructing software through the integration, using interfaces and contracts, between pre-existing components. The main goal of this wor...
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
COMPSAC
2004
IEEE
14 years 1 months ago
2004
IEEE
Context-sensitive middleware-based software is an emerging kind of ubiquitous computing application. The components of such software communicate proactively among themselves accor...
FIDJI
2003
Springer
14 years 3 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...