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

    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.

    zuletzt besuchte Definitionen...

      Mindmap formale Spezifikation Quelle: https://wirtschaftslexikon.gabler.de/definition/formale-spezifikation-32169 node32169 formale Spezifikation node42460 Spezifikation node32169->node42460 node42515 Software Engineering node32169->node42515 node31993 Implementierung node32169->node31993 node38670 Just in Time ... node38670->node31993 node36552 Variable endogene node30653 Aggregation node42460->node36552 node42460->node30653 node42460->node31993 node44629 ökonometrisches Modell node42460->node44629 node38583 IT node38583->node42515 node49846 Top-Down-Prinzip node49846->node42515 node38490 Informatik node42515->node38490 node44409 Preismanagement node44409->node31993 node43166 Programm node44838 Schnittstelle node44838->node42515 node40285 Künstliche Intelligenz (KI) node40285->node32169 node34474 Heuristik node40285->node34474 node31993->node43166 node31993->node44838 node54088 Wearables node54088->node38490 node54079 Mensch-Maschine-Interaktion node54079->node38490 node54080 Wirtschaft node54080->node38490 node38490->node32169 node38490->node40285 node54248 Chatbot node54248->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 node42460 Spezifikation node32169->node42460 node40285 Künstliche Intelligenz (KI) node40285->node32169

      News SpringerProfessional.de

      Literaturhinweise SpringerProfessional.de

      Bücher auf springer.com

      Sachgebiete