| 
 | 
 | 
 | 
Wirtschaftslexikon
  Detailsuche
Digitale Fachbibliothek
in 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
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
Controlling ist ein Teilbereich des unternehmerischen Führungssystems, dessen Hauptaufgabe die Planung, Steuerung und Kontrolle aller Unternehmensbereiche ist. Im Controlling laufen die Daten des Rechnungswesen und anderer Quellen zusammen.
von  Prof. Dr. Dr. h.c. Jürgen Weber
Der Begriff internationale Logistik bezeichnet Logistiksysteme und -prozesse, die die nationalen Grenzen überschreiten. Ein Blick in die gegenwärtige Wirtschaftspraxis zeigt, dass bereits heute die große Zahl der Logistiksysteme grenzüberschreitend ausgelegt ist. Das bildet das Ergebnis der fortschreitenden Internationalisierung in Industrie, ... mehr
von  Univ.-Prof. Dr. Ingrid Göpfert

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. Position und Wesen der Eigenverantwortlichkeit Die Berufspflichten des Wirtschaftsprüfers (WP) sind umfangreich und bedeutend. Folgt man der Wirtschaftsprüferordnung (WPO) und dem Katalog des vom Institut der Wirtschaftsprüfer (IDW) herausgegebenen Wirtschaftsprüferhandbuches (WPH), der sich an der WPO orientiert, dann gehören hauptsächlich ... mehr
Schwerpunktbeitrag von  WP Dr. Werner Krommes
I. Kurzübersicht Die Volkswirtschaftliche Gesamtrechnung (VGR) erstellt ein quantitatives Gesamtbild des wirtschaftlichen Geschehens. Hierzu erarbeitet sie ein aus der Logik eines Kreislaufschemas hergeleitetes Rechenwerk, das – aus mehreren Teilrechnungen bestehend – eine umfassende und hinreichend gegliederte Darstellung aller geleisteten Wirtschaftstätigkeit anstrebt. II. ... mehr
Schwerpunktbeitrag von  Michael Horvath, Prof. Dr. Robert K. Frhr. von Weizsäcker
I. Neoklassisches Basismodell Annahmen: Marktform der vollkommenen Konkurrenz (Ausschluss von Marktmacht) mit folgenden wichtigen Implikationen: Homogenität und vollständige Substituierbarkeit aller Arbeitskräfte und Arbeitsplätze (Ausschluss von Diskriminierung); vollkommene Information aller Wirtschaftssubjekte (Markttransparenz); vollständige Mobilitätsfähigkeit und -bereitschaft aller Arbeitskräfte; vollständige Flexibilität der Löhne ... mehr
Schwerpunktbeitrag von  Privatdozent Dr. Fred Henneberger, Prof. Dr. Berndt Keller