Travelled to:1 × Italy
1 × Spain
Collaborated with:A.Toom M.Pantel P.Garoche T.Kahsai A.Taillar X.Thirioux
Talks about:synchron (1) dataflow (1) contract (1) approach (1) softwar (1) product (1) librari (1) languag (1) specif (1) semant (1)
Person: Arnaud Dieumegard
 DBLP: Dieumegard:Arnaud
Contributed to:
Wrote 2 papers:
- SAC-2015-DieumegardGKTT #compilation #contract
 - Compilation of synchronous observers as code contracts (AD, PLG, TK, AT, XT), pp. 1933–1939.
 - SPLC-2014-DieumegardTP #approach #data flow #library #product line #semantics #specification
 - A software product line approach for semantic specification of block libraries in dataflow languages (AD, AT, MP), pp. 217–226.
 













