This flashcard is just one of a free flashcard set. See all flashcards!
77
75. Wie würden Sie bei der natürlichsprachlichen Spezifikation vorgehen? Welche Tools würden Sie (in Java/C++) einsetzen?
Die Spezifikation eines Bausteins muss in einer disziplinierten Sprache geschrieben sein, so dass sie zusammen mit der Signatur als Implementationsvorlage ausreicht.
* Zur Spezifikation sind
1. Signatur (Syntax),
2. Vorbedingung,
3. Nachbedingung und
4. mögliche Ausnahmen (Semantik) erfoderlich.
* In Java wird die natürlichsprachliche Spezifikation mit dem Werkzeug javadoc verwaltet,
* unter C++ kann man beispielsweise doxygen einsetzen.
* Zur Spezifikation sind
1. Signatur (Syntax),
2. Vorbedingung,
3. Nachbedingung und
4. mögliche Ausnahmen (Semantik) erfoderlich.
* In Java wird die natürlichsprachliche Spezifikation mit dem Werkzeug javadoc verwaltet,
* unter C++ kann man beispielsweise doxygen einsetzen.
