BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Hungary
1 × Portugal
1 × Switzerland
Collaborated with:
R.Pugliese F.Tiezzi L.Cesari A.Fantechi S.Gnesi F.Mazzanti
Talks about:
orchestr (1) calculus (1) approach (1) develop (1) verifi (1) specif (1) servic (1) applic (1) rapid (1) model (1)

Person: Alessandro Lapadula

DBLP DBLP: Lapadula:Alessandro

Contributed to:

SAC 20102010
FASE 20082008
ESOP 20072007

Wrote 3 papers:

SAC-2010-CesariLPT #agile #development
A tool for rapid development of WS-BPEL applications (LC, AL, RP, FT), pp. 2438–2442.
FASE-2008-FantechiGLMPT #approach #model checking #specification #verification
A Model Checking Approach for Verifying COWS Specifications (AF, SG, AL, FM, RP, FT), pp. 230–245.
ESOP-2007-LapadulaPT #calculus #distributed #web #web service
A Calculus for Orchestration of Web Services (AL, RP, FT), pp. 33–47.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.