PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Atlee J. M., (eds.) .. Proceedings FMSPLE 2015. In: 6th Workshop on Formal Methods and Analysis in SPL Engineering FMSPLE 2015, London, UK, 11 April 2015. Editorial, vol. 182 article n. 10.4204/EPTCS.182. Electronic Proceedings in Theoretical Computer Science, 2015.
 
 
Abstract
(English)
The workshop aims at reviewing the state of the art and the state of the practice in which formal methods and analysis approaches are currently applied in SPLE. This leads to a discussion of a research agenda for the extension of existing formal approaches and the development of new formal techniques for dealing with the particular needs of SPLE. To achieve the above objectives, the workshop is intended as a highly interactive event fostering discussion and initiating collaborations between the participants from both communities.
URL: http://arxiv.org/abs/1504.03014
DOI: 10.4204/EPTCS.182
Subject Software Product Line
Software Engineering
Formal Methods
D.2 SOFTWARE ENGINEERING
D.2.4 Software/Program Verification
F.3.1 Specifying and Verifying and Reasoning about Programs


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