IRIS

CERIOLI, MAURA

CERIOLI, MAURA  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.022 secondi).
Titolo Data di pubblicazione Autore(i) File
COVID-19 Impacts on the IT Job Market: A Massive Job Ads Analysis 1-gen-2023 Cerioli, M.; Leotta, M.; Ricca, F.
Fight silent horror unit test methods by consulting a TestWizard 1-gen-2023 Cerioli, M.; Lagorio, G.; Leotta, M.; Ricca, F.
Free Objects and Equational Deduction for Partial Conditional Specifications 1-gen-1995 Astesiano, Egidio; Cerioli, Maura
May I Borrow Your Logic? (Transporting Logical Structures along Maps) 1-gen-1997 Cerioli, Maura; Meseguer, J.
Non-strict Don't Care Algebras and Specifications 1-gen-1996 Astesiano, Egidio; Cerioli, Maura
Partial Higher-Order Specifications 1-gen-1992 Astesiano, Egidio; Cerioli, Maura
Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development 1-gen-2020 Leotta, Maurizio; Cerioli, Maura; Olianas, Dario; Ricca, Filippo
Very Abstract Specifications: A Formalism Independent Approach 1-gen-1998 Cerioli, Maura; Reggio, Gianna
What are IoT systems for real? An experts’ survey on software engineering aspects 1-gen-2020 Reggio, G.; Leotta, M.; Cerioli, M.; Spalazzese, R.; Alkhabbas, F.