Sciweavers

1162 search results - page 64 / 233
» Specifying Reusable Components
Sort
View
ISTA
2001
14 years 11 months ago
Supporting Behavioral Contracts for COM Components
: Specifying behavioral specifications for components apart from the conventional syntactic interface specifications can be very useful in component based system development. Preco...
Sonal Bhagat, Rushikesh K. Joshi
ASWEC
2004
IEEE
15 years 1 months ago
A Process Framework for Characterising Security Properties of Component-Based Software Systems
This paper presents a security characterisation process framework for software components and their compositions in order to address the issue of trust in component based software...
Khaled M. Khan, Jun Han
FMCO
2008
Springer
143views Formal Methods» more  FMCO 2008»
14 years 11 months ago
An Asynchronous Distributed Component Model and Its Semantics
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
Ludovic Henrio, Florian Kammüller, Marcela Ri...
ISORC
2000
IEEE
15 years 2 months ago
Component Customization for Object-Oriented Distributed Real-Time Software Development
To apply the component-based approach to distributed real-time software development, it is necessary to identify components based on both functional and real-time requirements. Si...
Stephen S. Yau, Fariaz Karim
ARCS
2006
Springer
15 years 1 months ago
Constraint-Based Deployment of Distributed Components in a Dynamic Network
Hierarchical software components offer interesting characteristics for the development of complex applications. However, supporting the deployment of such applications is difficult...
Didier Hoareau, Yves Mahéo