IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

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.

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

Aggiungere filtri:  
Aggiungi
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