Wissenschaftliche LiteraturSoftwareInformatik
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Sadegh SadeghipourTesting 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
Arnulf DeinzerSoftwarekorrektur 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
Arnulf Dominik ReskeVerä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örperung
Roswitha BardohlGENGED: 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
Thomas KahlischSoftware-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
Erwin AchermannMUSAC - 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
Jinhua LiStatistische 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
Thomas KühneA 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
Thomas PálffyRechnergestü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
Joachim Hans FröhlichHypothesengesteuerte 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