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

      • Was Bewerber garantiert abschreckt

        Sie sollen Status symbolisieren und modern daher kommen, erreichen aber das genaue Gegenteil. Arbeitsuchende empfinden englische Jobtitel häufig als unnötig aufgebläht. Keep ist simple, ist der bessere Anglizismus im Recruiting.

      • Big Brother im Büro

        Die totale Überwachung von Mitarbeitern ist längst keine negative Utopie mehr, wie sie George Orwell oder Dave Eggers in ihren Romanen heraufbeschwören. Unternehmen können bereits jetzt die Aktivitäten ihrer Angestellten rundum erfassen. Wissenschaftler warnen vor Missbrauch.

      • Private Equity in Deutschland boomt

        Unternehmen günstig kaufen und mit Gewinn verkaufen. Das ist das Konzept von Private Equity-Gesellschaften. Sie sind in Deutschland nach wie vor sehr aktiv, wie eine aktuelle Studie zeigt.

      • Zu wenig Innovation vor lauter Transformation

        Im BCG-Innovations-Ranking 2018 liegen US- und Digitalunternehmen klar vorn. Deutsche Firmen sind erst ab Platz 21 zu finden. Doch was hemmt hierzulande eigentlich die Innovationskraft?

      • Talentierte Mitarbeiter finden und binden

        Im hart gewordenen "War for Talents", in dem Fachkräfte begehrter denn je sind, vergessen Unternehmen offenbar, auf die internen Talente zu setzen. Dabei schlummern in der Belegschaft oft ungeahnte Potenziale.

      • Digitalisierung in betrieblicher Altersvorsorge angekommen

        Mittlerweile ist die Digitalisierung auch in der betrieblichen Altersvorsorge angekommen. Die aktuelle Mercer-Studie deckt Details auf und erklärt, wieso sich zwei Drittel der befragten Unternehmen eine digitale Informationsplattform wünschen.

      • Industrie 4.0 – und Schicht im Schacht?

        Je nach Standpunkt und Blickwinkel scheint der Trend zu Digitalisierung und Vernetzung der Industrie zur Industrie 4.0 positive oder negative Auswirkungen auf die Arbeitsplatzentwicklung zu versprechen. Wirtschaftsforscher haben jetzt eine Gesamtschau versucht.

      • Agile Führung zur Stärkung der Veränderungsintelligenz

        Braucht Agilität überhaupt noch Führung? Oder sind Führung und Agilität nicht ein Widerspruch in sich? Wie das Konzept der Veränderungsintelligenz zeigt, hängt die Antwort vom jeweiligen Agilitätskontext ab, so Gastautorin Antje Freyth.

      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