Travelled to:
1 × Germany
1 × USA
Collaborated with:
M.Huhn T.Firley K.Diethers U.Goltz
Talks about:
sequenc (1) languag (1) diagram (1) analysi (1) specif (1) execut (1) studi (1) tool (1) time (1) case (1)
Person: Thomas Gehrke
DBLP: Gehrke:Thomas
Contributed to:
Wrote 2 papers:
- UML-1999-FirleyHDGG #analysis #case study #diagrams #sequence chart
- Timed Sequence Diagrams and Tool-Based Analysis — A Case Study (TF, MH, KD, TG, UG), pp. 645–660.
- PLILP-1996-GehrkeH #execution #named #specification
- ProFun — A Language for Executable Specifications (TG, MH), pp. 304–318.