Scorri Autori Unibg
Model-driven Language Engineering: the ASMETA case study
2008-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Model transformations in the UPES/UPSoC development process for embedded systems. Springer Journal on Innovations in Systems and Software Engineering
2009-01-01 Riccobene, Elvinia; Scandurra, Patrizia
Integrating formal methods with model-driven engineering
2009-01-01 Gargantini, Angelo Michele; Scandurra, Patrizia; Riccobene, Elvinia
Model transformations in the UPES/UPSoC development process for embedded systems
2009-01-01 Riccobene, Elvinia; Scandurra, Patrizia
SystemC/C-based Model-driven Design for Embedded Systems
2009-01-01 Scandurra, Patrizia; Riccobene, Elvinia; Bocchio, Sara; Rosti, Alberto; Lavazza, Luigi; Mantellini, Luigi
Component-based robotic engineering (Part I)
2009-01-01 Brugali, Davide; Scandurra, Patrizia
Ten reasons to metamodel ASMs
2009-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia; Carioni, Alessandro
Model-driven system validation by scenarios
2009-01-01 Gargantini, Angelo Michele; Scandurra, Patrizia; Riccobene, Elvinia; Carioni, Alessandro
A semantic framework for metamodel-based languages
2009-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Weaving executability into UML class models at PIM level
2009-01-01 Riccobene, Elvinia; Scandurra, Patrizia
Model-driven design and ASM-based analysis of embedded systems
2009-01-01 Gargantini, Angelo Michele; Scandurra, Patrizia; Riccobene, Elvinia
On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course
2010-01-01 Scandurra, Patrizia; Gargantini, Angelo Michele; Salvaneschi, Guido
An ASM-based executable formal model of service-oriented component interactions and orchestration
2010-01-01 Scandurra, Patrizia; Riccobene, Elvinia
Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis
2010-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
An Executable Semantics of the SystemC UML Profile
2010-01-01 Scandurra, Patrizia; Riccobene, Elvinia
Specifying formal executable behavioral models for structural models of service-oriented components
2010-01-01 Riccobene, Elvinia; Scandurra, Patrizia
A Framework for Adapting Service-oriented Applications based on Functional/Extra-functional Requirements Tradeoffs
2011-01-01 Mirandola, Raffaela; Potena, Pasqualina; Riccobene, Elvinia; Scandurra, Patrizia
A framework for adapting service-oriented applications based on functional/extra-functional requirements tradeoffs: the Stock Trading System case study
2011-01-01 Mirandola, Raffaela; Potena, Pasqualina; Scandurra, Patrizia; Riccobene, Elvinia
An Optimization Process for Adaptation Space Exploration of Service-oriented Applications: the Stock Trading System case study
2011-01-01 Mirandola, Raffaela; Potena, Pasqualina; Scandurra, Patrizia
An Eclipse-based SCA design framework to support coordinated execution of services
2011-01-01 Albani, Fabio; Riccobene, Elvinia; Scandurra, Patrizia
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 |
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