RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
From model checking to a temporal proof for partial models
2017-01-01 Bernasconi, A.; Menghi, C.; Spoletini, P.; Zuck, L. D.; Ghezzi, C.
Integrating goal model analysis with iterative design
2017-01-01 Menghi, C.; Spoletini, P.; Ghezzi, C.
Interview review: An empirical study on detecting ambiguities in requirements elicitation interviews
2018-01-01 Spoletini, P.; Ferrari, A.; Bano, M.; Zowghi, D.; Gnesi, S.
Keep it small, keep it real: efficient run-time verification of Web service compositions
2009-01-01 Baresi, L.; Bianculli, D.; Guinea, S.; Spoletini, Paola
Model checking temporal metric specifications with Trio2Promela
2007-01-01 Bianculli, D.; Spoletini, Paola; Morzenti, A.; Pradella, M.; San Pietro, P.
Model-Checking TRIO specifications in SPIN
2003-01-01 Morzenti, A.; Pradella, M.; San Pietro, P.; Spoletini, Paola
Modeling and analyzing context-aware composition of services
2005-01-01 Colombo, E.; Mylopoulos, J.; Spoletini, Paola
On the use of Alloy to analyze graph transformation systems
2006-01-01 Baresi, L.; Spoletini, Paola
Practical efficient modular verification and analysis
2008-01-01 Furia, C. A.; Spoletini, Paola
Quantifying the discord: order discrepancies in message sequence charts
2007-01-01 Elkind, E.; Genest, B.; Peled, D.; Spoletini, Paola
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| From model checking to a temporal proof for partial models | 1-gen-2017 | Bernasconi, A.; Menghi, C.; Spoletini, P.; Zuck, L. D.; Ghezzi, C. | |
| Integrating goal model analysis with iterative design | 1-gen-2017 | Menghi, C.; Spoletini, P.; Ghezzi, C. | |
| Interview review: An empirical study on detecting ambiguities in requirements elicitation interviews | 1-gen-2018 | Spoletini, P.; Ferrari, A.; Bano, M.; Zowghi, D.; Gnesi, S. | |
| Keep it small, keep it real: efficient run-time verification of Web service compositions | 1-gen-2009 | Baresi, L.; Bianculli, D.; Guinea, S.; Spoletini, Paola | |
| Model checking temporal metric specifications with Trio2Promela | 1-gen-2007 | Bianculli, D.; Spoletini, Paola; Morzenti, A.; Pradella, M.; San Pietro, P. | |
| Model-Checking TRIO specifications in SPIN | 1-gen-2003 | Morzenti, A.; Pradella, M.; San Pietro, P.; Spoletini, Paola | |
| Modeling and analyzing context-aware composition of services | 1-gen-2005 | Colombo, E.; Mylopoulos, J.; Spoletini, Paola | |
| On the use of Alloy to analyze graph transformation systems | 1-gen-2006 | Baresi, L.; Spoletini, Paola | |
| Practical efficient modular verification and analysis | 1-gen-2008 | Furia, C. A.; Spoletini, Paola | |
| Quantifying the discord: order discrepancies in message sequence charts | 1-gen-2007 | Elkind, E.; Genest, B.; Peled, D.; Spoletini, Paola |
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
Opzioni
Scopri
Tipologia
- Atti di Convegno 22
- Atti di Convegno::Relazione (in R... 22
Data di pubblicazione
- 2010 - 2018 7
- 2003 - 2009 15
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 13
- ELECTRONIC NOTES IN THEORETICAL C... 1
- LECTURE NOTES IN ARTIFICIAL INTEL... 1
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL... 6
- CEUR WORKSHOP PROCEEDINGS 1
Keyword
- Goal model analysis 2
- Interviews 2
- Iterative design 2
- Partial models 2
- Requirements elicitation 2
- AGG 1
- Ambiguities 1
- Attributed Type Graphs 1
- Bogor 1
- Communication mistakes 1
Lingua
- eng 7
Accesso al fulltext
- no fulltext 22