Sciweavers

714 search results - page 25 / 143
» Supporting Multidisciplinary Software Composition for Intera...
Sort
View
CBSE
2008
Springer
14 years 11 months ago
State Space Reduction Techniques for Component Interfaces
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
Markus Lumpe, Lars Grunske, Jean-Guy Schneider
IPPS
2003
IEEE
15 years 2 months ago
A Performance Interface for Component-Based Applications
This work targets the emerging use of software component technology for high-performance scientific parallel and distributed computing. While component software engineering will ...
Sameer Shende, Allen D. Malony, Craig Edward Rasmu...
CSFW
1999
IEEE
15 years 2 months ago
Secure Composition of Insecure Components
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
Peter Sewell, Jan Vitek
EUROMICRO
2004
IEEE
15 years 1 months ago
A Framework for Interactive Visualization of Component-Based Software
In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate ho...
Alexandru Telea, Lucian Voinea
KBSE
1997
IEEE
15 years 1 months ago
Interactive Component-Based Software Development with Espresso
There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
T. Faison