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.
COVID-19 Impacts on the IT Job Market: A Massive Job Ads Analysis
2023-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
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 | |
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 | |
From Total Equational to Partial Conditional (Chapter 3) | 1-gen-1999 | Cerioli, Maura; T., Mossakowski; H., Reichel |