BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
Z.Qian A.Goldberg F.Giunchiglia P.Bertoli G.T.Leavens J.Abrial D.S.Batory M.J.Butler K.Fisler E.C.R.Hehner C.B.Jones D.Miller S.L.P.Jones M.Sitaraman D.R.Smith A.Stump
Talks about:
sup (2) roadmap (1) project (1) languag (1) specif (1) method (1) formal (1) enhanc (1) verif (1) state (1)

Person: Alessandro Coglio

DBLP DBLP: Coglio:Alessandro

Contributed to:

GPCE 20062006
OOPSLA 20002000
WRLA 19981998

Wrote 3 papers:

GPCE-2006-LeavensABBCFHJMJSSS #roadmap #verification
Roadmap for enhanced languages and methods to aid verification (GTL, JRA, DSB, MJB, AC, KF, ECRH, CBJ, DM, SLPJ, MS, DRS, AS), pp. 221–236.
OOPSLA-2000-QianGC #java #specification
A formal specification of JavaTM class loading (ZQ, AG, AC), pp. 325–336.
WRLA-1998-GiunchigliaBC #state of the art
The OMRS project: state of the art (FG, PB, AC), pp. 127–146.

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.