Sfoglia per Autore
A finite domain semantics for executing temporal logic specifications
1998-01-01 COEN PORISINI, Alberto; Pradella, M.; SAN PIETRO, P.
Uno strumento di supporto al riuso del software
1998-01-01 COEN PORISINI, Alberto; DE PAOLI, F.
High Level Design of Supervision and Control Systems using CORBA: An Example
1998-01-01 COEN PORISINI, Alberto; Gatti, D.; Mariani, D.
An evolutionary approach to the design of supervision and control systems
1999-01-01 COEN PORISINI, Alberto; Pradella, M.; Rossi, M.
From Formal models to formal based methods: an industrial experience
1999-01-01 Ciapessoni, E.; COEN PORISINI, Alberto; Mandrioli, D.; Mirandola, P.; Morzenti, A.
A stepwise approach for designing CORBA-based applications
2000-01-01 COEN PORISINI, Alberto; Pradella, M.; Rossi, M.; Mandrioli, D.
An approach for designing and enacting distributed simulation environments
2000-01-01 Baresi, L.; COEN PORISINI, Alberto
A framework architecture for the development of new generation supervision and control systems
2000-01-01 Capobianchi, R.; Carcagno, D.; COEN PORISINI, Alberto; Mandrioli, D.; Morzenti, A.
A framework architecture for Supervision and Control Systems
2000-01-01 Capobianchi, R.; COEN PORISINI, Alberto; Mandrioli, D.; Morzenti, A.
Using TRIO for designing a CORBA based Application
2000-01-01 COEN PORISINI, Alberto; Mandrioli, D.
Using symbolic execution for veifying safety critical systems
2001-01-01 COEN PORISINI, Alberto; Denaro, G.; Pezze`, M.; Ghezzi, C.
Using CORBA for integrating heterogeneous simulators
2001-01-01 COEN PORISINI, Alberto
Architetture e Tecnologie Informatiche per lo Sviluppo ed Evoluzione di Software Open-Source per la Simulazione a componenti Distribuiti Orientate al Settore Manifatturiero
2001-01-01 COEN PORISINI, Alberto
Software Engineering and Middleware
2003-01-01 COEN PORISINI, Alberto; VAN DER HOEK, A.
A Formal Approach for Designing CORBA-based Applications
2003-01-01 COEN PORISINI, Alberto; Pradella, M.; Rossi, M.; Mandrioli, D.
Designing and Enacting Simulations using Distributed Components
2004-01-01 COEN PORISINI, Alberto; Gallo, Ignazio; Zanzi, Antonella
An Experience in Modeling Real-Time Systems with SysML
2006-01-01 Colombo, Pietro; DEL BIANCO, V; Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto
An Events Synchronization Approach for Integration of Simulators in a Distributed Environment
2006-01-01 M., Carullo; Zanzi, Antonella; Gallo, Ignazio; COEN PORISINI, Alberto
Integration of Web based simulators in the SINPL platform
2006-01-01 COEN PORISINI, Alberto; Gallo, Ignazio; Antonella, Zanzi
A methodological framework for SysML: a Problem Frames-based approach
2007-01-01 Colombo, Pietro; DEL BIANCO, V; Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A finite domain semantics for executing temporal logic specifications | 1-gen-1998 | COEN PORISINI, Alberto; Pradella, M.; SAN PIETRO, P. | |
Uno strumento di supporto al riuso del software | 1-gen-1998 | COEN PORISINI, Alberto; DE PAOLI, F. | |
High Level Design of Supervision and Control Systems using CORBA: An Example | 1-gen-1998 | COEN PORISINI, Alberto; Gatti, D.; Mariani, D. | |
An evolutionary approach to the design of supervision and control systems | 1-gen-1999 | COEN PORISINI, Alberto; Pradella, M.; Rossi, M. | |
From Formal models to formal based methods: an industrial experience | 1-gen-1999 | Ciapessoni, E.; COEN PORISINI, Alberto; Mandrioli, D.; Mirandola, P.; Morzenti, A. | |
A stepwise approach for designing CORBA-based applications | 1-gen-2000 | COEN PORISINI, Alberto; Pradella, M.; Rossi, M.; Mandrioli, D. | |
An approach for designing and enacting distributed simulation environments | 1-gen-2000 | Baresi, L.; COEN PORISINI, Alberto | |
A framework architecture for the development of new generation supervision and control systems | 1-gen-2000 | Capobianchi, R.; Carcagno, D.; COEN PORISINI, Alberto; Mandrioli, D.; Morzenti, A. | |
A framework architecture for Supervision and Control Systems | 1-gen-2000 | Capobianchi, R.; COEN PORISINI, Alberto; Mandrioli, D.; Morzenti, A. | |
Using TRIO for designing a CORBA based Application | 1-gen-2000 | COEN PORISINI, Alberto; Mandrioli, D. | |
Using symbolic execution for veifying safety critical systems | 1-gen-2001 | COEN PORISINI, Alberto; Denaro, G.; Pezze`, M.; Ghezzi, C. | |
Using CORBA for integrating heterogeneous simulators | 1-gen-2001 | COEN PORISINI, Alberto | |
Architetture e Tecnologie Informatiche per lo Sviluppo ed Evoluzione di Software Open-Source per la Simulazione a componenti Distribuiti Orientate al Settore Manifatturiero | 1-gen-2001 | COEN PORISINI, Alberto | |
Software Engineering and Middleware | 1-gen-2003 | COEN PORISINI, Alberto; VAN DER HOEK, A. | |
A Formal Approach for Designing CORBA-based Applications | 1-gen-2003 | COEN PORISINI, Alberto; Pradella, M.; Rossi, M.; Mandrioli, D. | |
Designing and Enacting Simulations using Distributed Components | 1-gen-2004 | COEN PORISINI, Alberto; Gallo, Ignazio; Zanzi, Antonella | |
An Experience in Modeling Real-Time Systems with SysML | 1-gen-2006 | Colombo, Pietro; DEL BIANCO, V; Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto | |
An Events Synchronization Approach for Integration of Simulators in a Distributed Environment | 1-gen-2006 | M., Carullo; Zanzi, Antonella; Gallo, Ignazio; COEN PORISINI, Alberto | |
Integration of Web based simulators in the SINPL platform | 1-gen-2006 | COEN PORISINI, Alberto; Gallo, Ignazio; Antonella, Zanzi | |
A methodological framework for SysML: a Problem Frames-based approach | 1-gen-2007 | Colombo, Pietro; DEL BIANCO, V; Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto |
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