Evidence management for compliance of critical systems with safety standards: A survey on the state of practice
Sunil Nair, José Luis de la Vara González, Mehrdad Sabetzadeh, Davide Falessi
págs. 1-15
págs. 16-31
The CARE platform for the analysis of behavior model inference techniques
Sylvain Lamprier, Nicolas Baskiotis, Tewfik Ziadi, Lom Messan Hillah
págs. 32-50
págs. 51-76
Empirical evaluation of a decision support model for adopting software product line engineering
Eray Tüzün, Bedir Tekinerdogan, Mert Emin Kalender, Semih Bilgen
págs. 77-101
An empirical research agenda for understanding formal methods productivity
Ross Jeffery, Mark Staples, June Andronick, Gerwin Klein, Toby Murray
págs. 102-112
© 2001-2024 Fundación Dialnet · Todos los derechos reservados