Travelled to:1 × Canada
1 × Finland
1 × Italy
1 × The Netherlands
Collaborated with:P.G.Larsen ∅ N.Battle H.K.A.Lintrup L.D.Couto P.W.V.Tran-Jørgensen J.W.Coleman
Talks about:vdm (3) combinatori (1) architectur (1) translat (1) abstract (1) support (1) connect (1) syntax (1) migrat (1) extens (1)
Person: Kenneth Lausdahl
DBLP: Lausdahl:Kenneth
Contributed to:
2015
2013
2010
2009Wrote 4 papers:
- WICSA-2015-CoutoTCL #abstract syntax tree #architecture #migration #syntax
- Migrating to an Extensible Architecture for Abstract Syntax Trees (LDC, PWVTJ, JWC, KL), pp. 145–154.
- IFM-2013-Lausdahl #alloy
- Translating VDM to Alloy (KL), pp. 46–60.
- SEFM-2010-LarsenLB #combinator #testing
- Combinatorial Testing for VDM (PGL, KL, NB), pp. 278–285.
- FM-2009-LausdahlLL #tool support #uml
- Connecting UML and VDM++ with Open Tool Support (KL, HKAL, PGL), pp. 563–578.