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 × Germany
1 × Italy
1 × Portugal
1 × USA
Collaborated with:
T.Kühn R.Grammes F.Khendek C.Webel
Talks about:
system (2) driven (2) model (2) tool (2) test (2) sdl (2) distribut (1) platform (1) configur (1) composit (1)

Person: Reinhard Gotzhein

DBLP DBLP: Gotzhein:Reinhard

Contributed to:

ECMDA-FA 20082008
FASE 20072007
MoDELS 20062006
TestCom 20062006
VDM Europe 19901990

Wrote 5 papers:

ECMDA-FA-2008-KuhnG #configuration management #modelling #platform #simulation #testing
Model-Driven Platform-Specific Testing through Configurable Simulations (TK, RG), pp. 278–293.
FASE-2007-GrammesG #semantics #tool support
SDL Profiles — Formal Semantics and Tool Support (RG, RG), pp. 200–214.
MoDELS-2006-KuhnGW #case study #development #experience #modelling #process #tool support
Model-Driven Development with SDL — Process, Tools, and Experiences (TK, RG, CW), pp. 83–97.
TestCom-2006-GotzheinK #communication #composition #testing
Compositional Testing of Communication Systems (RG, FK), pp. 227–244.
VDME-1990-Gotzhein #distributed #specification
Specifying Open Distributed Systems with Z (RG), pp. 319–339.

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.