553 search results - page 2 / 111 » A Perspective on Component Refinement |
FMCO
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
COMPOS
1997
Springer
13 years 9 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
TIT
2010
13 years 4 hour ago
2010
The well-known successive refinement scenario is extended to vector sources where individual distortion constraints are posed on every vector component. This extension is then util...
IFM
2000
Springer
13 years 9 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
INEX
2004
Springer
13 years 10 months ago
2004
Springer
Queries over XML documents challenge search engines to return the most relevant XML components that satisfy the query concepts. In a previous work[6] we described an algorithm to ...