BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
Collaborated with:
A.Mashkoor V.Geist C.Illibauer M.Biró A.Egyed
Talks about:
report (2) experi (2) understand (1) pressur (1) system (1) specif (1) improv (1) formal (1) driven (1) model (1)

Person: Felix Kossak

DBLP DBLP: Kossak:Felix

Contributed to:

REFSQ 20142014
ECMFA 20182018

Wrote 2 papers:

REFSQ-2014-KossakMGI #case study #experience #specification
Improving the Understandability of Formal Specifications: An Experience Report (FK, AM, VG, CI), pp. 184–199.
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.