99 Bücher 

Wissenschaftliche LiteraturSystemInformatik

Eine Auswahl unserer Fachbücher

Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.








Methodical Construction of Database Management Systems (Forschungsarbeit)

Methodical Construction of Database Management Systems

Studien zur Datenbankforschung

Datenbankverwaltungssysteme (DBVSe) spielen eine immer größere Rolle in der Datenverarbeitung von Organisationen. Sie dringen in immer neue Bereiche vor, und ihre Funktionalität wird zunehmend erweitert. Angesichts der deshalb "großen" Anzahl zu realisierender DBVSe ist es ein dringendes Problem, ihre Konstruktion…

Broker Services-ModellDatabase Management SystemDatenbankverwaltungssystemDBMSDBVSInformatikobjektorientierte SoftwarekonstruktionTransaction Management SubsystemTransaktionsmodell
Reverse Business Engineering (Dissertation)

Reverse Business Engineering

Ableitung von betriebswirtschaftlichen Modellen aus produktiven Softwarebibliotheken

Studien zur Wirtschaftsinformatik

Je mehr sich betriebswirtschaftliche Standardanwendungssysteme durchsetzen, desto öfter vernimmt man auch "Klagen" der Anwender und Systemverantwortlichen: Komplexe und teure Einführungsprozesse, fehlende Übersicht, mangelndes Wissen über die Arbeitsweise des Systems und Schwierigkeiten bei der Anpassung werden…

Betriebswirtschaftliche StandardsoftwareContinuous System EngineeringInformatikKomplexe SystemeReverse EngineeringSAP R-3Softwarebilbiotheken
Ein Beitrag zur Langzeitarchivierung von Produktdaten (Forschungsarbeit)

Ein Beitrag zur Langzeitarchivierung von Produktdaten

Studien zur Wirtschaftsinformatik

Die zunehmende CA-Durchdringung und die erforderliche Aufbewahrung der CA-Daten über Jahrzehnte hinweg verschärfen das Archivierungsproblem. Die Archivierung wurde bei der Entwicklung von CA-Systemen vernachlässigt. Die verbreitete Methode, CA-Daten in den systemspezifischen Datei-Formaten abzulegen, sichert keine…

ArchivierungArchivsystemCA-SystemeDatenmodellierungFunktionalitätInformatikKompressionMigrationstep
Experimentelle Forschung in der Wirtschaftsinformatik (Doktorarbeit)

Experimentelle Forschung in der Wirtschaftsinformatik

Analyse des Methodenpotenzials und Entwicklung geeigneter Experimentaldesigns

Studien zur Wirtschaftsinformatik

Die deutschsprachige Wirtschaftsinformatik (WI) begann als vergleichsweise junge Disziplin erst in den letzten Jahrzehnten, ein theoretisches und methodisches Fundament auszuprägen. In ihrer Schnittstellenposition zwischen Betriebswirtschaftslehre und Informatik kann sie sich dabei auf Vorarbeiten ihrer…

ArtefaktevaluationBetriebswirtschaftslehreExperimentalmethodikExperimentelle ForschungForschungsmethodenInformatikInformation Systems ResearchKonstruktivismusKritischer RationalismusMethodenpotenzialPositivismusWirtschaftsinformatik
Pfadanalyse stochastischer Netzwerke (Forschungsarbeit)

Pfadanalyse stochastischer Netzwerke

Forschungsergebnisse zur Informatik

Viele reale Systeme wie z.B. Kommunikationsnetze, Fertigungs– oder Rechnersysteme, lassen sich durch stochastische Netzwerke beschreiben. Darunter versteht man ein System miteinander verbundener Stationen. Entlang der Verbindungen zwischen den Stationen bewegen sich Einheiten, auch als Kunden bezeichnet, durch das…

FertigungssystemeInformatikKommunikationKommunikationsnetzePfadanalyseRechnersystemeStochastische Netzwerke
Abstraktion in ereignisbasierten Modellen verteilter Systeme (Forschungsarbeit)

Abstraktion in ereignisbasierten Modellen verteilter Systeme

Ein Beitrag zum formalen Entwurf verteilter Systeme

Forschungsergebnisse zur Informatik

Der Entwurf und die Verifikation verteilter Systeme stellen den Entwicklungsingenieur immer noch vor große Probleme. Das komplexe parallele Verhalten solcher Systeme entzieht sich wegen der Nicht-Determiniertheit der zeitliche Abläufe der menschlichen Vorstellungskraft. Der korrekte Entwurf bzw. die Verifikation…

AbstraktionsoperatorFlussereignisstrukturImplementierungInformatikKonfigurationsstrukturKorrektheitskriteriumSpracheVerifikation
Entwicklung einer Typologie der unternehmensweiten Informationslogistik (Doktorarbeit)

Entwicklung einer Typologie der unternehmensweiten Informationslogistik

Studien zur Wirtschaftsinformatik

Unternehmensweite Informationsversorgung aus einer Hand – diesem Ideal haben seit Ende der 80er Jahre zahlreiche große Unternehmen nahezukommen versucht. In vielen Lehrbüchern beschrieben und angepriesen, hat sich die Lösungsidee des "(Enterprise) Data Warehouses" in der Praxis nur beschränkt bewährt. Welche…

ArchitekturData Warehouse-SystemEinflussfaktorenFallstudienforschungGanzheitlichkeitInformatikInformationslogistikQualitative ForschungReferenzarchitekturSituativer AnsatzTypologieUmfeldeinflüsseWirtschaftsinformatik
Management operationeller IT-Risiken (Dissertation)

Management operationeller IT-Risiken

Im Kontext von Basel II, MaRisk und anderen aufsichtsrechtlichen Vorgaben

Studien zur Wirtschaftsinformatik

Operationelle Risiken sind in den letzten Jahren auf der einen Seite durch zahlreiche aufsichtsrechtliche Anforderungen, wie z. B. Basel II oder MaRisk, auf der anderen Seite durch die Wahrnehmung spektakulärer Schadensfälle in den Blickpunkt der Bankenlandschaft geraten. [...]

BankenaufsichtBussines Impact ManagementComplianceFrüherkennungssystemeInformatikIT-SicherheitNotfallvorsorgeRisikomanagementSicherheitsmanagement
Refinements in HOLCF: Implementation of Interactive Systems (Forschungsarbeit)

Refinements in HOLCF: Implementation of Interactive Systems

Forschungsergebnisse zur Informatik

Verfeinerung (Refinement) ist ein Konzept zur mathematischen Modellierung von Software und Systementwicklung. Dabei werden die Softwaresysteme in einer Logik formal beschrieben und durch die Verfeinerungsrelation in Beziehung gesetzt. Mit Verfeinerungen läßt sich die Korrektheit von Systemen bezüglich einer…

Beweissystem IsabelleHOLCFInformatikKorrektheitQuotientenRefinementSubtypenVerfeinerungVerifikation
Testing cycling software components of reactive systems on the basis of formal specifications (Forschungsarbeit)

Testing cycling software components of reactive systems on the basis of formal specifications

Forschungsergebnisse zur Informatik

Testing is the primary method through which the producer of software and the user or customer gain confidence that the software will work as intended or specified. Using formal methods, which is highly recommended by safety standard and legal requirements in the area of safety-critical embedded software systems,…

Cyclic softwareFinfite state machinesFormal methodsInformatikPredicate logicReactive systemsTesting