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

      • Exportentwicklung Werkzeugmaschinen

        Ein aktueller Quest Report verbindet Exportmärkte und Durchschnittswerte von Werkzeugmaschinen in Euro und die Wirkung auf die Exporte nach China seit 2008. Steigende Durchschnittswerte von Werkzeugmaschinen gehen demnach mit rückläufigen Exporten nach China einher.

      • Banken genießen großes Vertrauen ihrer Kunden

        72 Prozent der Bankkunden in Deutschland gehen davon aus, dass Kreditinstitute mit ihren persönlichen Daten sorgsam umgehen. Keine andere Branche genießt einer aktuellen Umfrage zufolge höheres Vertrauen.

      • Neue Aufgaben für die Zentrale der Zukunft

        Unternehmen müssen agil und innovativ sein. Das althergebrachte Headquarter, von dem aus alles zentral gesteuert werden soll, scheint dazu nicht passen zu wollen. Muss die Unternehmenszentrale neu erfunden werden? 

      • So geht erfolgreiches Lead Nurturing im B2B-Segment

        Wenn nicht nur Leads, sondern in Folge auch Käufer generiert werden, ist von Lead Nurturing die Rede. Im B2B-Bereich müssen E-Mail-Marketer dafür besonders strategische sowie kontinuierliche Beziehungsarbeit leisten.

      • Globales E-Invoicing ist Herausforderung für Unternehmen

        Unternehmen sind aufgrund staatlicher Vorgaben zunehmend dazu verpflichtet, ihre Rechnungen elektronisch zu erstellen. Doch in jedem Land gelten andere rechtliche Regelungen. Entsprechend komplex gestalten sich die Prozesse. Erster Teil des Gastbeitrags.

      • Auf dem Rechtsweg ins Verderben

        Wer seinen Markt als Eigentum betrachtet und Neueinsteiger juristisch bekämpfen will, kann nur verlieren, meint Springer-Autor und Zukunftsmanager Heino Hilbig. Denn die Klage eines Taxifahrers gegen Moia wird neue Verkehrskonzepte nicht verhindern. 

      • Mit Location Based Marketing auf Neukundenfang

        Deutsche Marketing-Manager sehen in standortbasierter Werbung die Brücke, um Konsumenten online wie offline anzusprechen. Vor allem für die Neukundengewinnung setzen sie auf das Marketinginstrument.

      • Wie der Arbeitsplatz von morgen aussehen wird

        Während der Industrialisierung wanderte die Arbeit aus dem Haushalt in die Fabrik. Heute klopft sie wieder an die Haustür. Die Möglichkeit zu mehr zeitlicher und örtlicher Flexibilität, beispielsweise zur Arbeit im Homeoffice, macht vor keiner Branche mehr halt.

      • Java und JavaScript sind die beliebtesten Programmiersprachen

        Die meisten Softwareingenieure setzen auf Java und JavaScript, wenn es um die Entwicklung von Unternehmensanwendungen geht. Die angeblichen "In"-Programmiersprachen Python & Co. liegen in der Beliebtheitsskala teils weit abgeschlagen hinter den Klassikern.

      • Diese digitalen Marken sind top

        Digitale Dienste dominieren immer stärker die Markenwelt. In den Top 25 der relevantesten Marken Deutschlands machen sich analoge Marken eher rar.

      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