Travelled to:1 × Brazil
1 × Germany
Collaborated with:C.Atkinson D.Draheim F.Kossak A.Mashkoor C.Illibauer
Talks about:specif (2) understand (1) process (1) report (1) improv (1) formal (1) experi (1) type (1) busi (1)
Person: Verena Geist
DBLP: Geist:Verena
Contributed to:
2014
2010Wrote 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.
- EDOC-2010-AtkinsonDG #process #specification
- Typed Business Process Specification (CA, DD, VG), pp. 69–78.