Travelled to:1 × Italy
Collaborated with:H.Radke T.Arendt A.Habel G.Täntzer
Talks about:constraint (1) translat (1) essenti (1) invari (1) graph (1) focus (1) oper (1) nest (1) set (1) ocl (1)
Person: Jan Steffen Becker
DBLP: Becker:Jan_Steffen
Contributed to:
2015Wrote 1 papers:
- ICGT-2015-RadkeABHT #constraints #graph #invariant #ocl #set
- Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (HR, TA, JSB, AH, GT), pp. 155–170.