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

      • Starke Teams lassen Risiken zu

        "Werde eins mit deinem Projekt", proklamierte vor Jahren eine Baumarktkette. Ein kerniger Slogan, der seine Parallele in einer Google-Studie findet: Teammitglieder die risikobereit in ihrer Aufgabe aufgehen, arbeiten effektiver.

      • "Freibeträge in Abfindungsregelungen wieder einführen"

        Seit 1. Januar gilt die Institutsvergütungsverordnung (IVV). Mit ihr wurden in erster Linie die Anforderungen der Leitlinien der Europäischen Bankenaufsichtsbehörde EBA für eine solide Vergütungspolitik in deutsches Recht umgesetzt. Wie sich das auf die Personal- und Abfindungsstrategien bei den Banken auswirkt, erklärt Jurist Christoph Abeln im Interview.

      • So teuer wird der Fachkräftemangel

        Dass der Fachkräftemangel die deutsche Wirtschaft bremst, ist nicht neu. Allerdings war bislang nicht klar, wie sehr fehlendes Personal zu Buche schlägt. Einer Studie zufolge drohen bis zum Jahr 2030 wirtschaftliche Schäden in Milliardenhöhe. 

      • KMU zögern bei tiefgreifender Digitalisierung

        Der digitale Wandel wirkt sich auf die gesamte Wertschöpfungskette aus. Viele kleine und mittelständische Unternehmen haben das nicht vollends erkannt, weshalb sie sich auf die Optimierung einzelner interner Prozesse versteifen.

      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