Sciweavers

695 search results - page 11 / 139
» Refactoring Feature Modules
Sort
View
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
14 years 9 days ago
rCOS: Refinement of Component and Object Systems
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...
Zhiming Liu, Jifeng He, Xiaoshan Li
GPCE
2008
Springer
13 years 9 months ago
On the modularity of feature interactions
Feature modules are the building blocks of programs in software product lines (SPLs). A foundational assumption of feature-based program synthesis is that features are composed in...
Chang Hwan Peter Kim, Christian Kästner, Don ...
IROS
2008
IEEE
141views Robotics» more  IROS 2008»
14 years 3 months ago
Active sensing based dynamical object feature extraction
— This paper presents a method to autonomously extract object features that describe their dynamics from active sensing experiences. The model is composed of a dynamics learning ...
Shun Nishide, Tetsuya Ogata, Ryunosuke Yokoya, Jun...
ECOOP
2006
Springer
14 years 8 days ago
Parameterized Modules for Classes and Extensible Functions
Abstract. We present F(Eml), a language that combines classes, extensible functions, symmetric multiple dispatching, and a practical system for parameterized modules. Parameterized...
Keunwoo Lee, Craig Chambers
ERLANG
2007
ACM
14 years 14 days ago
An Erlang framework for autonomous mobile robots
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
Corrado Santoro