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 × Croatia
1 × Finland
1 × Germany
1 × USA
Collaborated with:
S.Khurshid M.Z.Malik A.Pervaiz D.Garcia D.S.Batory
Talks about:
specif (2) declar (2) tool (2) constraint (1) represent (1) structur (1) approach (1) softwar (1) program (1) product (1)

Person: Engin Uzuncaova

DBLP DBLP: Uzuncaova:Engin

Contributed to:

FM 20082008
ICSE 20082008
ESEC/FSE 20072007
ICSE 20072007

Wrote 4 papers:

FM-2008-UzuncaovaK #analysis #constraints #declarative #modelling #performance
Constraint Prioritization for Efficient Analysis of Declarative Models (EU, SK), pp. 310–325.
ICSE-2008-MalikPUK #generative #invariant #named #representation
Deryaft: a tool for generating representation invariants of structurally complex data (MZM, AP, EU, SK), pp. 859–862.
ESEC-FSE-2007-UzuncaovaGKB #approach #product line #testing
A specification-based approach to testing software product lines (EU, DG, SK, DSB), pp. 525–528.
ICSE-2007-UzuncaovaK #declarative #named #slicing #specification
Kato: A Program Slicing Tool for Declarative Specifications (EU, SK), pp. 767–770.

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.