Ziele:
Spezifikationssprachen in der Software-Technik

im Vorlesungsteil:
Erläuterungen zu SDL und UML

nachlesen:
Text

Verständnisfragen:

• Welche Arten von Werkzeugen benötigt man zu solchen Spezifikationssprachen?