Search for dissertations about: "Sven Lämmermann"

Found 2 swedish dissertations containing the words Sven Lämmermann.

2. 1. Automated composition of Java software

   Author : Sven Lämmermann; KTH; []
   Keywords : ;

   Abstract : .... READ MORE

4. 2. Runtime Service Composition via Logic-Based Program Synthesis

   Author : Sven Lämmermann; KTH; []
   Keywords : service composition; logic-based program synthesis; intuitionistic logic; natural deduction; specification; Java;

   Abstract : .... READ MORE