Sciweavers

799 search results - page 9 / 160
» Refinement and Separation Contexts
Sort
View
AMAST
2004
Springer
14 years 2 months ago
Separate Compositional Analysis of Class-Based Object-Oriented Languages
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
Francesco Logozzo
CBSE
2008
Springer
13 years 10 months ago
Life-Cycle Aware Modelling of Software Components
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...
Heiko Koziolek, Steffen Becker, Jens Happe, Ralf R...
FOAL
2008
ACM
13 years 10 months ago
Certificate translation for specification-preserving advices
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
Gilles Barthe, César Kunz
ECSA
2010
Springer
13 years 9 months ago
Architecture-Centric Component-Based Development Needs a Three-Level ADL
Abstract. Architecture-centric, component-based development intensively reuses components from repositories. Such development processes produce architecture definitions, using arch...
Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Va...
CVGIP
2000
124views more  CVGIP 2000»
13 years 8 months ago
Hierarchical Solutions for the Deformable Surface Problem in Visualization
In this paper we present a hierarchical approach for the deformable surface technique. This technique is a three dimensional extension of the snake segmentation method. We use it ...
Christoph Lürig, Leif Kobbelt, Thomas Ertl