A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

formale Spezifikation

1. Begriff: Im Software Engineering eine Methode der Spezifikation, bei der die Aufgaben eines Moduls (schwieriger: eines Softwaresystems) formal definiert werden, z. B. axiomatisch. - 2. Vorteil: Exakte Vorgabe für die Implementierung; ausgehend von einer f. S. kann u. U. ein formaler Beweis geführt werden, daß die Implementierung mit der Spezifikation übereinstimmt. (Programmverifikation). - 3. Nachteil: Nur für kleinere Aufgaben und von formal geschulten Informatikern einsetzbar, sehr aufwendig. - 4. Bedeutung: In der Informatik intensive Forschungsaktivitäten; in der Praxis noch geringe Bedeutung.

<< vorheriger Begriff		nächster Begriff>>
formale Inzidenz		formaler Parameter

Diese Seite bookmarken :

Weitere Begriffe : Entscheidungsunterstützungssystem | Sonderurlaub | Computer-Mißbrauch-Versicherung | Personifikationssystem | verschreibungspflichtige Arzneimittel

Thematische Gliederung | Unser Projekt | Impressum

Copyright © 2009 All rights reserved. Wirtschaftslexikon