Direkt zum Inhalt

halbformale 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

    im Software Engineering eine Methode der Spezifikation, bei der die Aufgaben eines Softwaresystems oder eines Moduls teils verbal, teilweise formalisiert, definiert werden.

    zuletzt besuchte Definitionen...

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

      News SpringerProfessional.de

      • Maschinen-Export in die USA boomt

        Die Ausfuhren der deutschen Maschinenbau-Industrie bleiben auf Wachstumskurs – besonders in Richtung USA und China. In den ersten vier Monaten dieses Jahres stiegen die Ausfuhren im Vergleich zum Vorjahr um nominal 4,4 Prozent auf 56,1 Milliarden Euro.

      • "Der beste Deal kann sich zum Flop entwickeln"

        Wie Übernahmen von Unternehmen gelingen, erklärt M&A-Experte Florian Bauer im Exklusiv-Interview. Denn der Professor für strategisches Management an der Lancaster University Management School erlebt viel zu oft, wie die Integration zugekaufter Kandidaten scheitert.

      • Aufsichtsrat – kein Job für nebenbei

        Die Zeiten, in denen Vorstände nebenher zahlreiche Aufsichtsratsmandate anhäuften, sind vorbei. Die Hauptgründe: Zeitmangel und strengere Anforderungen. Beginnt nun die Ära der Berufsaufsichtsräte?

      • "Ignoranz versucht, einen anderen zum Nichts zu machen"

        Sie wirken auf den ersten Blick harmlos: Ignoranzfallen am Arbeitsplatz. Dabei handelt es sich um Mobbing, um subtile seelische Gewalt, die Mitarbeitern an die Nieren geht. Springer-Autorin Lilo Endriss erklärt im Interview, warum Ignoranzfallen so tückisch sind.

      • Verbraucher können bald gemeinsam klagen

        Der Bundestag hat entschieden: Ab November ist es Verbrauchern möglich, über Verbände eine Musterfeststellungsklage gegen Unternehmen einzureichen, um gemeinsam Schadensersatz zu fordern. Die Opposition sieht das Gesetz kritisch.

      • Psychopath und Psychopath gesellt sich gern

        Menschen mit psychopathischen Tendenzen sind unter rüden Chefs zu Bestleistungen fähig, so eine Studie. Was nach einer Win-Win-Situation für stressige Arbeitsumfelder klingt, hat auch seine Kehrseiten.

      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
      Der Beitrag erörtert die Frage, welche Ansätze zur Spezifikation grundsätzlich in Frage kommen, und begründet, warum in der industriellen Praxis das Prinzip der halbformalen Spezifikation auf der Basis anschaulicher Modelle vorteilhaft ist. Die …
      Moderne Fahrzeuge sind komplexe Systeme, die von sich weiterentwickelnden Softwarefunktionen und vernetzten Architekturen bestimmt werden. Ein Werkzeug, diese Herausforderung zu bewältigen, ist interdisziplinäres Systems Engineering. Dabei werden …
      Der Prozeß der Entwicklung sicherheitsgerichteter Software wird aus der Perspektive permanenter Qualitätssicherung und dazu geeigneter Maßnahmen behandelt. Die Begriffe Perfektion und Fehlertoleranz werden im Hinblick auf Software eingeführt und …

      Bücher auf springer.com

      versandkostenfrei von springer.com

      Sachgebiete