Deduction-based software component retrieval

  • Bernd Fischer
  • Published 2001 in Ausgezeichnete Informatikdissertationen

Abstract

Deduktionsbasiertes Softwarekomponenten-Retrieval ist eine formale, semantik-basierte Methode zur Unterstützung der Software-Wiederverwendung. Dabei werden formale Spezifikationen als Komponentendeskriptoren und als Suchanfragen verwendet und passende Komponenten mit Hilfe automatischer Theorembeweiser ermittelt. Die direkte Realisierung dieses Konzepts… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics