19 Bücher 

Wissenschaftliche LiteraturProgrammierung

Eine Auswahl unserer Fachbücher

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








Transformationsbasierte temporallogische Programmierung (Forschungsarbeit)

Transformationsbasierte temporallogische Programmierung

Forschungsergebnisse der Programmentwicklung

IIn dieser Arbeit wird die Möglichkeit der transformationsbasierten temporallogischen Programmierung untersucht. Dabei werden neben den einfacher zu handhabenden deterministischen zukunftsbezogenen Konstrukten wie etwa next sowohl nichtdeterministische Konstrukte wie or und sometimes als auch…

ExTeLLInformatikProgrammierlogikProgrammierspracheProgrammierungReduktionTemporallogikTransformation
Computergestützte Stichprobenverfahren (Doktorarbeit)

Computergestützte Stichprobenverfahren

Objektorientierte Programmierung der Gebundenen Hochrechnung bei Geschichteten Stichproben

Schriftenreihe innovative betriebswirtschaftliche Forschung und Praxis

Stichprobenverfahren werden in weiten Gebieten der Wissenschaft angewendet. Die Gründe hierfür sind unbestritten. Stichprobenerhebungen sind kostengünstiger und die Verarbeitung der erhobenen Daten erfordert weniger Zeit als bei Vollerhebungen. Gegenüber diesen Vorteilen ist jedoch einzuräumen, dass bei einer…

BetriebswirtschaftslehreCASTcastcomputergestützte StichprobenverfahrenGebundene HochrechnungGeschichtete StichprobeProgrammsystemSchichtungsverfahrenStatistik
Hypothesengesteuerte Analyse von Objektarchitekturen (Forschungsarbeit)

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
Statistische Programmanalyse zur Unterstützung der Wartung objektorientierter Applikationen (Forschungsarbeit)

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
Anreizsysteme in Abnehmer-Zulieferer-Kooperationen (Forschungsarbeit)

Anreizsysteme in Abnehmer-Zulieferer-Kooperationen

Schriftenreihe innovative betriebswirtschaftliche Forschung und Praxis

Unternehmen haben sich in jüngster Vergangenheit auf Ihre Kernkompetenzen beschränken müssen. Nun werden in größerem Umfang Fremdfirmen in den Wertschöpfungsprozess einbezogen, um deren Know-how-, Spezialisierungs-, Effizienz- und Flexibilitätsvorteile zu nutzen. Die Auslagerung von Kompetenzen bedeutet aber, dass…

AbnehmerAnreizsystemeBetriebswirtschaftslehreInformationsasymmetrieKooperationLineare ProgrammierungPrincipal-AgentPrincipal-Agent-TheorieZulieferbeziehungZulieferer
Prototyping Parallel Algorithms in a Set-Oriented Language (Forschungsarbeit)

Prototyping Parallel Algorithms in a Set-Oriented Language

Forschungsergebnisse der Programmentwicklung

In diesem Buch wird der Entwurf und die Implementation eines Ansatzes zum Prototyping paralleler Algorithmen in der mengenorientierten Sprache ProSet präsentiert. Für eine Prototyping-Sprache ist es notwendig, zum Prototyping paralleler Algorithmen einfache, aber mächtige Konstrukte zur dynamischen Prozesskreation…

AlgorithmusInformatikLindaParallele ProgrammierungParallel programmingProSet-LindaPrototyping languageTupelräumeTuple-Space
Entwicklung objektorientierter Konzepte zur Erstellung paralleler und verteilter Systeme des rechnergestützten Schaltungsentwurfs (Forschungsarbeit)

Entwicklung objektorientierter Konzepte zur Erstellung paralleler und verteilter Systeme des rechnergestützten Schaltungsentwurfs

Forschungsergebnisse der Programmentwicklung

Der rechnergestützte Entwurf von integrierten Schaltungen muss vor allem die ständige Weiterentwicklung der Schaltkreistechnologie berücksichtigen. Durch immer feinere Strukturgrößen bei gleichzeitig zunehmender Chipfläche wurde es möglich, immer umfassendere und komplexere Schaltungen auf einem Chip zu…

CAD-VerfahrenCAD-WerkzeugeInformatikNebenläufige ProgrammierungParallele SystemeSchaltungsentwurfVerteilte SystemeWorkstationcluster
Minimale spannende Aborescencen mit Zeitfenstern (Forschungsarbeit)

Minimale spannende Aborescencen mit Zeitfenstern

Heuristische Verfahren und untere Schranken

Schriftenreihe naturwissenschaftliche Forschungsergebnisse

In dieser Arbeit werden Verfahren vorgestellt, um Schranken für die Gesamtsumme der Kantenbewertungen eines MSAZF (minimaler spannender Arborescence mit Zeitfenstern) zu bestimmen: Ein heuristisches Verfahren und Verfahren zur Bestimmung von unteren Schranken.

Zuerst werden die für diese Arbeit…

ArborescenceBranchingHeuristikLineare ProgrammierungLP-FormulierungNaturwissenschaftUntere SchrankenZeitfenster
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…

InformatikLambdaProgrammierungQualitätssicherungSemantikbeschreibungSoftwaresprachunabhängiges VerifikationsystemZielsprache