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