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: Mashkoor:Atif
Contributed to:
2014
2010
2018Wrote 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.