Literatur im Fachgebiet Informatik Programmierung

Eine schlagwort­basierte Auswahl unserer Fachbücher

Institutionalisierte Wiederverwendung von Software-Bausteinen und deren Komposition (Dissertation)

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…

Entwurfswerkzeuge Informatik Objektorientierung Software 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…

Informatik Objektorientierung Programmierung
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…

Informatik Programmanalyse Software Engineering
Implizite Darstellung von Parallelität auf der Ebene des Programmiermodells (Forschungsarbeit)

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…

Informatik Modell Parallele Programmierung
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…

Informatik Schaltungsentwurf Verteilte Systeme
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…

Informatik Programmierung Qualitätssicherung Software
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…

Informatik Programmiersprache Programmierung Reduktion Transformation
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…

Algorithmus Informatik Parallele Programmierung