PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Muccini H., Pelliccione P. Guaranteeing correct evolution of software product Lines. In: ERCIM News, vol. 88 pp. 40 - 41. Special issue: Evolving Software. ERCIM, 2012.
 
 
Abstract
(English)
Researchers from the Software Engineering and Architecture group, University of L'Aquila, together with the Formal Methods and Tools group of ISTI-CNR are developing a novel approach that extends and adapts assume-guarantee reasoning to evolving SPLs in order to guarantee resilience against changes in the product environment. The proposal is to selectively verify and test assume-guarantee properties over only the components affected by the changes.
URL: http://ercim-news.ercim.eu/en88/special/guaranteeing-correct-evolution-of-software-product-lines
Subject Software Product Lines
Assume-guarantee reasoning
Software evolution
Model problems
Formal verification
D.2.2 Design Tools and Techniques
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional