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 × Canada
1 × India
1 × Israel
2 × France
Collaborated with:
M.Pistore A.Marconi A.Cimatti A.Fuxman J.Mylopoulos P.L.Pieraccini R.Sebastiani A.Villafiorita F.Giunchiglia P.Pecchiari B.Pietra J.Profeta D.Romano B.Yu
Talks about:
specif (2) servic (2) requir (2) protocol (1) composit (1) communic (1) specifi (1) softwar (1) provabl (1) correct (1)

Person: Paolo Traverso

DBLP DBLP: Traverso:Paolo

Facilitated 1 volumes:

FM-Trends 1998Ed

Contributed to:

ICSM 20072007
SEFM 20062006
RE 20012001
World Congress on Formal Methods 19991999
CAV 19971997

Wrote 5 papers:

ICSM-2007-TraversoP #exclamation
Agree or Change! Making Services Evolve (PT, MP), pp. 2–3.
SEFM-2006-MarconiPT #automation #composition #data flow #requirements #specification #web #web service
Specifying Data-Flow Requirements for the Automated Composition of Web Services (AM, MP, PT), pp. 147–156.
RE-2001-FuxmanMPT #model checking #requirements #specification
Model Checking Early Requirements Specifications in Tropos (AF, JM, MP, PT), pp. 174–181.
FM-v2-1999-CimattiPSTV #communication #protocol #specification #validation
Formal Specification and Validation of a Vital Communication Protocol (AC, PLP, RS, PT, AV), pp. 1584–1604.
CAV-1997-CimattiGPPPRTY #certification #embedded #safety #verification
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software (AC, FG, PP, BP, JP, DR, PT, BY), pp. 202–213.

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.