CERIOLI, MAURA

CERIOLI, MAURA  

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

Mostra records
Risultati 1 - 20 di 56 (tempo di esecuzione: 0.056 secondi).
Titolo Data di pubblicazione Autore(i) File
A Formal Framework with Late Binding 1-gen-1999 Ancona, Davide; Cerioli, Maura; Zucca, Elena
A Lazy Approach to Partial Algebras 1-gen-1995 Cerioli, Maura
A Phased Highly-Interactive Approach to Teaching UML-based Software Development 1-gen-2007 Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna; Ricca, Filippo
A sound and equationally-complete deduction system for partial conditional (higher order) types 1-gen-1989 Cerioli, Maura
Algebraic-Oriented Institutions 1-gen-1994 Cerioli, Maura; Reggio, Gianna
An Algebraic Semantics of UML Supporting its Multiview Approach 1-gen-2000 Reggio, Gianna; Cerioli, Maura; Astesiano, Egidio
Architecture Specific Models: Software Design on Abstract Platforms 1-gen-2002 Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna
Basic Concepts (Chapter 1) 1-gen-1998 Cerioli, Maura
CASL Semantics (Part III) 1-gen-2003 H., Baumeister; Cerioli, Maura; A., Haxthausen; T., Mossakowski; P. D., Mosses; D., Sannella; A., Tarlecki
Civic participation powered by Ethereum: A proposal 1-gen-2019 Cerioli, M.; Ribaudo, M.
COVID-19 hits the job market: An 88 million job ads analysis 1-gen-2021 Cerioli, M.; Leotta, M.; Ricca, F.
COVID-19 Impacts on the IT Job Market: A Massive Job Ads Analysis 1-gen-2023 Cerioli, M.; Leotta, M.; Ricca, F.
DOCASL: an Observer-based CASL extension for Dynamic Specifications 1-gen-2006 Dell'Amico, M.; Cerioli, Maura
Enlisting Students in Gamifying Software Testing Education: Results and Key Insights 1-gen-2024 Cerioli, M.; Leotta, M.; Ribaudo, M.
Extending Casl by Late Binding 1-gen-2000 Ancona, Davide; Cerioli, Maura; Zucca, Elena
Fight silent horror unit test methods by consulting a TestWizard 1-gen-2021 Cerioli, M.; Lagorio, G.; Leotta, M.; Ricca, F.
Fluent vs Basic Assertions in Java: An Empirical Study 1-gen-2018 Leotta, Maurizio; Cerioli, Maura; Olianas, Dario; Ricca, Filippo
Free Objects and Equational Deduction for Partial Conditional Specifications 1-gen-1995 Astesiano, Egidio; Cerioli, Maura
From ADT to UML-Like Modelling (Short Abstract) 1-gen-2001 Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna
From Formal Techniques to Well-Founded Software Development Methods 1-gen-2003 Astesiano, Egidio; Reggio, Gianna; Cerioli, Maura