Startseite
Forum
Fragen
Suchen
Über Uns
Registrieren
Login
FAQ
Suchen
Foren-Übersicht
->
Grammatik
Antwort schreiben
Benutzername
(du bist
nicht
eingeloggt!)
Titel
Nachrichtentext
Smilies
Weitere Smilies ansehen
Schriftfarbe:
Standard
Dunkelrot
Rot
Orange
Braun
Gelb
Grün
Oliv
Cyan
Blau
Dunkelblau
Indigo
Violett
Weiß
Schwarz
Schriftgröße:
Schriftgröße
Winzig
Klein
Normal
Groß
Riesig
Tags schließen
Optionen
HTML ist
aus
BBCode
ist
an
Smilies sind
an
BBCode in diesem Beitrag deaktivieren
Smilies in diesem Beitrag deaktivieren
Spamschutz
Text aus Bild eingeben
Alle Zeiten sind GMT + 1 Stunde
Gehe zu:
Forum auswählen
Themenbereiche
----------------
Neue & Alte Rechtschreibung
Grammatik
Textanalysen und Interpretationen
Erörterungen
Literaturgeschichte
Sonstiges
Beispielklausuren
Sonstiges
----------------
Off-Topic
Ankündigungen
Thema-Überblick
Autor
Nachricht
PeterMuellerr
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.