 Verfasst am: 10. Jun 2022 04:31 Titel: Fugen-s in Annahme/Verpflichtung(s)-Spezifikation ? |
|
| Beachten wir den folgenden Satz: Eine Annahme/Verpflichtung(s)-Spezifikation kann man sich als ein Paar von Prädikaten (A, C) vorstellen, wobei die Annahme A die Umgebung beschreibt, in der die spezifizierte Komponente laufen soll, und die Verpflichtung C Anforderungen festlegt, die jede korrekte Implementierung immer erfüllen muss, wenn sie in einer Umgebung ausgeführt wird, welche die Annahme erfüllt. (Quelle: Übersetzung von An assumption/commitment specification can be thought of as a pair of predicates (A, C) , where the assumption A describes the environment in which the specified component is supposed to run, and the commitment C states requirements which any correct implementation must fulfill whenever it is executed in an environment which satisfies the assumption in Assumption/Commitment Rules for Dataflow Networks — with a Emphasis on Completeness, Ketil Stølen, ESOP'96.) Kommt da ein Fugen-s hin? Also Annahme/Verpflichtung-Spezifikation oder doch Annahme/Verpflichtungs-Spezifikation? Laut Googlesuche schreibt ein Autor im Netz das Erste und keiner schreibt das Zweite, während Google Translate das Zweite vorschlägt. Beachte: Annahme/Verpflichtung ist ein einzelner, zusammenhängender Begriff. Eine Annahme/Verpflichtung(s)-Spezifikation ist eben KEINE Annahmespezifikation und Verpflichtungsspezifikation, sondern eine Spezifikation der Form Annahme-und-Verpflichtung. Duden 4, 2016, sagt auf S. 727, dass bei Wortreihungen als Erstglied das obligatorische Fugen-s optional wird, allerdings werden da nur Beispiele mit Bindestrich im Erstglied angegeben. Wir haben hier hingegen ein Beispiel mit einem Schrägstrich im Erstglied. |
|
