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
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…
ExTeLLInformatikProgrammierlogikProgrammierspracheProgrammierungReduktionTemporallogikTransformationComputergestü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 StichprobeProgrammsystemSchichtungsverfahrenStatistikHypothesengesteuerte 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 EngineeringStatistische 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 AnalyseTypinferenzAnreizsysteme 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-TheorieZulieferbeziehungZuliefererPrototyping 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-SpaceEntwicklung 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 SystemeWorkstationclusterMinimale 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 SchrankenZeitfensterEntwurf 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