Visualizza archivioStampa

Storia dell'Informatica

Storia dell'Informatica

Serie di seminari di Giovanni Cignoni per il corso di Cultura e Metodo Scientifico

Visualizza eventi (0)

Eventi

Eventi
Spiacente, nessuna descrizione disponibile

Visualizza eventi (0)

fACTORY seminars

fACTORY seminars

fACTORY (A Cycle of Talks on Research in industrY) seminars are aimed at discussing how research is done in leading computer science industries. Namely, invited speakers will illustrate how research is performed inside their company (motivation, business goals, procedures, business value, ...) so as to compare this with the basic research performed in the academy.

Visualizza eventi (0)

Modeling Techniques

Modeling Techniques

Modeling and Analysing Variability in Product Families

organized by Stefania Gnesi, ISTI CNR, Pisa

Software Product Line Engineering (SPLE) is a paradigm for developing a diversity of software product and software-intensive systems based on the underlying architecture of an organisation’s product platform. In the context of software Product Lines (SPLs) the introduction of variability in the software development cycle has been extensively studied.

Modelling variability in product families has been studied extensively in the literature on SPLs, especially that concerning feature modelling. Formal methods have been developed to show that a product belongs to a family or to derive instead a product from a family. The formal underpinnings of a modelling and analysis framework for the specification and verification of variability in product families is presented addressing variability at the behavioural level by modelling the family behaviour by means of a modal Transition System. Based on model checking tchniques for a logic suitable to express properties over MTSs, a modelling and verification framework will be presented.

Visualizza eventi (0)