Sciweavers

12

CBSE
2007
Springer

72views Software Engineering» more CBSE 2007»

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

13 years 10 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 »

9

CBSE
2007
Springer

105views Software Engineering» more CBSE 2007»

Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems

13 years 10 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 »

15

CBSE
2007
Springer

94views Software Engineering» more CBSE 2007»

Binary Change Set Composition

13 years 10 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 »

13

CBSE
2007
Springer

194views Software Engineering» more CBSE 2007»

Data Encapsulation in Software Components

13 years 10 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 »

16

CBSE
2007
Springer

103views Software Engineering» more CBSE 2007»

Towards Composing Software Components in Both Design and Deployment Phases

13 years 10 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 »

19

CBSE
2007
Springer

210views Software Engineering» more CBSE 2007»

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

13 years 10 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 »

9

CBSE
2007
Springer

99views Software Engineering» more CBSE 2007»

Performance-Driven Interface Contract Enforcement for Scientific Components

13 years 10 months ago

Performance-Driven Interface Contract Enforcement for Scientific Components

Download www.cs.ucdavis.edu

Tamara Dahlgren

claim paper

Read More »

11

CBSE
2007
Springer

80views Software Engineering» more CBSE 2007»

Capturing Web Services Provider Constraints - An Algorithmic Approach

13 years 10 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 »

12

CBSE
2007
Springer

77views Software Engineering» more CBSE 2007»

Slicing of Component Behavior Specification with Respect to Their Composition

13 years 10 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 »

12

CBSE
2007
Springer

87views Software Engineering» more CBSE 2007»

Dynamic Adaptation of Aspect-Oriented Components

13 years 10 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 »