Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

A Formal Model for Multi SPLs

Contributo in Atti di convegno
Data di Pubblicazione:
2017
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.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Analysis techniques, Compositional analysis, Core calculus, Formal model, Java program, Modular approach, Software product lines
Elenco autori:
Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
Autori di Ateneo:
DAMIANI Ferruccio
PAOLINI Luca Luigi
Link alla scheda completa:
https://iris.unito.it/handle/2318/79965
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/79965/392438/LNCS-FSEN-PostProc-2017-Damiani-et-al-OPEN.pdf
Titolo del libro:
Fundamentals of Software Engineering. FSEN 2017
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Dati Generali

Dati Generali

URL

https://link.springer.com/chapter/10.1007%2F978-3-319-68972-2_5; http://springerlink.com/content/0302-9743/copyright/2005/
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0