Das Kefk Network Wiki befindet sich im Testbetrieb.
Formale Spezifikation
Aus Kefk.
| Dieser Artikel wurde zur Löschung vorgeschlagen.
Falls du der Autor des Artikels bist, lies dir bitte durch, was ein Löschantrag bedeutet, und entferne diesen Hinweis nicht. |
Begründung: Die formale Spezifikation ist die Spezifikation mittels einer formalen Sprache: aha! Der Rest des Artikels ist unverständliches Fachchinesisch mit besonders aussagekräftigen Füllwörtern wie "könnte", "in der Regel" und "für gewöhnlich". Neben der fehlenden Relevanz wäre auch zudem noch eine mögliche URV zu prüfen. --Omi´s Törtchen ۩ - ± 14:21, 24. Apr. 2007 (CEST)
Eine formale Spezifikation ist eine Spezifikation eines Computer-Programms mittels einer formalen Sprache.
Ziel ist eine formalisierte, präzise Beschreibung der zu lösenden Aufgabe in einem in sich konsistenten und geschlossenen Modell, um dieses weiterzuverarbeiten. Mit Hilfe von Zusatzwerkzeugen kann die Einhaltung der Regeln der formalen Sprache und die Integrität des Modells geprüft werden. Weitere Werkzeuge können eine Transformation des Modells in andere formale Sprachen bewirken, z.B. Programmiersprachen, die wiederum mit Compilern in auf Computern ausführbaren Maschinencode übersetzt werden können.
In der Regel muss der Spezifizierer die Philosophie des Modellierungswerkzeugs, eine aufwändige Modellierungsnotation und werkzeugspezifische Kniffe erlernen.
Für gewöhnlich ist die Lernkurve beim Einsatz formaler Spezifikationen steil.
 | Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Formale_Spezifikation, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation. |
