Travelled to:1 × Australia
1 × Canada
1 × Switzerland
2 × Germany
Collaborated with:R.Hauser S.Kumaran ∅ G.Tirenni J.M.Küster K.Ryndina J.Vanhatalo S.Kapoor F.Y.Wu M.Wahler T.Gschwind C.Pautasso H.Völzer
Talks about:model (5) transform (3) driven (3) busi (3) process (2) develop (2) method (2) case (2) terminolog (1) implement (1)
Person: Jana Koehler
DBLP: Koehler:Jana
Contributed to:
2007
2008
2004
20032002
1994Wrote 6 papers:
- AGTIVE-2007-KoehlerGKPRVV #assurance #development #model transformation #quality
- Combining Quality Assurance and Model Transformations in Business-Driven Development (JK, TG, JMK, CP, KR, JV, HV), pp. 1–16.
- GT-VMT-2006-KoehlerHKRVW08 #development #model transformation #modelling #visual notation
- The Role of Visual Modeling and Model Transformations in Business-driven Development (JK, RH, JMK, KR, JV, MW), pp. 5–15.
- GPCE-2004-HauserK #compilation #execution #graph #process
- Compiling Process Graphs into Executable Code (RH, JK), pp. 317–336.
- EDOC-2003-KoehlerHKWK #modelling
- A Model-Driven Transformation Method (JK, RH, SK, FYW, SK), pp. 186–197.
- EDOC-2002-KoehlerTK #consistency #implementation #process #verification
- From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods (JK, GT, SK), p. 96–?.
- KR-1994-Koehler #logic #reasoning
- An Application of Terminological Logics to Case-based Reasoning (JK), pp. 351–362.