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

      • Verantwortungsvolle Chefs haben mehr Stress

        Ein Chef, der sich seiner Verantwortung im Job bewusst ist, führt ein stressbelastetes Dasein. Zumindest, wenn er sich in einer gehobenen Machtposition befindet. Das haben Wissenschafter herausgefunden.

      • Dax-Vorstände verdienen noch mehr

        Wenn etwas die Gemüter erhitzt, dann sind es immer wieder die exorbitanten Bezüge von Vorständen und Aufsichtsräten von Unternehmen. Eine aktuelle Studie gibt der Diskussion neue Nahrung. Demnach bekommen die CEOs von der Post, Heidelberg Cement, Adidas und Daimler unglaubliche Summen. 

      • Enterprise Social Networks fördern Innovationen

        Der digitale Reifegrad deutschsprachiger Unternehmen verbessert sich zusehends. In allen Bereichen haben digitale Prozesse mittlerweile die analogen Formen der Zusammenarbeit überholt. Doch es gibt noch viel zu tun.

      • Konsequent digital steigert die Profite

        Je intensiver Unternehmen digitalisiert sind, desto höher ist ihr Gewinnwachstum. Allerdings braucht es dazu konsequente Strategien und den Willen zum Wandel auf allen Ebenen.

      • Warum Manager die Macht der Controller fürchten

        Die Rolle des Controllers verändert sich. Er soll gerade als Unterstützung im strategischen Bereich an Einfluss gewinnen. Doch noch ist nicht jeder Manager bereit, den Controller als Sparringspartner zu sehen.

      • So viele befriste Arbeitsverträge wie nie

        Es gibt viel zu tun für die Bundesregierung – auch beim Thema befristete Arbeitsverträge. Denn deren Zahl hat im Jahr 2017 ein Rekordhoch erreicht. Bei der Hälfte fehlt sogar der sachliche Grund.

      • Facebook und VW stehen nicht für Werte

        Cambridge Analytica bei Facebook und die nicht endende Abgasaffäre bei Volkswagen haben das Image beider Unternehmen schwer geschädigt. Verbraucher wissen nicht mehr, welcher Ethik sie folgen. Ein Gastbeitrag von Jan Döring.

      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

      Literaturhinweise SpringerProfessional.de

      Springer Professional - Die Flatrate für Fachzeitschriften und Bücher
      Diese Arbeit führt formale Anforderungs-Spezifikationen für eingebettete Realzeit Systeme ein. Die Arbeit beschreibt die Schwierigkeiten, die eine Anwendung dieser Techniken auf realistisch grosse industrielle Systeme findet, sowie eine Strategie …
      Wir skizzieren einen bei DST derzeit untersuchten Ansatz zur formalen Spezifikation der in den ITSEC beschriebenen Funktionalitätsklassen. Auf Grundlage der formalen Spezifikation läßt sich die Konsistenz der (formalen) Spezifikation eines …
      Es wird ein Verfahren vorgestellt, bei dem es dem Entwickler eines Prozeßautomatisierungssystems ermöglicht wird, schon vor der Fertigstellung der formalen Spezifikation diese ablaufen zu lassen. Es wird beschrieben, wie der technische Prozeß in …

      Sachgebiete