Sökning: "Sven Lämmermann"

Hittade 2 avhandlingar innehållade orden Sven Lämmermann.

1. 1. Automated composition of Java software

   Författare :Sven Lämmermann; KTH; []
   Nyckelord :;

   Sammanfattning : .... LÄS MER

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

   Författare :Sven Lämmermann; KTH; []
   Nyckelord :service composition; logic-based program synthesis; intuitionistic logic; natural deduction; specification; Java;

   Sammanfattning : .... LÄS MER