Sfoglia per Autore
Quantifying the discord: order discrepancies in message sequence charts
2010-01-01 Elkind, E.; Genest, B.; Peled, D.; Spoletini, Paola
Informatica teorica
2011-01-01 Mandrioli, D.; Spoletini, Paola
Evaluating the compatibility of conversational service interactions
2011-01-01 Guinea, S.; Spoletini, Paola
On Relaxing Metric Information in Linear Temporal Logic
2011-01-01 Furia, C. A.; Spoletini, Paola
Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results
2011-01-01 Pasquale, L.; Spoletini, Paola
Putting all together: using the ArtDeco approach in the winebusiness domain
2012-01-01 Zimeo, E.; Mazza, V.; Orsi, G.; Quintarelli, E.; Romano, A.; Spoletini, Paola; Tretola, G.; Amirante, A.; Botta, A.; Cavallaro, L.; Consoli, D.; Giallonardo, E.; Maggi, F.; Tiotto, G.
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability
2012-01-01 Furia, C. A.; Spoletini, Paola
Verification and analysis of autonomic systems for networked enterprises
2012-01-01 Bertolino, A.; De Angelis, G.; Di Giandomenico, G.; Marchetti, E.; Sabetta, A.; Spoletini, Paola
Time Modalities over Many-valued Logics
2012-01-01 Fiorentini, N.; Frigeri, A.; Pasquale, L.; Spoletini, Paola
Service-Oriented Software . . . and Carlo’s Services
2012-01-01 Di Nitto, E; Ardagna, D; Baresi, L; Bianculli, D; Binder, W; Guinea, S; Mirandola, R; Spoletini, Paola
LOVER: Light-weight Formal Verification of adaptivE systems at Run time
2013-01-01 Sharifloo, A. M.; Spoletini, Paola
Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games
2013-01-01 Liliana, Pasquale; Spoletini, Paola; Dario, Pometto; Francesco, Blasi; Tiziana, Redaelli
Managing non-functional uncertainty via model-driven adaptivity
2013-01-01 Carlo, Ghezzi; Leandro Sales, Pinto; Spoletini, Paola; Giordano, Tamburrelli
On Requirements Verification for Model Refinements
2013-01-01 Carlo, Ghezzi; Claudio, Menghi; Amir Molzam, Sharifloo; Spoletini, Paola
Bounded variability of metric temporal logic
2014-01-01 Furia, C. A.; Spoletini, Paola
On requirement verification for evolving Statecharts specifications
2014-01-01 Ghezzi, C.; Menghi, C.; Molzam Sharifloo, A.; Spoletini, Paola
Fuzzy time in linear temporal logic
2014-01-01 Frigeri, A.; Pasquale, L.; Spoletini, Paola
Context transformations for goal models
2014-01-01 Spoletini, Paola; Ferrari, Alessio; Gnesi, Stefania
Ambiguity as a Resource to Disclose Tacit Knowledge
2015-01-01 Ferrari, A; Spoletini, P; Gnesi, S
Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis
2016-01-01 Spoletini, P.; Brock, C.; Shahwar, R.; Ferrari, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Quantifying the discord: order discrepancies in message sequence charts | 1-gen-2010 | Elkind, E.; Genest, B.; Peled, D.; Spoletini, Paola | |
Informatica teorica | 1-gen-2011 | Mandrioli, D.; Spoletini, Paola | |
Evaluating the compatibility of conversational service interactions | 1-gen-2011 | Guinea, S.; Spoletini, Paola | |
On Relaxing Metric Information in Linear Temporal Logic | 1-gen-2011 | Furia, C. A.; Spoletini, Paola | |
Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results | 1-gen-2011 | Pasquale, L.; Spoletini, Paola | |
Putting all together: using the ArtDeco approach in the winebusiness domain | 1-gen-2012 | Zimeo, E.; Mazza, V.; Orsi, G.; Quintarelli, E.; Romano, A.; Spoletini, Paola; Tretola, G.; Amirante, A.; Botta, A.; Cavallaro, L.; Consoli, D.; Giallonardo, E.; Maggi, F.; Tiotto, G. | |
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability | 1-gen-2012 | Furia, C. A.; Spoletini, Paola | |
Verification and analysis of autonomic systems for networked enterprises | 1-gen-2012 | Bertolino, A.; De Angelis, G.; Di Giandomenico, G.; Marchetti, E.; Sabetta, A.; Spoletini, Paola | |
Time Modalities over Many-valued Logics | 1-gen-2012 | Fiorentini, N.; Frigeri, A.; Pasquale, L.; Spoletini, Paola | |
Service-Oriented Software . . . and Carlo’s Services | 1-gen-2012 | Di Nitto, E; Ardagna, D; Baresi, L; Bianculli, D; Binder, W; Guinea, S; Mirandola, R; Spoletini, Paola | |
LOVER: Light-weight Formal Verification of adaptivE systems at Run time | 1-gen-2013 | Sharifloo, A. M.; Spoletini, Paola | |
Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games | 1-gen-2013 | Liliana, Pasquale; Spoletini, Paola; Dario, Pometto; Francesco, Blasi; Tiziana, Redaelli | |
Managing non-functional uncertainty via model-driven adaptivity | 1-gen-2013 | Carlo, Ghezzi; Leandro Sales, Pinto; Spoletini, Paola; Giordano, Tamburrelli | |
On Requirements Verification for Model Refinements | 1-gen-2013 | Carlo, Ghezzi; Claudio, Menghi; Amir Molzam, Sharifloo; Spoletini, Paola | |
Bounded variability of metric temporal logic | 1-gen-2014 | Furia, C. A.; Spoletini, Paola | |
On requirement verification for evolving Statecharts specifications | 1-gen-2014 | Ghezzi, C.; Menghi, C.; Molzam Sharifloo, A.; Spoletini, Paola | |
Fuzzy time in linear temporal logic | 1-gen-2014 | Frigeri, A.; Pasquale, L.; Spoletini, Paola | |
Context transformations for goal models | 1-gen-2014 | Spoletini, Paola; Ferrari, Alessio; Gnesi, Stefania | |
Ambiguity as a Resource to Disclose Tacit Knowledge | 1-gen-2015 | Ferrari, A; Spoletini, P; Gnesi, S | |
Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis | 1-gen-2016 | Spoletini, P.; Brock, C.; Shahwar, R.; Ferrari, A. |
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