Scorri Autori Unibg  

Opzioni
Risultati da 1 a 20 di 137
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 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-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-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 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-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-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 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-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-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 An enhanced systemC UML profile for modeling at transaction-level Bocchio, S.; Riccobene, E.; Rosti, A.; Scandurra, Patrizia 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/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 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
1-gen-2008 Model-driven Language Engineering: the ASMETA case study 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
Risultati da 1 a 20 di 137
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