Scorri Autori Unibg  

Opzioni
Risultati da 21 a 40 di 136
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
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
1-gen-2009 Model transformations in the UPES/UPSoC development process for embedded systems. Springer Journal on Innovations in Systems and Software Engineering Riccobene, Elvinia; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2009 Integrating formal methods with model-driven engineering Gargantini, Angelo Michele; Scandurra, Patrizia; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2009 Model transformations in the UPES/UPSoC development process for embedded systems Riccobene, Elvinia; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2009 SystemC/C-based Model-driven Design for Embedded Systems Scandurra, Patrizia; Riccobene, Elvinia; Bocchio, Sara; Rosti, Alberto; Lavazza, Luigi; Mantellini, Luigi 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2009 Component-based robotic engineering (Part I) Brugali, Davide; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2009 Ten reasons to metamodel ASMs Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia; Carioni, Alessandro 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2009 Model-driven system validation by scenarios Gargantini, Angelo Michele; Scandurra, Patrizia; Riccobene, Elvinia; Carioni, Alessandro 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2009 A semantic framework for metamodel-based languages 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-2009 Weaving executability into UML class models at PIM level 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-2009 Model-driven design and ASM-based analysis of embedded systems Gargantini, Angelo Michele; Scandurra, Patrizia; Riccobene, Elvinia 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2010 On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course Scandurra, Patrizia; Gargantini, Angelo Michele; Salvaneschi, Guido 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2010 An ASM-based executable formal model of service-oriented component interactions and orchestration Scandurra, Patrizia; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2010 Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis 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-2010 An Executable Semantics of the SystemC UML Profile Scandurra, Patrizia; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2010 Specifying formal executable behavioral models for structural models of service-oriented components 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-2011 A Framework for Adapting Service-oriented Applications based on Functional/Extra-functional Requirements Tradeoffs Mirandola, Raffaela; Potena, Pasqualina; 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-2011 A framework for adapting service-oriented applications based on functional/extra-functional requirements tradeoffs: the Stock Trading System case study Mirandola, Raffaela; Potena, Pasqualina; Scandurra, Patrizia; Riccobene, Elvinia Working paper del Dipartimento di Ingegneria gestionale, dell'informazione e della produzione::WPs - Dep. of Information Technology and Mathematical Methods (2004-2012)
1-gen-2011 An Optimization Process for Adaptation Space Exploration of Service-oriented Applications: the Stock Trading System case study Mirandola, Raffaela; Potena, Pasqualina; Scandurra, Patrizia Working paper del Dipartimento di Ingegneria gestionale, dell'informazione e della produzione::WPs - Dep. of Information Technology and Mathematical Methods (2004-2012)
1-gen-2011 An Eclipse-based SCA design framework to support coordinated execution of services Albani, Fabio; 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 21 a 40 di 136
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