Runtime Service Composition via Logic-Based Program Synthesis

Detta är en avhandling från Kista : Mikroelektronik och informationsteknik

Författare: Sven Lämmermann; Kth.; [2002]

Nyckelord: service composition; logic-based program synthesis; intuitionistic logic; natural deduction; specification; Java;

Sammanfattning:

KLICKA HÄR FÖR ATT SE AVHANDLINGEN I FULLTEXT. (PDF-format)