| 
 | 
 | 
 | 
Wirtschaftslexikon
  Detailsuche
Digitale Fachbibliothek
in über 50.000 Fachbüchern + 300 Fachzeitschriften 

ANZEIGE

Bücher
Im Standardwerk der Wirtschaftsinformatik sind die Grundlagen strukturiert und kompakt aufbereitet: von Rechnerarchitekturen über Einsatzpotenziale bis hin zu Berufsfeldern der ... Vorschau
14.99 €

Dieses Buch online im Abo für monatlich 39,90 € - inkl. weiterer 50.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
Verfügungsrechte bestimmen, ökonomisch betrachtet, die in einer Gesellschaft anerkannten Handlungsspielräume und –anreize von Akteuren hinsichtlich knapper Ressourcen, die alternative Verwendungsmöglichkeiten haben. Definition und Zuordnung von Verfügungsrechten sind aus volkwirtschaftlicher Sicht maßgeblich für Höhe und Verteilung des Wohlstands in einer Gesellschaft.
von  Prof. Dr. Rupert Windisch, Peter Burgold
I. Begriff Bezeichnung für Objekte, die sowohl die allgemeine als auch die spezifische Portabilität anderer Objekte verbessern und auf diese Weise zum „Wohlstand der Nationen“ (A. Smith) beitragen. II. Forschung 1. Forschungansätze Als elementarer Bestandteil gesellschaftlicher Wertschöpfungsprozesse ist die Tüte ... mehr
von  Prof. Dr. Andreas Suchanek

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. Begriff Die Wirtschaftsgeografie beschäftigt sich mit der räumlichen Dimension wirtschaftlicher Prozesse und Aktivitäten. An der Schnittstelle zwischen Geowissenschaften, Geografie und Wirtschaftswissenschaften untersucht sie das Verhältnis von Wirtschaft und Raum und bemüht sich deshalb um eine Synthese von Wirtschaftsforschung und geografischer ... mehr
Schwerpunktbeitrag von  Prof. Dr. Hans-Dieter Haas, Dr. Simon-Martin Neumair
I. Einführung Im Bereich der Informationstechnologie (IT) ermöglicht Cloud Computing neue Verfahren zur Bereitstellung von IT-Ressourcen, d.h. solchen Ressourcen, die Unternehmen bei der elektronischen Datenverarbeitung (EDV) unterstützen. Beispiele hierfür sind Server oder Software-Anwendungen. Anstatt IT-Ressourcen in unternehmenseigenen Rechenzentren zu betreiben, können ... mehr
Schwerpunktbeitrag von  Christoph Fehling, Professor Dr. Frank Leymann
I. Grundlagen Die Aufgabe der Produktionsplanung und -steuerung als Teilbereich des operativen Produktionsmanagements besteht darin, für einen reibungslosen und wirtschaftlichen Produktionsprozess bei gegebenen und (weitgehend) unveränderbaren Kapazitäten zu sorgen. Im Einzelnen ist dabei festzulegen, welche absatzbestimmten Produkte in welchen Mengen im Planungszeitraum ... mehr
Schwerpunktbeitrag von  Dr. Christoph Siepermann