Travelled to:1 × Germany
1 × Spain
2 × The Netherlands
Collaborated with:P.W.Kutter A.Pierantonio S.Jähnichen M.Simons A.Sünbül
Talks about:support (2) languag (2) montag (2) formal (2) experiment (1) prototyp (1) mathemat (1) composit (1) environ (1) develop (1)
Person: Matthias Anlauff
DBLP: Anlauff:Matthias
Contributed to:
2000
1999
1997
1994Wrote 4 papers:
- FASE-2000-AnlauffKPS #component #composition #domain-specific language #using
- Using Domain-Specific Languages for the Realization of Component Composition (MA, PWK, AP, AS), pp. 112–126.
- CC-1999-AnlauffKP #design #prototype #tool support
- Tool Support for Language Design and Prototyping with Montages (MA, PWK, AP), pp. 296–299.
- ASF+SDF-1997-AnlauffKP #aspect-oriented #development
- Formal aspects of and development environments for Montages (MA, PWK, AP), p. 1.
- FME-1994-AnlauffJS #reasoning
- An experimental support system for formal mathematical reasoning (MA, SJ, MS), pp. 421–440.