| 
 | 
 | 
 | 
Wirtschaftslexikon
  Detailsuche
Digitale Fachbibliothek
in über 61.000 Fachbüchern + 500 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 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
CRM ist zu verstehen als ein strategischer Ansatz, der zur vollständigen Planung, Steuerung und Durchführung aller interaktiven Prozesse mit den Kunden genutzt wird. CRM umfasst das gesamte Unternehmen und den gesamten Kundenlebenszyklus und beinhaltet das Database Marketing und entsprechende CRM-Software ... mehr
von  Prof. Dr. Heinrich Holland
Die Makroökonomik betrachtet als Wissenschaft von den gesamtwirtschaftlichen Vorgängen die Volkswirtschaft als Ganzes, indem sie gleichartige Wirtschaftssubjekte zu Sektoren (wie Haushaltssektor, Unternehmenssektor) zusammenfasst und ihre ökonomischen Aktivitäten in Form von Aggregatvariablen (wie gesamtwirtschaftlicher Konsum oder gesamtwirtschaftliches Güterangebot) darstellt. Demzufolge untersucht ... mehr
von  Prof. Dr. Hans-Werner Wohltmann

formale Spezifikation

Definition

ANZEIGE

1. Begriff: im Software Engineering eine Methode der Spezifikation, bei der die Aufgaben eines Moduls (schwieriger: eines Softwaresystems) formal definiert werden, z.B. axiomatisch.

2. Vorteil: Exakte Vorgabe für die Implementierung; ausgehend von einer formalen Spezifikation kann u.U. ein formaler Beweis geführt werden, dass die Implementierung mit der Spezifikation übereinstimmt. (Programmverifikation).

3. Nachteil: Nur für kleinere Aufgaben und von formal geschulten Informatikern einsetzbar, sehr aufwendig.

4. Bedeutung: In der Informatik intensive Forschungsaktivitäten; in der Praxis noch geringe Bedeutung.

Suche in der E-Bibliothek für Professionals

ANZEIGE

Sachgebiete
formale Spezifikation
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: Das Kunstwort „Ergonomie“ ist griechischen Ursprungs und setzt sich zusammen aus den Begriffen „ergon“, gleichbedeutend mit dem Begriff Arbeit und „nomos“, was mit Gesetz oder Regel übersetzt werden kann. Daraus folgt, dass die Ergonomie die Lehre der Gesetzmäßigkeit der ... mehr
Schwerpunktbeitrag von  Prof. Dr. Thomas Bartscher
Einem Zwangsversteigerungsantrag sind meist langwierige Bemühungen seitens des Gläubigers und eventuell auch des Schuldners vorangegangen, diese Zwangsmaßnahme zu verhindern. Der Grund hierfür liegt im komplizierten und für Außenstehende und Betroffene nur bedingt kalkulierbaren Verlauf sowie der langwierigen Dauer eines Zwangsversteigerungsverfahrens. ... mehr
Schwerpunktbeitrag von  Helmut Keller
I. Allgemeines zur Zinsschranke Im Rahmen der Unternehmensteuerreform 2008 wurde der steuerliche Abzug von Zinsen mit der Einführung der Zinsschranke (§ 4h EStG) beschränkt. Gründe für die Einführung der Zinsschranke waren bspw., dass die Zinsschrankenregelung das inländische Steuersubstrat sichern soll, indem ... mehr
Schwerpunktbeitrag von  StB Birgitta Dennerlein