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
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 SubsystemTransaktionsmodellReverse 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-3SoftwarebilbiothekenEin 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ätInformatikKompressionMigrationstepExperimentelle 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 RationalismusMethodenpotenzialPositivismusWirtschaftsinformatikPfadanalyse 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 NetzwerkeAbstraktion 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…
AbstraktionsoperatorFlussereignisstrukturImplementierungInformatikKonfigurationsstrukturKorrektheitskriteriumSpracheVerifikationEntwicklung 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üsseWirtschaftsinformatikManagement 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-SicherheitNotfallvorsorgeRisikomanagementSicherheitsmanagementRefinements 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 IsabelleHOLCFInformatikKorrektheitQuotientenRefinementSubtypenVerfeinerungVerifikationTesting 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