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

ANZEIGE

Bücher
Das Lehrbuch führt umfassend in die Grundlagen der Wirtschaftsinformatik ein. Hierzu werden wesentliche Themengebiete behandelt, die mit der Konzeption, der ... Vorschau
14.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)
Schnellste Supercomputer
Rechenleistung der leistungsstärksten Supercomputer weltweit im November 2011 (in TeraFLOPS)
Statistik: Schnellste Supercomputer Statista: hochwertige Statistiken, Umfragen und Studien aus über 10.000 Quellen
Meine zuletzt besuchten Definitionen
Schwerpunktbeiträge des Tages
Der Begriff des Controllings umfasst mehr als der zugrunde liegende Terminus „to control” und bedeutet so viel wie „Steuerung, Lenkung und Überwachung”. Die damit im Vordergrund des Controllings stehende Steuerungsfunktion weist dabei konkret für Banken eine inhaltliche und eine formale ... mehr
von  Prof. Dr. Dres. h. c. Henner Schierenbeck, Prof. Dr. Michael Pohl
I. Begriff Sozioökonomie steht für ein Forschungsprogramm, das wirtschaftliches Handeln sowie die Kerninstitutionen und Strukturen der modernen Wirtschaft nicht allein unter „ökonomischen“ Gesichtspunkten (Effizienz) und unter ausschließlicher Berücksichtigung ökonomischer Faktoren (Nutzen- und Gewinnorientierung der Akteure auf der einen Seite und ... mehr
von  Prof. Dr. Andrea Maurer

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. Begründung 1. Überblick: Staatliche Interventionen in das Wirtschaftsgeschehen, die sich dem Bereich der Sozialpolitik zuordnen lassen (Theorie der Sozialpolitik), werden häufig durch Verweis auf verteilungspolitische Zielsetzungen (Verteilungsgerechtigkeit) begründet, die im Rahmen dezentral koordinierter Marktprozesse nicht oder nicht in ausreichendem Maße erreicht ... mehr
Schwerpunktbeitrag von  Prof. Dr. Gerhard Kleinhenz, Prof. Dr. Martin Werding
I. Begriff, Zielsetzung und Bedeutung Das Preismanagement umfasst die Analyse, Planung, Festlegung, Umsetzung und Kontrolle von Preisen und Konditionen. Das sind die Handlungspunkte, die häufig unter Preispolitik bzw. Kontrahierungspolitik verstanden werden und gehen durch den Gedanken des Managementprozesses darüber hinaus (Preisprozess). Ziel ... mehr
Schwerpunktbeitrag von  Prof. Dr. Michael Schleusener
I. Begriff und Bedeutung des Risikomanagement als Führungsaufgabe Risiken sind untrennbar mit jeder unternehmerischen Tätigkeit verbunden und können den Prozess der Zielsetzung und Zielerreichung negativ beeinflussen. Sie resultieren ursachenbezogen aus der Unsicherheit zukünftiger Ereignisse - wobei dies regelmäßig mit einem unvollständigen ... mehr
Schwerpunktbeitrag von  Prof. Dr. Ulrich Krystek, Prof. Dr. Stefanie Fiege