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 × Belgium
1 × USA
Collaborated with:
U.K.Wiil R.Clarisó N.Memon
Talks about:
uml (3) verif (2) slice (2) model (2) ocl (2) diagram (1) effici (1) driven (1) class (1) uost (1)

Person: Asadullah Shaikh

DBLP DBLP: Shaikh:Asadullah

Contributed to:

FSE 20122012
ASE 20102010

Wrote 2 papers:

FSE-2012-ShaikhW #diagrams #ocl #performance #slicing #uml #verification
UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing (AS, UKW), p. 37.
ASE-2010-ShaikhCWM #modelling #ocl #slicing #uml
Verification-driven slicing of UML/OCL models (AS, RC, UKW, NM), pp. 185–194.

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.