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 node40077 Modul node32169->node40077 node31993 Implementierung node32169->node31993 node43712 Softwaresystem node32169->node43712 node42515 Software Engineering node32169->node42515 node42460 Spezifikation node32169->node42460 node40077->node42515 node41528 Modulschnittstelle node40077->node41528 node31993->node42515 node42854 PPS-System node42854->node43712 node42590 Softwareentwurfsmethoden node42590->node43712 node45565 Programmierer node45565->node31993 node45565->node43712 node45585 Software node43712->node45585 node48936 Testen node48936->node40077 node48936->node31993 node35118 Enterprise JavaBean node35118->node40077 node52108 Schwarz-Informationskriterium node52108->node42460 node42515->node45585 node42556 Spezifikationsfehlertest node41528->node42460 node42460->node42515 node42460->node42556 node37305 Information Hiding node37305->node42515 node35268 halbformale Spezifikation node35268->node42515 node44838 Schnittstelle node44838->node42515
      Mindmap formale Spezifikation Quelle: https://wirtschaftslexikon.gabler.de/definition/formale-spezifikation-32169 node32169 formale Spezifikation node42515 Software Engineering node32169->node42515 node42460 Spezifikation node32169->node42460 node40077 Modul node32169->node40077 node43712 Softwaresystem node32169->node43712 node31993 Implementierung node32169->node31993

      News SpringerProfessional.de

      • Persönlichkeit und Motivation müssen stimmen

        Beim Besetzen vakanter Stellen achten Vertriebsleiter oft stärker auf die fachliche Qualifikation der Bewerber als auf deren Persönlichkeit und Motivation. Michael Schwartz, Leiter des Instituts für integrale Lebens- und Arbeitspraxis in Esslingen, erläutert, warum diese beiden Faktoren im Vertrieb so wichtig sind.

      • Neue Recruitingstrategien gegen den Fachkräftemangel

        Für den deutschen Mittelstand wird der Fachkräftemangel zum Geschäftsrisiko, zeigen Studien. Und die Situation soll sich noch verschärfen. Höchsten Zeit also, bei der Personalbeschaffung neue Weg zu gehen, so Gastautor Steffen Michel. 

      • Weniger IPO-Prospekt, dafür mehr Anlegerschutz

        Wer sich bislang per Börsengang Geld am Kapitalmarkt besorgen wollte, musste einen aufwendigen Prospekt erstellen. Eine Neuregelung sorgt jetzt bei kleineren IPOs (Initial Public Offering) für Abhilfe. Wie die Voraussetzungen aussehen, erklärt Rechtsanwalt Jörg Baumgartner in seinem Gastbeitrag.

      • Whatsapp startet Business-Offensive

        Im Servicefall können Verbraucher einige Unternehmen bereits über den Messenger-Dienst Whatsapp kontaktieren. Doch was passiert, wenn der Kundenservice Nachrichten initiativ versendet? Ein neues Business-Tool soll genau das ermöglichen.

      • Kundennutzenmodelle im B2B-Vertrieb von E-Marktplätzen

        Elektronische B2C-Marktplätze müssen ihre über Jahre errungene dominante Marktstellung in Gewinne umzumünzen, ohne ihre Marktstellung zu gefährden. Dazu gehört, Preise für langjährige Händler drastisch zu erhöhen. Kundennutzenmodelle spielen dabei eine wichtige Rolle.

      • "Belastete Geschäftsmodelle sind meistens nicht genug innoviert"

        Der ehemalige Roland-Berger-Krisenberater Thomas Knecht hat an der Spitze von Hellmann den Turnaround des weltweiten Logistikers geschafft. Branche und Wirtschaft fordert er zu mehr Wachsamkeit auf. Im Interview spricht er über Anpassungsfähigkeit und Insolvenzschutz.

      Autoren der Definition und Ihre Literaturhinweise/ Weblinks

      Prof. Dr. Richard Lackes
      Technische Universität Dortmund,
      LS für Wirtschaftsinformatik
      Universitätsprofessor
      Dr. Markus Siepermann
      Technische Universität Dortmund,
      LS für Wirtschaftsinformatik
      Wissenschaftlicher Mitarbeiter

      Sachgebiete