Wissenschaftliche LiteraturProgrammierungInformatik
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Stefan Leboch
Institutionalisierte Wiederverwendung von Software-Bausteinen und deren Komposition
Am Beispiel von Software-Werkzeugen aus dem Schaltungsentwurf
Forschungsergebnisse zur Informatik
Die zunehmende Komplexität technischer Systeme, die heutzutage in nahezu allen Lebensbereichen Einzug halten, erfordert bei deren Entwicklung einen massiven Einsatz von Entwurfswerkzeugen auf Software-Basis. Die extrem kurzen Innovationszyklen in der Technologie dieser Systeme erfordern eine rasche und hochflexible…
Baustein-BibliothekBaustein-TaxonomieEntwurfswerkzeugeInformatikObjektorientierungSoftware-BausteineSoftware-MontageSoftware EngineeringStrukturierte ProgrammierungBernhard Wörner
Implizite Darstellung von Parallelität auf der Ebene des Programmiermodells
Forschungsergebnisse der Programmentwicklung
Das Buch hat die Beschreibung und Darstellung von Parallelität als eine der zentralen Aufgaben bei der parallelen Programmierung zum Gegenstand. Zur Zeit ist die parallele Programmierung noch geprägt durch eine komplexe und sehr fehleranfällige Programmierweise. Der parallele Ablauf wird in allen Einzelheiten durch…
HochleistungsrechnerInformatikModellParallele ProgrammierungTechnischisch-wissenschaftliche BerechnungKlaus Spies
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…
ExTeLLInformatikProgrammierlogikProgrammierspracheProgrammierungReduktionTemporallogikTransformationJoachim Hans Fröhlich
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 EngineeringJinhua Li
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 AnalyseTypinferenzWilhelm Hasselbring
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-SpacePeter E. H. Hofmann
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 SystemeWorkstationclusterMarion Kremer
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