2810 search results - page 77 / 562 » Contract-Based Component System Design |
IPPS
2007
IEEE
15 years 5 months ago
2007
IEEE
The paper presents a software component that enables NetSolve with direct communications between servers in a non-intrusive and incremental way. Non-intrusiveness means that the s...
89
Voted
COMPSAC
1997
IEEE
15 years 3 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
EUROMICRO
2007
IEEE
15 years 5 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
90
Voted
KBSE
2007
IEEE
15 years 5 months ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...
101
click to vote
MIDDLEWARE
2004
Springer
15 years 4 months ago
2004
Springer
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adap...