CNR Institutional Research Information System

ASIRELLI, PATRIZIA

ASIRELLI, PATRIZIA  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 20 di 128 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autore(i) File
4M: an Infrastructure for MultiMedia Metadata Management 1-gen-2007 Tampucci, M; Martinelli, M; Asirelli, P; Salvetti, O
A compositional framework to derive product line behavioural descriptions 1-gen-2012 Asirelli, P; TER BEEK, MAURICE HENRI; Fantechi, A; Gnesi, S
A declarative approach to the design and realization of graphic interfaces 1-gen-1995 Aquilino, D; Apuzzo, D; Asirelli, P
A declarative approach to the design and realization of graphic interfaces 1-gen-1994 Apuzzo, D; Aquilino, D; Asirelli, P
A deductive database support to the specification of concurrent system 1-gen-1996 Asirelli P.; Gnesi S.; Rossi M.C.
A deductive tool applied to the definition and verification of firewall policies 1-gen-2000 Asirelli P.; Fabbrini F.
A deontic logical framework for modelling product families 1-gen-2010 Asirelli, P; TER BEEK, MAURICE HENRI; Gnesi, S; Fantechi, A
A flexible environment for program development based on a symbolic interpreter 1-gen-1979 Asirelli P.; Degano P.; Levi G.; Martelli A.; Montanari U.; Pacini G.; Sirovich F.; Turini F.
A light weight name service and its use within a collaborative editor 1-gen-1995 Asirelli P.
A logic approach to configuration in ADA 1-gen-1985 Asirelli, P; Inverardi, P
A logic database for validating system models 1-gen-1996 Asirelli, P; Cook, S; Jeffery, K
A logic database to support configuration management in ADA 1-gen-1986 Asirelli, P; Inverardi, P
A logic database to support configuration management in ADA 1-gen-1987 Asirelli, P; Inverardi, P
A logic schema for a kernel configuration environment 1-gen-1989 Asirelli, P; Inverardi, P
A logical framework to deal with variability 1-gen-2010 Asirelli, P; H ter Beek, M; Fantechi, A; Gnesi, S
A logical framework to deal with variability 1-gen-2010 Asirelli P.; Ter Beek M. H.; Fantechi A.; Gnesi S.
A model-checking tool for families of services 1-gen-2011 Asirelli, P; Ter Beek, Mh; Fantechi, A; Gnesi, S
A proposal for a graphic-oriented logic database system 1-gen-1987 Asirelli P.; Castorina P.; Dettori G.
Algorithm representation use case 1-gen-2006 Martinelli, M; Salvetti, O; Little, S; Asirelli, P
Algorithm representation use case 1-gen-2006 Martinelli, M; Salvetti, O; Little, S; Asirelli, P