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 × Australia
1 × France
1 × Germany
Collaborated with:
F.Kossak J.Jacquot V.Geist C.Illibauer M.Biró A.Egyed
Talks about:
report (2) experi (2) engin (2) understand (1) pressur (1) system (1) specif (1) lesson (1) improv (1) formal (1)

Person: Atif Mashkoor

DBLP DBLP: Mashkoor:Atif

Contributed to:

REFSQ 20142014
RE 20102010
ECMFA 20182018

Wrote 3 papers:

REFSQ-2014-KossakMGI #case study #experience #specification
Improving the Understandability of Formal Specifications: An Experience Report (FK, AM, VG, CI), pp. 184–199.
RE-2010-MashkoorJ #domain model #lessons learnt
Domain Engineering with Event-B: Some Lessons We Learned (AM, JPJ), pp. 252–261.
ECMFA-2018-MashkoorKBE #case study #experience #modelling #re-engineering
Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report (AM, FK, MB, AE), pp. 264–278.

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.