Sciweavers

1651 search results - page 23 / 331
» Negotiable Interfaces for Components
Sort
View
ENTCS
2010
99views more  ENTCS 2010»
13 years 7 months ago
Describing Secure Interfaces with Interface Automata
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
Matias Lee, Pedro R. D'Argenio
DEXAW
1998
IEEE
92views Database» more  DEXAW 1998»
13 years 12 months ago
Self-Configuring Components for Client-/Server-Applications
A mechanistic view of software component assembly implies exact matching and fitting of the particular components. We argue that components for large-scale software construction s...
Wolfgang Pree, Egbert Althammer, Hermann Sikora
GPCE
2008
Springer
13 years 8 months ago
Property models: from incidental algorithms to reusable components
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
Jaakko Järvi, Mat Marcus, Sean Parent, John F...
AMAST
2004
Springer
14 years 1 months ago
Behavioural Types and Component Adaptation
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for t...
Antonio Brogi, Carlos Canal, Ernesto Pimentel
SOFTWARE
1998
13 years 7 months ago
Focus on Components
A software component is typically modeled from one or more of four functional aspects: interface, static behavior, dynamic behavior, and interaction protocol. Each of these aspect...