CoboCards App FAQ & Wishes Feedback
Language: English Language
Sign up for free  Login

This flashcard is just one of a free flashcard set. See all flashcards!

All main topics / Informatik / Softwaretechnik / Softwaretechnik 1
80
78. Was ist eine Signatur? Wie sieht eine Signatur aus? Welche Unterschiede gibt es zwischen Oberflächen- und Tiefensignatur? Benötigt man die Tiefensignatur für die natürlichsprachliche Spezifikation?
"Unter Signatur einer Methode versteht man ihren internen Namen. Dieser setzt sich aus dem nach außen sichtbaren Namen plus codierter Information über die Reihenfolge und Typen der formalen Parameter zusammen. Die Signaturen zweier gleichnamiger Methoden sind also immer dann unterscheidbar, wenn sie sich wenigstens in einem Parameter voneinander unterscheiden." [Krüger]

    * Die Oberflächensignatur gibt die Schnittstelle wieder.
            float sqrt( float x );

    * Die Tiefensignatur beschreibt zusätzlich die Vor- und Nachbedingung.
            pre-sqrt:  x >= 0
            post-sqrt: result^2 = x
            float      sqrt( float x );

Für eine natürlichsprachliche Spezifikation braucht man zwingend die Tiefensignatur, da man Vor- und Nachbedingungen beschreiben muss, die ja vom internen Vor- und Nachzustand der Klasse abhängen und umgekehrt.
New comment
Flashcard info:
Author: noobMan
Main topic: Informatik
Topic: Softwaretechnik
Published: 02.02.2010

Cancel
Email

Password

Login    

Forgot password?
Deutsch  English