BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Geist:Verena

Contributed to:

REFSQ 20142014
EDOC 20102010

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.
EDOC-2010-AtkinsonDG #process #specification
Typed Business Process Specification (CA, DD, VG), pp. 69–78.

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.