| 
 | 
 | 
 | 
Wirtschaftslexikon
  Detailsuche
Digitale Fachbibliothek
in über 61.000 Fachbüchern + 500 Fachzeitschriften 

ANZEIGE

Bücher
Aus einer Besprechung zur Vorauflage: "... Das Buch stellt die wichtigsten Wirtschaftsinformatik-Inhalte für den Anfänger knapp und mit einem sehr ... Vorschau
12.99 €

Dieses Buch online im Abo für monatlich 45,90 € - inkl. weiterer 61.000 Fachbücher als PDF auf Springer Professional !
Statistik (von statista.com)
Umsatz mit Business Intelligence Software
Weltweiter Umsatz mit Business-Analyse- und Intelligence-Software von 2008 bis 2011 nach Anbieter (in Milliarden US-Dollar)
Statistik: Umsatz mit Business Intelligence Software
(Kostenpflichtige Statistik)
Statista: hochwertige Statistiken, Umfragen und Studien aus über 10.000 Quellen
Meine zuletzt besuchten Definitionen
Schwerpunktbeiträge des Tages
Im Rahmen der experimentellen Wirtschaftsforschung werden kontrollierte Laborexperimente, Feldexperimente und Simulationen durchgeführt. Diese dienen vorrangig dazu, wirtschaftswissenschaftliche Theorien einer strengen Überprüfung zu unterziehen oder wirtschaftsbezogene Verhaltensmuster unter kontrollierten Rahmenbedingungen aufzudecken. Typischerweise haben die Teilnehmer an Experimenten nach vorgegebenen Spielregeln Entscheidungen ... mehr
von  Prof. Dr. Mathias Erlei
Die Geldtheorie umfasst die Beziehungen zwischen den geldwirtschaftlichen Größen untereinander und jene zwischen Geld- und Güterwirtschaft unter Berücksichtigung internationaler Verflechtungen: Sie erklärt, welche Rolle die einzelnen Größen, wie z.B. Geld, Kredit und Zins, im Wirtschaftsablauf spielen.
von  Prof. Dr. Oliver Budzinski, PD Dr. Jörg Jasper, Prof. Dr. Albrecht F. Michler

Programmverifikation

Definition

ANZEIGE

1. Begriff der Informatik:
(1) formale Vorgehensweise mit dem Ziel, die Korrektheit eines Programms bzw. Moduls zu beweisen;
(2) Forschungsgebiet, das sich mit Methoden des Korrektheitsbeweises beschäftigt.

2. Motivation: Da mit dem gebräuchlichen Testen eines Programms die Korrektheit nicht garantiert werden kann, wurde nach Möglichkeiten gesucht, als Ersatz oder in Ergänzung die Korrektheit durch theoretische Analyse des Programmtexts zu beweisen.

3. Voraussetzungen:
(1) eine formale Spezifikation der Aufgabe des Programms bzw. Moduls;
(2) eine formale Beschreibung der Semantik einer Programmiersprache.

4. Vorteil: Korrektheit wird bewiesen, nicht nur unterstellt wie beim Testen.

5. Nachteil: Programmverifikation von Hand ist extrem aufwendig; lässt sich nur bei sehr kleinen Programmen anwenden, bei größeren Programmen nicht praktikabel. Intensive Forschungsbemühungen in der Informatik, die Programmverifikation so weit wie möglich zu automatisieren.

Suche in der E-Bibliothek für Professionals

ANZEIGE

Sachgebiete
Programmverifikation
ist im Gabler Wirtschaftslexikon folgenden Sachgebieten zugeordnet:
Informationen zu den Sachgebieten
Die Wirtschaftsinformatik als Wissenschaft von der Konzeption, Entwicklung und Anwendung computergestützter Informations- und Kommunikationssysteme (IKS) nimmt eine interdisziplinäre Schnittstellenfunktion zwischen der Betriebswirtschaftslehre und der Informatik ein. Jedoch bietet die Wirtschaftsinformatik auch zusätzliche Funktionen/Ergebnisse wie etwa Methoden und Modelle, anhand derer ... mehr
Die Versicherungswirtschaft ist zum einen ein Wirtschaftszweig von großer volkswirtschaftlicher Bedeutung und zum anderen eine spezielle Betriebwirtschaftslehre - auch Versicherungsbetriebslehre genannt. Als Wirtschaftszweig mit Dienstleistungscharakter ist die Versicherungswirtschaft mit Aufgaben der Schadensverhütung und -regulierung und der Sammlung von Kapital betraut. ... mehr
Durch eine internationale Rechnungslegung und damit internationale Harmonisierung der Rechnungslegung soll eine Vergleichbarkeit bzw. Interpretierbarkeit der Jahresabschlüsse international agierender Unternehmen, die ansonsten nach länderspezifischen, unterschiedlichen Rechtsnormen erstellt sind, erreicht werden. Diese Harmonisierung ist seit 2001 Aufgabe des IASB, des privatrechtlichen ... mehr
Weiterführende Schwerpunktbeiträge
I. Definition, Abgrenzung und Ziele Ein Mindestlohn ist ein via gesetzlicher oder tarifvertraglicher Regelung in der Höhe festgelegtes kleinstes rechtlich zulässiges Arbeitsentgelt. Eine Mindestlohnregelung kann sich auf den Stundensatz oder den Monatslohn bei Vollzeitbeschäftigung beziehen. Neben national wirkenden Mindestlöhnen gibt es ... mehr
Schwerpunktbeitrag von  Privatdozent Dr. Fred Henneberger, Prof. Dr. Berndt Keller
I. Begriff Umfassendes methodisch-quantitatives Instrumentarium zur Charakterisierung und Auswertung empirischer Befunde bei gleichartigen Einheiten („Massenphänomenen”) mit universellen Einsatzmöglichkeiten in Politik, Wirtschaft und Gesellschaft und allen Geistes-, Sozial- und Naturwissenschaften einschließlich Medizin und Technik, in denen mit Zahlen oder Bewertungen gearbeitet wird. ... mehr
Schwerpunktbeitrag von  Prof. Dr. Udo Kamps
I. Begriff Unter experimenteller Wirtschaftsforschung versteht man den Bereich der empirischen Wirtschaftswissenschaft, in dem kontrollierte Experimente durchgeführt werden, um Theorien zu überprüfen oder neue Regelmäßigkeiten zu entdecken. Die Experimente werden zumeist als Laborexperimente, mitunter jedoch auch als Feldexperimente oder in Form ... mehr
Schwerpunktbeitrag von  Prof. Dr. Mathias Erlei