Sciweavers

29

CBSE
2007
Springer

72views Software Engineering» more CBSE 2007»

A Framework for Contract-Based Collaborative Verification and Validation of Web Services

14 years 6 months ago

A Framework for Contract-Based Collaborative Verification and Validation of Web Services

Download goanna.cs.rmit.edu.au

Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei-Tek Tsa...

claim paper

Read More »

39

CBSE
2007
Springer

105views Software Engineering» more CBSE 2007»

Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems

14 years 6 months ago

Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems

Download goanna.cs.rmit.edu.au

Juraj Polakovic, Sebastien Mazare, Jean-Bernard St...

claim paper

Read More »

35

CBSE
2007
Springer

94views Software Engineering» more CBSE 2007»

Binary Change Set Composition

14 years 6 months ago

Binary Change Set Composition

Download homepages.cwi.nl

Binary component-based software updates that are eﬃcient, safe and generic still remain a challenge. Most existing deployment systems that achieve this goal have to control the c...

Tijs van der Storm

claim paper

Read More »

37

CBSE
2007
Springer

194views Software Engineering» more CBSE 2007»

Data Encapsulation in Software Components

14 years 6 months ago

Data Encapsulation in Software Components

Download www.cs.man.ac.uk

Data encapsulation is a familiar property in object-oriented programming. It is not only useful for modelling things in the real world, but it also facilitates reuse by enabling th...

Kung-Kiu Lau, Faris M. Taweel

claim paper

Read More »

34

CBSE
2007
Springer

103views Software Engineering» more CBSE 2007»

Towards Composing Software Components in Both Design and Deployment Phases

14 years 6 months ago

Towards Composing Software Components in Both Design and Deployment Phases

Download www.cs.man.ac.uk

In component-based software development, the design of components should be carried out separately from the deployment of components, in order to enable composition by independent ...

Kung-Kiu Lau, Ling Ling, Perla Velasco Elizondo

claim paper

Read More »

43

CBSE
2007
Springer

210views Software Engineering» more CBSE 2007»

An Approach for QoS Contract Negotiation in Distributed Component-Based Software

14 years 6 months ago

An Approach for QoS Contract Negotiation in Distributed Component-Based Software

Download goanna.cs.rmit.edu.au

Mesfin Mulugeta, Alexander Schill

claim paper

Read More »

28

CBSE
2007
Springer

99views Software Engineering» more CBSE 2007»

Performance-Driven Interface Contract Enforcement for Scientific Components

14 years 6 months ago

Performance-Driven Interface Contract Enforcement for Scientific Components

Download www.cs.ucdavis.edu

Tamara Dahlgren

claim paper

Read More »

25

CBSE
2007
Springer

80views Software Engineering» more CBSE 2007»

Capturing Web Services Provider Constraints - An Algorithmic Approach

14 years 6 months ago

Capturing Web Services Provider Constraints - An Algorithmic Approach

Download goanna.cs.rmit.edu.au

Sudeep Mallick, S. V. Subrahmanya

claim paper

Read More »

29

CBSE
2007
Springer

77views Software Engineering» more CBSE 2007»

Slicing of Component Behavior Specification with Respect to Their Composition

14 years 6 months ago

Slicing of Component Behavior Specification with Respect to Their Composition

Download d3s.mff.cuni.cz

Ondrej Sery, Frantisek Plasil

claim paper

Read More »

36

CBSE
2007
Springer

87views Software Engineering» more CBSE 2007»

Dynamic Adaptation of Aspect-Oriented Components

14 years 6 months ago

Dynamic Adaptation of Aspect-Oriented Components

Download goanna.cs.rmit.edu.au

Cristóbal Costa Soria, Jennifer Pére...

claim paper

Read More »