Ergebnisse "Programmverifikation" im Gabler Wirtschaftslexikon

Treffer 1 - 7 von 7
pro Seite:
Seite:
 
exakte Treffer
Beziehungsgraph
1. Begriff der Informatik: (1) formale Vorgehensweise mit dem Ziel, die Korrektheit eines Programms bzw. Moduls zu beweisen; (2) Forschungsgebiet, das sich ... mehr
alle Treffer
1. Begriff: im Software Engineering eine Methode der Spezifikation, bei der die Aufgaben eines Moduls (schwieriger: eines Softwaresystems) formal definiert ... mehr
Wissenschaft von der systematischen Verarbeitung von Informationen, bes. der automatischen Verarbeitung mithilfe von Computern; im angelsächsischen Raum als Computer Science ... mehr
Erforschung „intelligenten” Problemlösungsverhaltens sowie die Erstellung „intelligenter” Computersysteme. Künstliche Intelligenz (KI) beschäftigt sich mit Methoden, die es einem Computer ermöglichen, ... mehr

ANZEIGE

Buchneuerscheinungen
Wie führt man Kunden gezielt zum Kauf? Dieses Buch liefert die Antwort: Indem man Kaufprozesse gezielt anstößt und auf dem ... Vorschau
1. Begriff der Informatik: (1) formale Vorgehensweise mit dem Ziel, die Korrektheit eines Programms bzw. Moduls zu beweisen; (2) Forschungsgebiet, das sich ... mehr
1. Begriff: alle Prinzipien, Methoden und Werkzeuge, die der Herstellung und Aufrechterhaltung der Softwarequalität dienen. 2. Arten: a) Analytische Softwarequalitätssicherung erfolgt ... mehr
I. Marketing: Markttest, Produkttest, Preistest, Testverfahren. II. Software Engineering: 1. Begriff: Überprüfung eines Programms oder eines Softwaresystems auf Funktionsfähigkeit. 2. Zweck: Aufspüren und Beseitigen ... mehr
Treffer 1 - 7 von 7
Seite:
Wirtschaftslexikon
  Detailsuche

ANZEIGE

Meine zuletzt besuchten Definitionen
Sie haben derzeit noch kein Stichwort besucht
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

ANZEIGE