Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 96
Titolo Data di pubblicazione Autore(i) File
A tool for the automatic analysis od sequential and parallel communication among protocol entities 1-gen-1989 COEN PORISINI, Alberto; Lombardo, A.; Palazzo, S.
The EVA tool: an approach to verifying structuring in ESTELLE specification 1-gen-1989 COEN PORISINI, Alberto; Lombardo, A.; Palazzo, S.
Hardware specification with the temporal logic TRIO 1-gen-1990 COEN PORISINI, Alberto; Morzenti, A.; Sciuto, D.
Symbad: a Symbolic Executor of Sequential Ada Programs 1-gen-1990 COEN PORISINI, Alberto; DE PAOLI, F.
Hardware specification using the assertion language ASTRAL 1-gen-1991 Buonanno, G.; COEN PORISINI, Alberto; Fornaciari, W.
Updating the schema of an object oriented database 1-gen-1991 COEN PORISINI, Alberto; Lavazza, LUIGI ANTONIO; Zicari, R.
Specification and verification of hardware systems using temporal logic language TRIO 1-gen-1991 COEN PORISINI, Alberto; Morzenti, A.; Sciuto, D.
Software Specialization via Symbolic Execution 1-gen-1991 COEN PORISINI, Alberto; DE PAOLI, F.; Ghezzi, C.; Mandrioli, D.
SESADA: an environment supporting software specialization 1-gen-1991 COEN PORISINI, Alberto; DE PAOLI, F.
Un esame critico di un linguaggio object oriented: Eiffel 1-gen-1992 COEN PORISINI, Alberto
The ESSE project: an overview 1-gen-1992 COEN PORISINI, Alberto; Lavazza, LUIGI ANTONIO; Zicari, R.
The ESSE project: supporting object-oriented database schema analysis and evolution. Overview and progress report 1-gen-1993 Cattaneo, F.; COEN PORISINI, Alberto; Lavazza, LUIGI ANTONIO; Zicari, R.
The composability of ASTRAL specifications 1-gen-1993 COEN PORISINI, Alberto; Kemmerer, R. A.
A formal framework for ASTRAL intra-level proof obligations 1-gen-1993 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
Array representation in Symbolic Execution 1-gen-1993 COEN PORISINI, Alberto; DE PAOLI, F.
Esercizi di Ingegneria del Software 1-gen-1994 COEN PORISINI, Alberto; Ter,
A Formal Framework for ASTRAL Intra-Level Proof Obligations 1-gen-1994 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
Assuring Type Safety of Object Oriented Languages 1-gen-1994 COEN PORISINI, Alberto; Lavazza, LUIGI ANTONIO; Zicari, R.
A formal framework for ASTRAL inter-level proof obbligations 1-gen-1995 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
Specification of Realtime Systems Using ASTRAL 1-gen-1997 COEN PORISINI, Alberto; Ghezzi, C.; Kemmerer, R.
Mostrati risultati da 1 a 20 di 96
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile