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.
A fuzzy extension for the XPath query language
2006-01-01 Campi, A.; Guinea, S.; Spoletini, Paola
A guided tour through SAVVY-WS: a methodology for specifying and validating web services compositions
2008-01-01 Baresi, L.; Bianculli, D.; Spoletini, Paola; Ghezzi, C.; Guinea, S.
An automata-based monitoring technique for commitment-based multi-agent systems
2009-01-01 Spoletini, Paola; Verdicchio, M.
An efficient solution for model checking graph transformation Systems
2008-01-01 Baresi, L.; Rafe, V.; Rahamani, A. T.; Spoletini, Paola
Commitment monitoring in a multiagent system
2007-01-01 Spoletini, Paola; Verdicchio, M.
Common mistakes of student analysts in requirements elicitation interviews
2017-01-01 Donati, B.; Ferrari, A.; Spoletini, P.; Gnesi, S.
COVER: Change-based goal verifier and reasoner
2017-01-01 Menghi, C.; Spoletini, P.; Ghezzi, C.
Dealing with incompleteness in automata-based model checking
2016-01-01 Menghi, C.; Spoletini, P.; Ghezzi, C.
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems
2007-01-01 Matta, A.; Rossi, M.; Spoletini, Paola; Mandrioli, D.; Semeraro, Q.; Tolio, T.
Formal analysis of Publish-Subscribe systems by probabilistic timed automata
2007-01-01 Fei, He; Baresi, L.; Ghezzi, C; 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