Direkt zum Inhalt

formale Spezifikation

GEPRÜFTES WISSEN
Über 200 Experten aus Wissenschaft und Praxis.
Mehr als 25.000 Stichwörter kostenlos Online.
Das Original: Gabler Wirtschaftslexikon

zuletzt besuchte Definitionen...

    Ausführliche Definition im Online-Lexikon

    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 formalen Spezifikation kann u.U. ein formaler Beweis geführt werden, dass 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.

    Mit Ihrer Auswahl die Relevanz der Werbung verbessern und dadurch dieses kostenfreie Angebot refinanzieren: Weitere Informationen

    Mindmap "formale Spezifikation"

    Hilfe zu diesem Feature
    Mindmap formale Spezifikation Quelle: https://wirtschaftslexikon.gabler.de/definition/formale-spezifikation-32169 node32169 formale Spezifikation node40077 Modul node32169->node40077 node42515 Software Engineering node32169->node42515 node31993 Implementierung node32169->node31993 node38490 Informatik node32169->node38490 node43712 Softwaresystem node32169->node43712 node44838 Schnittstelle node37410 Modularisierung node40077->node37410 node40077->node42515 node40077->node31993 node40077->node43712 node49846 Top-Down-Prinzip node49846->node42515 node38583 IT node38583->node42515 node42515->node31993 node42515->node38490 node44409 Preismanagement node44409->node31993 node31877 Codierung node27106 Algorithmus node40285 Künstliche Intelligenz (KI) node40285->node32169 node34474 Heuristik node40285->node34474 node31993->node44838 node31993->node31877 node31993->node27106 node54034 Human Enhancement node54034->node38490 node54080 Wirtschaft node54080->node38490 node38490->node40285 node54088 Wearables node54088->node40285 node54088->node38490 node50418 Verantwortung node50418->node40285 node54195 Digitalisierung node54195->node40285
    Mindmap formale Spezifikation Quelle: https://wirtschaftslexikon.gabler.de/definition/formale-spezifikation-32169 node32169 formale Spezifikation node38490 Informatik node32169->node38490 node31993 Implementierung node32169->node31993 node42515 Software Engineering node32169->node42515 node40077 Modul node32169->node40077 node40285 Künstliche Intelligenz (KI) node40285->node32169

    News SpringerProfessional.de

    Literaturhinweise SpringerProfessional.de

    Bücher auf springer.com

    Sachgebiete