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

ANZEIGE

Bücher
Das bewusst kompakt gehaltene Buch zur Wirtschaftsinformatik unterstützt Praktiker, die sich einen schnellen und abgesicherten Überblick verschaffen wollen, ebenso wie ... 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
Gehört ein Unternehmen als Mutter- oder Tochterunternehmen einem Konzern an, so ist die Aussagefähigkeit seines Jahresabschlusses aufgrund konzerninterner Beziehungen sowie der Möglichkeit konzerninterner Sachverhaltsgestaltungen eingeschränkt. D.h., die dem Jahresabschluss zugedachten Funktionen (Dokumentationsfunktion, Ausschüttungsbemessungsfunktion und Informationsfunktion) können nur eingeschränkt erfüllt werden. ... mehr
von  Professor Dr. Dr. h.c. Ralf Michael Ebeling
Die Rechtsökonomik (engl.: Law and Economics) betrachtet das Recht als ökonomischen Gegenstand. Vornehmlich Institutionen, Grundlagen und Strukturen des Rechts sowie Fragestellungen rechtlicher Natur werden vom Standpunkt der Volkswirtschaftslehre aus untersucht. Das Vorgehen verbindet Ökonomen und Juristen, deren Interesse dem Entscheidungsverhalten ... mehr
von  Dr. rer. pol. Enrico Schöbel

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
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 Prozesskostenrechnung ist ein Begriff, der in der jüngeren Vergangenheit die Kostenrechnungsdiskussion und -gestaltung maßgeblich beeinflusst hat. Prozesskostenrechnung wird in Deutschland z.T. auch als Vorgangskalkulation bezeichnet. In den USA werden - bei gleichem Inhalt - die Begriffe Activity Based Costing ... mehr
Schwerpunktbeitrag von  Prof. Dr. Dr. h.c. Jürgen Weber
I. Grundsätzliche Charakterisierung Die Budgetierung ist eines der zentralen Führungsinstrumente und wird daher auch vielfach als „Rückgrat der Unternehmenssteuerung“ charakterisiert. Dennoch stand die Budgetierung immer wieder in der Kritik (zu starr, zu aufwendig, ohne Strategiebezug etc.) und war Ende der 1990er-Jahre ... mehr
Schwerpunktbeitrag von  Prof. Dr. Utz Schäffer
I. Begriff und Bedeutung 1. Begriff Consulting ist die individuelle Aufarbeitung betriebswirtschaftlicher Problemstellungen durch Interaktion zwischen externen, unabhängigen Personen oder Beratungsorganisationen und einem um Rat nachsuchenden Klienten. Unternehmensberatung ist der Teilbereich des Consulting, der auf den speziellen Organisationstyp Unternehmung abgestellt ist. Obwohl die ... mehr
Schwerpunktbeitrag von  Prof. Dr. Rolf-Dieter Reineke