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
[quote="PeterMuellerr"]Beachten wir den folgenden Satz: [i]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. [/i] (Quelle: Übersetzung von [i]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[/i] in [i]Assumption/Commitment Rules for Dataflow Networks — with a Emphasis on Completeness[/i], Ketil Stølen, ESOP'96.) Kommt da ein Fugen-s hin? Also [i]Annahme/Verpflichtung-Spezifikation[/i] oder doch [i]Annahme/Verpflichtungs-Spezifikation[/i]? Laut Googlesuche schreibt ein Autor im Netz das Erste und keiner schreibt das Zweite, während Google Translate das Zweite vorschlägt. Beachte: [i]Annahme/Verpflichtung[/i] ist ein einzelner, zusammenhängender Begriff. Eine [i]Annahme/Verpflichtung(s)-Spezifikation[/i] ist eben KEINE [i]Annahmespezifikation und Verpflichtungsspezifikation[/i], sondern eine [i]Spezifikation der Form Annahme-und-Verpflichtung[/i]. 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.[/quote]
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.