CERIOLI, MAURA
CERIOLI, MAURA
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A Formal Framework with Late Binding
1999-01-01 Ancona, Davide; Cerioli, Maura; Zucca, Elena
A Lazy Approach to Partial Algebras
1995-01-01 Cerioli, Maura
A Phased Highly-Interactive Approach to Teaching UML-based Software Development
2007-01-01 Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna; Ricca, Filippo
A sound and equationally-complete deduction system for partial conditional (higher order) types
1989-01-01 Cerioli, Maura
Algebraic-Oriented Institutions
1994-01-01 Cerioli, Maura; Reggio, Gianna
An Algebraic Semantics of UML Supporting its Multiview Approach
2000-01-01 Reggio, Gianna; Cerioli, Maura; Astesiano, Egidio
Architecture Specific Models: Software Design on Abstract Platforms
2002-01-01 Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna
Basic Concepts (Chapter 1)
1998-01-01 Cerioli, Maura
CASL Semantics (Part III)
2003-01-01 H., Baumeister; Cerioli, Maura; A., Haxthausen; T., Mossakowski; P. D., Mosses; D., Sannella; A., Tarlecki
Civic participation powered by Ethereum: A proposal
2019-01-01 Cerioli, M.; Ribaudo, M.
COVID-19 hits the job market: An 88 million job ads analysis
2021-01-01 Cerioli, M.; Leotta, M.; Ricca, F.
DOCASL: an Observer-based CASL extension for Dynamic Specifications
2006-01-01 Dell'Amico, M.; Cerioli, Maura
Extending Casl by Late Binding
2000-01-01 Ancona, Davide; Cerioli, Maura; Zucca, Elena
Fight silent horror unit test methods by consulting a TestWizard
2021-01-01 Cerioli, M.; Lagorio, G.; Leotta, M.; Ricca, F.
Fluent vs Basic Assertions in Java: An Empirical Study
2018-01-01 Leotta, Maurizio; Cerioli, Maura; Olianas, Dario; Ricca, Filippo
Free Objects and Equational Deduction for Partial Conditional Specifications
1995-01-01 Astesiano, Egidio; Cerioli, Maura
From ADT to UML-Like Modelling (Short Abstract)
2001-01-01 Astesiano, Egidio; Cerioli, Maura; Reggio, Gianna
From Formal Techniques to Well-Founded Software Development Methods
2003-01-01 Astesiano, Egidio; Reggio, Gianna; Cerioli, Maura
From Total Equational to Partial Conditional (Chapter 3)
1999-01-01 Cerioli, Maura; T., Mossakowski; H., Reichel
Fundamental Approaches to Software Engineering, 8th International Conference, held as part of ETAPS 2005. Edinburgh, UK, April 2005, Proceedings
2005-01-01 Cerioli, Maura