@inproceedings{DamianiPadovaniSchaefer12,
  volume = {48},
  author = {Ferruccio Damiani and Luca Padovani and Ina Schaefer},
  issue = {3},
  series = {ACM SIGPLAN Notices},
  booktitle = {Proceedings of the International Conference on Generative
               Programming and Component Engineering (GPCE'12)},
  url = {http://www.di.unito.it/~padovani/Papers/DamianiPadovaniSchaefer12.pdf},
  abstract = { Delta-oriented programming (DOP) is a flexible approach for
              implementing software product lines (SPLs). Delta-oriented SPLs
              are implemented by a code base (a set of delta modules
              encapsulating changes to object-oriented programs) and a product
              line declaration (providing the connection of the delta modules
              with the product features). In this paper, we extend DOP by the
              capability to switch the implemented product configuration at
              runtime and present a formal foundation for dynamic DOP. A dynamic
              DOP SPL is a DOP SPL with a dynamic reconfiguration graph that
              specifies how to switch between different feature configurations.
              Dynamic DOP supports (unanticipated) software evolution such that
              at runtime, the product line declaration, the code base and the
              dynamic reconfiguration graph can be changed in any
              (unanticipated) way that preserves the currently running product.
              The type system of our dynamic DOP core calculus ensures that the
              dynamic reconfigurations lead to type safe products and do not
              cause runtime type errors. },
  title = {{A Formal Foundation for Dynamic Delta-Oriented Software Product
           Lines}},
  publisher = {ACM},
  doi = {10.1145/2371401.2371403},
  year = {2012},
  pages = {1-10},
}

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