Literatur im Fachgebiet Informatik sicherung

Eine schlagwort­basierte Auswahl unserer Fachbücher

Anforderungskonforme Prozessmotivation (Dissertation)

Anforderungskonforme 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…

Anforderungsmanagement Angewandte Informatik Betriebswirtschaftslehre BPMN Compliance Geschäftsprozessmanagement Operationalisierung Prozessmodellierung Prozessoptimierung Qualitätssicherung Unternehmensstrategie Wirtschaftsinformatik
The eXtensible Characterisation Languages – XCL (Forschungsarbeit)

The 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…

Fachinformatik Informatik Software
Veräußerersicherung im Online-Vertrieb digitaler Inhalte (Doktorarbeit)

Veräußerersicherung im Online-Vertrieb digitaler Inhalte

Recht der Neuen Medien

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…

Online-Vertrieb Rechtswissenschaft Software Urheberrecht
Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen (Forschungsarbeit)

Entwurf 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…

Informatik Programmierung Qualitätssicherung Software
Quantitative Erfassung der Software und ihres Entstehungsprozesses (Forschungsarbeit)

Quantitative 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…

Bewertung Informatik Metrik Modelltheorie Programme Qualitätssicherung Software
Rechnergestützte Qualitätssicherung im betrieblichen Software-Entwurf (Forschungsarbeit)

Rechnergestützte Qualitätssicherung im betrieblichen Software-Entwurf

Studien zur Wirtschaftsinformatik

In seiner Arbeit 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…

Informatik Informationssystem Qualitätssicherung Transparenz
 

Literatur: sicherung / Eine Auswahl an Fachbüchern aus dem Verlag Dr. Kovač