Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

damiani2019scico172 (Article)
Author(s) Ferruccio Damiani, Michael Lienhardt and Luca Paolini
Title« A formal model for Multi Software Product Lines »
JournalScience of Computer Programming
Volume172
Page(s)203 - 231
Year2019
ISSN number0167-6423
URLhttp://www.sciencedirect.com/science/article/pii/S0167642318300364
Abstract & Keywords
A Software Product Line (SPL) is a family of similar programs generated from a common artifact base. A Multi SPL (MPL) is a set of interdependent SPLs that are typically managed and developed in a decentralized fashion. Delta-Oriented Programming (DOP) is a flexible and modular approach to implement SPLs. This paper presents new concepts that extend DOP to support the implementation of MPLs. These extensions aim to accommodate compositional analyses. They are presented by means of a core calculus for delta-oriented MPLs of Java programs. Suitability for MPL compositional analyses is demonstrated by compositional reuse of existing SPL analysis techniques.

Keywords: Core calculus, Delta-oriented programming, Featherweight Java, Multi software product line

BibTeX code

@article{damiani2019scico172,
  volume = {172},
  author = {Ferruccio Damiani and Michael Lienhardt and Luca Paolini},
  issn = {0167-6423},
  keywords = {Core calculus, Delta-oriented programming, Featherweight Java,
              Multi software product line},
  url = {http://www.sciencedirect.com/science/article/pii/S0167642318300364},
  abstract = {A Software Product Line (SPL) is a family of similar programs
              generated from a common artifact base. A Multi SPL (MPL) is a set
              of interdependent SPLs that are typically managed and developed in
              a decentralized fashion. Delta-Oriented Programming (DOP) is a
              flexible and modular approach to implement SPLs. This paper
              presents new concepts that extend DOP to support the
              implementation of MPLs. These extensions aim to accommodate
              compositional analyses. They are presented by means of a core
              calculus for delta-oriented MPLs of Java programs. Suitability for
              MPL compositional analyses is demonstrated by compositional reuse
              of existing SPL analysis techniques.},
  title = {A formal model for Multi Software Product Lines},
  pages = {203 - 231},
  journal = {Science of Computer Programming},
  doi = {https://doi.org/10.1016/j.scico.2018.11.005},
  year = {2019},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!