46 Bücher 

Wissenschaftliche LiteraturSoftwareInformatik

Eine Auswahl unserer Fachbücher

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








Testing cycling software components of reactive systems on the basis of formal specifications (Forschungsarbeit)Zum Shop

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
Softwarekorrektur online (Dissertation)Zum Shop

Softwarekorrektur online

Patchen in Realzeitsystemen am Beispiel von SPC-Rechnern

Forschungsergebnisse zur Informatik

Wie erhält man ununterbrechbar laufende (Computer-)Systeme am Leben?

Dieses Problem stellt sich für Knotenrechner der Telekommunikation (Vermittlungsanlagen), aber auch für Kernkraftwerksteuerungen, Systemen der Flugkontrolle oder der Landesverteidigung, Börsenrechner oder Patientenmonitorsysteme. Dies…

EchtzeitsystemInformatikKnotenrechnerPatchenPatchtoolsRealzeitsystemSoftwarekorrekturSPC-RechnerStored Program Control
Veräußerersicherung im Online-Vertrieb digitaler Inhalte (Doktorarbeit)Zum Shop

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…

Digitale InhalteOnline-VertriebRechtswissenschaftSoftwareUrheberrechtVeräußerersicherungWerkverkörperung
GENGED: Visual Definition of Visual Languages (Dissertation)Zum Shop

GENGED: Visual Definition of Visual Languages

based on Algebraic Graph Transformation

Forschungsergebnisse zur Informatik

Master Ittei said, „In calligraphy it is progress when the paper, brush and ink are in harmony“ [Yam79]. Today in software modeling and specification we are far away from this principle. Visual specifications might be a step in the right direction. We built the GENGED environment to make software modeling and…

GENGEDGraphgrammatikInformatikKlassendiagrammProgrammierspracheSoftware-EntwicklungVisual languageVisuelle SpracheVisuelle Umgebung
Software-ergonomische Aspekte der Studierumgebung blinder Menschen (Doktorarbeit)Zum Shop

Software-ergonomische Aspekte der Studierumgebung blinder Menschen

Forschungsergebnisse zur Informatik

Das Buch beschreibt die an der Technischen Universität Dresden entwickelten Konzepte und Verfahren zur Verbesserung von Internet-basierten Informationsangeboten für blinde Menschen. Im Vordergrund steht dabei die Nutzung moderner Informationstechnologien im Hochschulstudium, insbesondere die verbesserte Gestaltung…

Adaptive TechnikBlindeBlindheitInformatikInternetSoftware-ErgonomieStudienunterstützungUsability
MUSAC - a Tool for Evaluating Measurement Uncertainty (Dissertation)Zum Shop

MUSAC - a Tool for Evaluating Measurement Uncertainty

Forschungsergebnisse der Programmentwicklung

MUSAC ist ein Softwareprojekt zur Bestimmung der Messunsicherheit. MUSAC wurde im Bereich der Analytischen Chemie gestartet und richtet deshalb seinen Fokus vermehrt auf Anforderungen aus diesem Gebiet. Analyselaboratorien müssen in der Lage sein, die Messunsicherheit ihrer Resultate anzugeben, um den neuen Normen…

Berkson ModelcalibrationGUMInformatikISO 17025MetrologieNumeriksoftware architectureUngewissheit
Statistische Programmanalyse zur Unterstützung der Wartung objektorientierter Applikationen (Forschungsarbeit)Zum Shop

Statistische Programmanalyse zur Unterstützung der Wartung objektorientierter Applikationen

Forschungsergebnisse zur Informatik

Heute stellen Softwaresysteme in vielen Unternehmen beachtliche Vermögenswerte dar. Ihre Funktionen sind unverzichtbar für betriebliche Abläufe. Neuentwicklung und Ablösung bestehender Software würde größere Risiken mit sich bringen, als die Wartung bestehender Software. Diese Situation macht eine verbesserte…

AuswirkungsanalyseInformatikObjektorientierungProgrammierungRegressionstestSALLTALKSoftwarewartungstatische AnalyseTypinferenz
A Functional Pattern System for Object-Oriented Design (Forschungsarbeit)Zum Shop

A Functional Pattern System for Object-Oriented Design

Forschungsergebnisse zur Informatik

This book integrates the vital areas of object-orientation, functional programming, design patterns, and language design. The most important concepts from functional programming are captured with six design patterns:

FUNCTION OBJECTS (Black-box behaviour parameterisation) LAZY OBJECTS…Design patternEiffelFunctional patternFunctional programmingInformatikLanguage designObject-orientedParadigm integrationSoftware design
Rechnergestützte Qualitätssicherung im betrieblichen Software-Entwurf (Forschungsarbeit)Zum Shop

Rechnergestü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
Hypothesengesteuerte Analyse von Objektarchitekturen (Forschungsarbeit)Zum Shop

Hypothesengesteuerte Analyse von Objektarchitekturen

Forschungsergebnisse der Programmentwicklung

Die objektorientierte Programmierung hat das Potential zur Steigerung der Softwarequalität und der Entwicklungsproduktivität. Die Analyse eines objektorientierten Programms ist jedoch auch bei übersichtlicher Klassenhierarchie schwierig. Ein wesentlicher Grund für diese Schwierigkeiten ist der Unterschied zwischen…

C++hypothesengesteuerte AnalyseInformatikOASEObjektarchitekturobjektorientierte ProgrammierungProgrammanalyseSoftware Engineering