Scorri Autori Unibg
Integrating UML static and dynamic views and formalizing the interaction mechanism of UML state machines
2003-01-01 Cavarra, Alessandra; Riccobene, Elvinia; Scandurra, Patrizia
A framework to simulate UML models: Moving from a semi-formal to a formal environment
2004-01-01 Cavarra, Alessandra; Riccobene, Elvinia; Scandurra, Patrizia
Towards an interchange language for ASMs
2004-01-01 Riccobene, Elvinia; Scandurra, Patrizia
A UML 2.0 profile for systemC: Toward high-level SoC design
2005-01-01 Riccobene, E.; Scandurra, Patrizia; Rosti, A.; Bocchio, S.
A SoC design methodology involving a UML 2.0 profile for SystemC
2005-01-01 Riccobene, Elvinia; Scandurra, Patrizia; Rosti, Alberto; Bocchio, Sara
Modelling SystemC process behavior by the UML method state machines
2005-01-01 Riccobene, E.; Scandurra, Patrizia
Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware
2006-01-01 Riccobene, Elvinia; Scandurra, Patrizia; Gargantini, Angelo Michele
Exploiting the ASM method within the Model-driven Engineering paradigm
2006-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
A model-driven design environment for embedded systems
2006-01-01 Riccobene, Elvinia; Scandurra, Patrizia; Rosti, Alberto; Bocchio, Sara
UML for ESL design - Basic principles, tools, and applications
2006-01-01 Mueller, Wolfgang; Rosti, Alberto; Bocchio, Sara; Riccobene, Elvinia; Scandurra, Patrizia; Dehaene, Wirn; Vanderperren, Yves
A Metamodel-based Simulator for ASMs
2007-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines
2007-01-01 Riccobene, Elvinia; Gargantini, Angelo Michele; Scandurra, Patrizia
Process state machines for behavioral modeling of embedded systems
2007-01-01 Bocchio, Sara; Riccobene, Elvira; Rosti, Alberto; Scandurra, Patrizia
Designing a unified process for embedded systems
2007-01-01 Riccobene, Elvinia.; Scandurra, Patrizia; Rosti, Alberto; Bocchio, Sara
A Model-driven Technique for Embedded System Validation
2008-01-01 Carioni, Alessandro; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
2008-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Scenario-based validation of embedded systems
2008-01-01 Gargantini, Angelo Michele; Riccobene, E.; Scandurra, Patrizia; Carioni, A.
A scenario-based validation language for ASMs
2008-01-01 Carioni, Alessandro; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
A Model-driven Validation and Verification Environment for Embedded Systems
2008-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Exploiting the ASM Method for Validation & Verification of Embedded Systems
2008-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
1-gen-2003 | Integrating UML static and dynamic views and formalizing the interaction mechanism of UML state machines | Cavarra, Alessandra; Riccobene, Elvinia; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2004 | A framework to simulate UML models: Moving from a semi-formal to a formal environment | Cavarra, Alessandra; Riccobene, Elvinia; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2004 | Towards an interchange language for ASMs | Riccobene, Elvinia; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2005 | A UML 2.0 profile for systemC: Toward high-level SoC design | Riccobene, E.; Scandurra, Patrizia; Rosti, A.; Bocchio, S. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2005 | A SoC design methodology involving a UML 2.0 profile for SystemC | Riccobene, Elvinia; Scandurra, Patrizia; Rosti, Alberto; Bocchio, Sara | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2005 | Modelling SystemC process behavior by the UML method state machines | Riccobene, E.; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2006 | Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware | Riccobene, Elvinia; Scandurra, Patrizia; Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2006 | Exploiting the ASM method within the Model-driven Engineering paradigm | Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
1-gen-2006 | A model-driven design environment for embedded systems | Riccobene, Elvinia; Scandurra, Patrizia; Rosti, Alberto; Bocchio, Sara | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2006 | UML for ESL design - Basic principles, tools, and applications | Mueller, Wolfgang; Rosti, Alberto; Bocchio, Sara; Riccobene, Elvinia; Scandurra, Patrizia; Dehaene, Wirn; Vanderperren, Yves | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2007 | A Metamodel-based Simulator for ASMs | Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2007 | AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines | Riccobene, Elvinia; Gargantini, Angelo Michele; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2007 | Process state machines for behavioral modeling of embedded systems | Bocchio, Sara; Riccobene, Elvira; Rosti, Alberto; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2007 | Designing a unified process for embedded systems | Riccobene, Elvinia.; Scandurra, Patrizia; Rosti, Alberto; Bocchio, Sara | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2008 | A Model-driven Technique for Embedded System Validation | Carioni, Alessandro; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2008 | A Metamodel-based Language and a Simulation Engine for Abstract State Machines | Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2008 | Scenario-based validation of embedded systems | Gargantini, Angelo Michele; Riccobene, E.; Scandurra, Patrizia; Carioni, A. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2008 | A scenario-based validation language for ASMs | Carioni, Alessandro; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2008 | A Model-driven Validation and Verification Environment for Embedded Systems | Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2008 | Exploiting the ASM Method for Validation & Verification of Embedded Systems | Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays |
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