Travelled to:
1 × USA
2 × Italy
Collaborated with:
E.D.Sciascio F.M.Donini M.Mongiello S.Colucci T.D.Noia S.Coppi
Talks about:
web (3) applic (2) knowledg (1) composit (1) approach (1) support (1) mainten (1) automat (1) symbol (1) semant (1)
Person: Giacomo Piscitelli
DBLP: Piscitelli:Giacomo
Contributed to:
Wrote 3 papers:
- SAC-2005-ColucciNSDPC #approach #composition #knowledge base #semantics
- Knowledge based approach to semantic composition of teams in an organization (SC, TDN, EDS, FMD, GP, SC), pp. 1314–1319.
- CSMR-2003-SciascioDMP #design #maintenance #model checking #using #web
- Web Applications Design and Maintenance Using Symbolic Model Checking (EDS, FMD, MM, GP), pp. 63–72.
- SEKE-2002-SciascioDMP #automation #named #verification #web
- AnWeb: a sytem for automatic support to web application verification (EDS, FMD, MM, GP), pp. 609–616.