ASIRELLI, PATRIZIA
ASIRELLI, PATRIZIA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Mostra
records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.024 secondi).
A logical framework to deal with variability
2010 Asirelli P.; Ter Beek M. H.; Fantechi A.; Gnesi S.
Un contributo informatico alla gestione della sicurezza negli ambienti sanitari
2002 Asirelli, P; Braccini, G; Caramella, D; Coco, A; Fabbrini, F
Using MedLan to integrate geographical data
2000 Aquilino D.; Asirelli P.; Formuso A.; Renso C.; Turini F.
Deductive proof of software properties
1999 Asirelli, P; Mazzanti, F
KINE a Knowledge Integration Environment
1998 Asirelli P.
Applying restriction constraints to deductive databases
1997 Aquilino D.; Asirelli P.; Renso C.; Turini F.
Towards an integrated envinronment for the specification, design and testing of quality software
1995 Asirelli, P; Bertolino, A; Gnesi, S
Graphics by a logic database management system
1994 Asirelli, P; Di Grande, D; Inverardi, P; Nicodemi, F
Integrity constraints in logic databases
1985 Asirelli P.; De Santis M.; Martelli M.
Costrutti e linguaggi di programmazione con controllo degli effetti laterali
1980 Asirelli P.; Martelli A.; Montanari U.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A logical framework to deal with variability | 1-gen-2010 | Asirelli P.; Ter Beek M. H.; Fantechi A.; Gnesi S. | |
| Un contributo informatico alla gestione della sicurezza negli ambienti sanitari | 1-gen-2002 | Asirelli, P; Braccini, G; Caramella, D; Coco, A; Fabbrini, F | |
| Using MedLan to integrate geographical data | 1-gen-2000 | Aquilino D.; Asirelli P.; Formuso A.; Renso C.; Turini F. | |
| Deductive proof of software properties | 1-gen-1999 | Asirelli, P; Mazzanti, F | |
| KINE a Knowledge Integration Environment | 1-gen-1998 | Asirelli P. | |
| Applying restriction constraints to deductive databases | 1-gen-1997 | Aquilino D.; Asirelli P.; Renso C.; Turini F. | |
| Towards an integrated envinronment for the specification, design and testing of quality software | 1-gen-1995 | Asirelli, P; Bertolino, A; Gnesi, S | |
| Graphics by a logic database management system | 1-gen-1994 | Asirelli, P; Di Grande, D; Inverardi, P; Nicodemi, F | |
| Integrity constraints in logic databases | 1-gen-1985 | Asirelli P.; De Santis M.; Martelli M. | |
| Costrutti e linguaggi di programmazione con controllo degli effetti laterali | 1-gen-1980 | Asirelli P.; Martelli A.; Montanari U. |