SUCHE
1234
Suchformular schließen

formale Spezifikation

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

Übersicht

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.

    Übersicht

    zuletzt besuchte Definitionen...

      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 node38490 Informatik node32169->node38490 node31993 Implementierung node32169->node31993 node42515 Software Engineering node32169->node42515 node40077 Modul node32169->node40077 node43712 Softwaresystem node32169->node43712 node40285 Künstliche Intelligenz (KI) node40285->node32169 node34474 Heuristik node40285->node34474 node38490->node40285 node27106 Algorithmus node31993->node27106 node44838 Schnittstelle node31993->node44838 node31877 Codierung node31993->node31877 node42515->node38490 node42515->node31993 node40077->node31993 node40077->node42515 node37410 Modularisierung node40077->node37410 node40077->node43712 node38583 IT node38583->node42515 node49846 Top-Down-Prinzip node49846->node42515 node44409 Preismanagement node44409->node31993 node54080 Wirtschaft node54080->node38490 node54034 Human Enhancement node54034->node38490 node54195 Digitalisierung node54195->node40285 node50418 Verantwortung node50418->node40285 node54088 Wearables node54088->node40285 node54088->node38490
      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

      Autoren der Definition und Ihre Literaturhinweise/ Weblinks

      Zur Zeit keine Literaturhinweise/ Weblinks der Autoren verfügbar.

      Literaturhinweise SpringerProfessional.de

      Bücher auf springer.com

      Sachgebiete

      formale Spezifikation

      is assigned to the following subject groups in the lexicon:

      BWL

      Allgemeine BWL > Wirtschaftsinformatik > Grundlagen der Wirtschaftsinformatik

      Informationen zu den Sachgebieten

      Wirtschaftsinformatik

      Die Wirtschaftsinformatik als Wissenschaft von der Konzeption, Entwicklung und Anwendung computergestützter Informations- und Kommunikationssysteme (IKS) nimmt eine interdisziplinäre Schnittstellenfunktion zwischen der Betriebswirtschaftslehre und der Informatik ein. Jedoch bietet die... mehr >

      Weiterführende Schwerpunktbeiträge

      Data Mining

      Unter Data Mining versteht man die Anwendung von Methoden und Algorithmen zur möglichst automatischen Extraktion empirischer Zusammenhänge zwischen Planungsobjekten, deren Daten in einer hierfür aufgebauten Datenbasis bereitgestellt werden.... mehr >

      Wirtschaftsinformatik

      Wissenschaft von dem Entwurf, der Entwicklung und der Anwendung computergestützter Informations- und Kommunikationssysteme (IuK-Systeme) und -techniken in Unternehmungen und Verwaltungen zur Unterstützung ihrer Geschäftsprozesse. Die Wirtschaftsinformatik nimmt eine Schnittstellenfunktion... mehr >

      Enterprise-Resource-Planning-System

      Ein Enterprise-Resource-Planning-System (ERP-System) unterstützt sämtliche in einem Unternehmen ablaufenden Geschäftsprozesse. Es enthält Module für die Bereiche Beschaffung, Produktion, Vertrieb, Anlagenwirtschaft, Personalwesen, Finanz- und Rechnungswesen usw., die über eine gemeinsame Datenbasis miteinander verbunden sind. ... mehr >

      Internet Business

      Unter Internet Business wird die Abwicklung von Geschäftsprozessen jedweder Art über das Internet verstanden. Darunter fallen sowohl interne Prozesse, die sich nur auf Kommunikationspartner innerhalb eines Unternehmens beziehen, als auch solche Prozesse, die zwischen zwei Geschäftspartnern... mehr >

      Web 2.0

      Unter dem Begriff Web 2.0 wird keine grundlegend neue Art von Technologien oder Anwendungen verstanden, sondern der Begriff beschreibt eine in sozio-technischer Hinsicht veränderte Nutzung des Internets, bei der dessen Möglichkeiten konsequent genutzt und weiterentwickelt werden. Es stellt eine... mehr >

      Interne Verweise