Results 1 - 10 of 177

Type-Safe Prototype-Based Component Evolution.

by Matthias Zenger - In Proceedings of the European Conference on Object-Oriented Programming, , 2002
"... Abstract. Component-based programming is currently carried out using mainstream object-oriented languages. These languages have to be used in a highly disciplined way to guarantee flexible component composition and extensibility. This paper investigates abstractions for component-oriented programmi ..."
Abstract - Cited by 42 (8 self) - Add to MetaCart
and compose software components, while supporting features like explicit context dependencies, late composition, unanticipated component extensibility, and strong encapsulation. We present a type system for our calculus that ensures type-safe component definition, composition, and evolution.

A Type-Safe Model of Adaptive Object Groups ∗

by Joakim Bjørk, Dave Clarke, Einar Broch Johnsen
"... Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at runtime. Designing software services and composing services in order to form applications or composite services requires abstractions b ..."
Abstract - Add to MetaCart
Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at runtime. Designing software services and composing services in order to form applications or composite services requires abstractions

This work is licensed under the Creative Commons Attribution License. A Type-Safe Model of Adaptive Object Groups ∗

by Joakim Bjørk, Dave Clarke, Einar Broch Johnsen
"... Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at runtime. Designing software services and composing services in order to form applications or composite services requires ab-stractions ..."
Abstract - Add to MetaCart
Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at runtime. Designing software services and composing services in order to form applications or composite services requires ab

A calculus for uniform feature composition

by Sven Apel, Delesley Hutchins , 2010
"... The goal of feature-oriented programming (FOP) is to modularize software systems in terms of fea-tures. A feature refines the content of a base program. Both base programs and featuresmay contain various kinds of software artifacts, for example, source code in different languages, models, build scri ..."
Abstract - Cited by 24 (13 self) - Add to MetaCart
be used to compose features containing many different kinds of artifact in a type-safe way. The calculus allows us to gain insight into the principles of FOP and to define general algo-rithms for feature composition and validation.We provide the formal syntax, operational semantics, and type system of g

A Machine-Checked Model of Safe Composition

by Benjamin Delaware, William Cook, Don Batory - In Proceedings of the International Workshop on Foundations of Aspect-Oriented Languages (FOAL , 2009
"... Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of features are meaningful; feature models express the highlevel domain constraints that govern feature compatibility. Product ..."
Abstract - Cited by 23 (3 self) - Add to MetaCart
. Product line developers also face the problem of safe composition — whether every product allowed by a feature model is type-safe when compiled and run. To study the problem of safe composition, we present Lightweight Feature Java (LFJ), an extension of Lightweight Java with support for features. We

Aspectual Feature Modules

by Sven Apel, Thomas Leich, Gunter Saake, Ieee Computer Society - IEEE Trans. Software Engineering (TSE , 2008
"... Abstract—Two programming paradigms are gaining attention in the overlapping fields of software product lines (SPLs) and incremental software development (ISD). Feature-oriented programming (FOP) aims at large-scale compositional programming and feature modularity in SPLs using ISD. Aspect-oriented p ..."
Abstract - Cited by 89 (56 self) - Add to MetaCart
Abstract—Two programming paradigms are gaining attention in the overlapping fields of software product lines (SPLs) and incremental software development (ISD). Feature-oriented programming (FOP) aims at large-scale compositional programming and feature modularity in SPLs using ISD. Aspect-oriented

Design, Distribution and Management of Object-Oriented Software

by David L. Cohn, Dinesh C. Kulkarni, Arindam Banerji, Arindam Banerji, David Cohn, Dinesh Kulkarni , 1994
"... The promise of object-oriented software has been somewhat dimmed by the continuing need for source code familiarity to realize the goals of code-reuse and manageability. Software design has been hampered by the infeasibility of predicting all possible circumstances of use. Composing applications out ..."
Abstract - Add to MetaCart
and modification of software without recompilations or source-code familiarity is described. Partially resolved loadable subclasses that may be distributed as reusable units for type-safe application composition. Specific programming guidelines which allow implementors to create software that may be fine

Feature-Oriented Model-Driven Software Product Lines: The TENTE approach

by Lidia Fuentes, Carlos Nebrera, Pablo Sánchez - in Proceedings of the Forum of the 21st International Conference on Advanced Information Systems (CAiSE , 2009
"... Abstract. In recent years, modern techniques for advanced separation of concerns and Model-Driven Development (MDD) have provided new means for improving the current methods of Software Product Line (SPL) Engineering. Mechanisms such as family polymorphism and mixin composition can be used to improv ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
Abstract. In recent years, modern techniques for advanced separation of concerns and Model-Driven Development (MDD) have provided new means for improving the current methods of Software Product Line (SPL) Engineering. Mechanisms such as family polymorphism and mixin composition can be used

Fitting the Pieces Together: A Machine-Checked Model of Safe Composition

by Benjamin Delaware , William R Cook , Don Batory - In Proc. Int. Symp. Foundations of Software Engineering (FSE , 2009
"... ABSTRACT Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of features are meaningful; feature models express the highlevel domain constraints that govern feature compatibility. ..."
Abstract - Cited by 32 (0 self) - Add to MetaCart
. Product line developers also face the problem of safe composition -whether every product allowed by a feature model is type-safe when compiled and run. To study the problem of safe composition, we present Lightweight Feature Java (LFJ), an extension of Lightweight Java with support for features. We define

Design, Distribution and Management of Object-Oriented Software

by Arindam Banerji, David L. Cohn, Dinesh C. Kulkarni, Arindam Banerji, David Cohn, Dinesh Kulkarni , 1994
"... The promise of object-oriented software has been somewhat dimmed by the continuing need for source code familiarity to realize the goals of code-reuse and manageability. Software design has been hampered by the infeasibility of predicting all possible circumstances of use. Composing applications out ..."
Abstract - Add to MetaCart
and modification of software without recompilations or source-code familiarity is described. Partially resolved loadable subclasses that may be distributed as reusable units for type-safe application composition. Specific programming guidelines which allow implementors to create software that may be fine
Results 1 - 10 of 177