IRIS

CERIOLI, MAURA

CERIOLI, MAURA  

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

Mostra records
Risultati 1 - 20 di 27 (tempo di esecuzione: 0.041 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
Algebraic-Oriented Institutions 1-gen-1994 Cerioli, Maura; Reggio, Gianna
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
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
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
Great is the enemy of good: is perfecting specific courses harmful to global curricula performances? 1-gen-2009 Cerioli, Maura; Ribaudo, Marina
Implementation of Derived Programs (Almost) for Free 1-gen-1998 Cerioli, Maura; Zucca, Elena
Institutions for Very Abstract Specifications 1-gen-1993 Cerioli, Maura; Reggio, Gianna
LMS Adoption at the University of Genova: Ten Years After 1-gen-2011 Cerioli, Maura; Ribaudo, Marina; Rui, Marina
May I Borrow Your Logic? 1-gen-1993 Cerioli, Maura; J., Meseguer
Multiparadigm Specification Languages: a First Attempt at Foundations 1-gen-1994 Astesiano, Egidio; Cerioli, Maura
Non-strict Don't Care Algebras and Specifications 1-gen-1992 Astesiano, Egidio; Cerioli, Maura
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications 1-gen-1989 Astesiano, Egidio; Cerioli, Maura
Partial Higher-Order Specifications 1-gen-1991 Astesiano, Egidio; Cerioli, Maura