BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
F.Erata B.Tekinerdogan A.Goknil C.Gardent B.Gyawali A.Shimorina Y.Lussaud A.Monceaux
Talks about:
model (2) synchron (1) platform (1) document (1) configur (1) writer (1) semant (1) reason (1) formal (1) trace (1)

Person: Geylani Kardas

DBLP DBLP: Kardas:Geylani

Contributed to:

ASE 20172017
ESEC/FSE 20172017

Wrote 2 papers:

ASE-2017-ErataGGSLTKM #documentation #framework #named #platform
ModelWriter: text and model-synchronized document engineering platform (FE, CG, BG, AS, YL, BT, GK, AM), pp. 907–912.
ESEC-FSE-2017-ErataGTK #automation #configuration management #reasoning #semantics
A tool for automated reasoning about traces based on configurable formal semantics (FE, AG, BT, GK), pp. 959–963.

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.