System and Software Evaluation Center (SSE)

home | people | topics | projects | publications | software | news


Publications

2002  2003  2004  2005  2006  2007  2008  2009  2010  2011  2012  2013  2014  2015  2016  2017 

 
PUMA, and MetaPub allow for more selective retrieval from the collections of the CNR Institutes; in particular from the CSCE, CNUCE, IEI, and ISTI collections.


Proceedings

   2011
1Buglione L., Lami G. A proposal for a new common scope for automotive SPICE: six reasons for adding the MAN.6 process. In: Automotive SYS 2011 - 1st VDA Automotive SYS conference (Berlin, 5-6 July 2011). Proceedings, article n. C1.1. DNV, 2011.  
2Dussa-Zieger K., Earthy J., Johansson M., Lami G. ISO/IEC 15504-10 vs. ISO 26262: Mutual Relationships. In: Automotive SYS - 1st VDA Automotive SYS Conference (Berlin, 5-6 July 2011). Proceedings, article n. D1-2. VDA, 2011.  
3Fabbrini F., Fusani M., Marchetti E. Process scenarios in open source software certification. In: OpenCert 2011 - 5th International Workshop on Foundation and Techniques for Open Source Certification (Montevideo, Uruguay, 14-15 November 2011). Proceedings, pp. 3 - 18. European Association of Software Science and Technology, 2011.     
4Lami G., Fabbrini F., Fusani M. ISO/IEC 15504-10: Motivations for Another Safety Standard. In: SAFECOMP 2011 - 30th International Conference on Computer Safety, Reliability and Security (Napoli, 19-22 September 2011). Proceedings, pp. 284 - 295. F. Flammini, S. Bologna, V. Vittorini (eds.). (Lecture Notes in Computer Science, vol. 6894). Springer, 2011.        
5Lami G., Fabbrini F., Fusani M. ISO/IEC 15504-10: motivations for a new safety standard. In: The IET System Safety Conference (Birmingham, 20 - 22 September 2011). Proceedings, article n. 027. IET, 2011.  
6Lami G., Fabbrini F., Fusani M. Is automotive SPICE Suitable to assess product lines-based software process?. In: EERC-ECBS - 2nd Eastern European Regional Conference on the Engineering of Computer Based Systems (Bratislava, 5-6 September 2011). Proceedings, pp. 157 - 158. CPS Conference Publishing Service, 2011.  

Technical reports

   2011
1Biscoglio I., Coco A., Trentanni G. Cartelle sanitarie e di rischio: un'esperienza di certificazione. Technical report, 2011.  
2Biscoglio I., Coco A. Definizione di una procedura per l'esecuzione di Process Assessment conforme allo Standard ISO/IEC 15504. Technical report, 2011.  
3Bucchiarone A., Gnesi S., Lami G., Trentanni G., Fantechi A. QuARS Express: A Tool for Evaluating Natural Language Requirements. Technical report, 2011.  
4Coco A., Trentanni G. Certificazione di Apparecchi Misuratori Fiscali: passato, presente e futuro. Technical report, 2011.  
5Coco A., Biscoglio I. Progetto di uno strumento a supporto dell'attività di "Process Assessment". Technical report, 2011.  
6Fantechi A., Meolic R., Gnesi S., Trentanni G. WCS: a Witness and Counterexample Server. Technical report, 2011.  
7Gnesi S., Trentanni G. The HAL-online Tool. Technical report, 2011.  
8Trentanni G. Addressing Readability in NL Requirements Analysis. Technical report, 2011.  
9Trentanni G. QuARS Express - User Manual (version 0.1). Internal note, 2011.  
10Trentanni G. QuARS versus QuARS Express. Technical report, 2011.  
comments to