NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 2 of 2 for “"Spezifikationssprache"”.

  1. System verification tools based on Monadic Logics

    Ayari, Abdelwaheb

    … wegen ihres geringen Abstraktionsgrades als Spezifikationssprachen ungeeignet; die Formalisierung von Systemen und Systemeigenschaften in diesen Logiken bedarf eines hohen Maßes an Erfahrung und Detailkenntnissen und ist mit der Programmierung in Assembler vergleichbar. Zum anderen haben die …

    freiburg-diss Repository record

  2. Ein Rahmenwerk für operationale Spezifikationssprachen : Sprachrealisierung und Ausführung mittels Graphtransformationen

    Weinell, Erhard HerbertShaker2011

    aachen Repository record