Wissenschaftliche LiteratursicherungInformatik
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Prädiktion des Projektfortschritts als Beitrag zur virtuellen Absicherung im Automobilsektor
Forschungsergebnisse zur Informatik
Die Qualität eines Produkts zählt für die meisten Kunden zu den zentralen Faktoren einer Kaufentscheidung. Innerhalb eines Marktes versuchen daher viele Marken, sich über dieses Kaufkriterium zu differenzieren. Neben den ständig wachsenden Anforderungen aus dem Wettbewerb und von staatlicher Seite wachsen mit…
AIAutomobilsektorAutomotiveDeep LearningElektrotechnikFahrzeugentwicklungForschung & EntwicklungInformatikIngenieurswissenschaftKIKünstliche IntelligenzMaschinelles LernenProjektmanagementReifegradsystemeStatistikSystems EngineeringAnforderungskonforme Prozessmotivation
Ein stufenweiser Ansatz zum anforderungskonformen Prozessmanagement mit BPMN
Studien zur Wirtschaftsinformatik
Unternehmen stehen vor der Herausforderung, geeignete Strukturen und Maßnahmen zu etablieren, um mit internen und externen Anforderungen konform zu sein. Es besteht jedoch nicht nur die Herausforderung, den Konformitätszustand zeitpunktbezogen zu erreichen, sondern auch der Anspruch, diesen dauerhaft gewährleisten…
AnforderungsmanagementAngewandte InformatikBetriebswirtschaftslehreBPMNComplianceGeschäftsprozessmanagementOperationalisierungProzessdatenbankProzessdokumentationProzessmodellierungProzessmotivationProzessoptimierungQualitätssicherungUnternehmensstrategieWirtschaftsinformatikPerformancebewertung und -sicherung von orchestrierten Serviceangeboten
Forschungsergebnisse zur Informatik
Serviceorientierte Architektur (SOA) stellt einen vielversprechenden Versuch dar, die ständig wachsende Komplexität gegenwärtiger IT-Anwendungslandschaften durch flexible und standardkonforme Integration wiederverwendbarer fachlicher Komponenten (sog. Services) zu bewältigen. Besonders eignet sie sich im Bereich…
BPMGeschäftsprozessmanagementInformatikIntegrationsprojektModellierungPerformanceQualitätServiceintegrationServiceorientierte ArchitekturSOAEntwicklung einer Methode für die Integration von Standardsoftware
Am Beispiel der Integration von Prüfsystemen in die Leistungsabrechnung von Krankenversicherungen
Studien zur Wirtschaftsinformatik
In den letzten Jahren entschieden sich Unternehmen zunehmend, Standardsoftware einzusetzen. Um kritische Bereiche eines Unternehmens zu unterstützen, werden oft Speziallösungen ("Best-of-Breed") mit einer hohen Leistungsfähigkeit eingesetzt. Im Vergleich zu umfassenden ERP-Systemen ist die Integration in eine…
InformatikIT-ArchitekturLeistungsabrechnungMethoden-EngeneeringModellierungPrüfsystemeSoftware-IntegrationStandard-SoftwareVorgehensmodellWirtschaftsinformatikVeräußerersicherung im Online-Vertrieb digitaler Inhalte
Dominik Reske untersucht den Online-Vertrieb digitaler Inhalte wie beispielsweise von Filmen, Musikstücken, Bildern oder Texten vor dem Hintergrund der Frage, wie der direkt an den Endabnehmer veräußernde Urheber möglichst umfassend gesichert werden kann. Insoweit hat der Veräußerer regelmäßig ein doppeltes…
Digitale InhalteOnline-VertriebRechtswissenschaftSoftwareUrheberrechtVeräußerersicherungWerkverkörperungThe eXtensible Characterisation Languages –
XCL
Kölner Beiträge zu einer geisteswissenschaftlichen Fachinformatik
Wenn Sie ein Office Dokument von Microsoft Word in ein PDF konvertieren, enthält es dann immer noch dieselbe Information? Wenn Sie ein Bild aus einem Format in ein anderes verwandeln, ist es immer noch dasselbe? Überraschenderweise gibt es heute noch keine technische Antwort auf diese Fragen: Der einzige Weg sie…
DatenabstraktionFachinformatikFormatbeschreibungssprachenInformatikKonvertierungLangzeitsicherungSoftwareQuantitative Erfassung der Software und ihres Entstehungsprozesses
Forschungsergebnisse der Programmentwicklung
Auch 25 Jahre nach „Erfindung" des Software Engineerings sind die damit verbundenen Ziele noch nicht annähernd erfüllt. Die besonderen Eigenschaften des Produkts Software verhindern die erwartete einfache „Übertragung ingenieurmäßiger Prinzipien auf die Software-Entwicklung. Mehr als jedes andere industrielle…
BewertungEngeneeringInformatikMetrikModelltheorieProgrammeQualitätssicherungSoftwareEntwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen
Forschungsergebnisse zur Informatik
Da Software in zunehmendem Maße auch in sicherheitsrelevanten Anwendungen eingesetzt wird, steigt der Bedarf an Software-Prüfung, die über das Testen hinausgeht. In dieser Arbeit wird ein System zur Prüfung von mit Zusicherungen angereicherten Programmen entwickelt, dessen Kern konstant ist und bei dem die…
InformatikLambdaProgrammierungQualitätssicherungSemantikbeschreibungSoftwaresprachunabhängiges VerifikationsystemZielspracheRechnergestützte Qualitätssicherung im betrieblichen Software-Entwurf
Studien zur Wirtschaftsinformatik
In seiner Studie zeigt Pálffy, wie der Rechner im betrieblichen Software-Entwurf zur Qualitätssicherung eingesetzt werden kann.
Die Hauptschwierigkeit bei der Sicherung der Qualität betrieblicher Software liegt in der Komplexität der entwickelten Informationssysteme. Die Vielzahl der Teilaspekte und ihrer…
Betrieblicher Software-EntwurfInformatikInformationssystemQualitätssicherungSchnittstellenanalyseSEBISSoftware-EntwicklungsumgebungTransparenz