Autor*innen mit den meisten Dokumenten
Auflistung nach:
Neueste Veröffentlichungen
- KonferenzbeitragAutomated maintenance of a software portfolio(Softwaretechnik-Trends Band 25, Heft 2, 2005) Veerman, NielsWe report on an automated mass maintenance project. We updated an entire software portfolio automatically. The updated portfolio was accepted by the company and taken into production.
- KonferenzbeitragParallelitätsanalyse für Slicing von Java Threads(Softwaretechnik-Trends Band 25, Heft 2, 2005) Hammer, ChristianFür automatisches Reengineering benötigt man garantierte Semantikerhaltung. Notwendige Voraussetzung ist hierbei z.B. dass der Slice eines bestimmten Codestücks gleich bleibt, d.h. dass es von den gleichen Anweisungen abhängig bleibt. Dadurch kann gewährleistet werden, dass alle Daten eines verschobenen Codestücks bei dessen Berechnung auch wirklich aktuell sind. Refactoring ist ein Beispiel, bei dem Slicing benutzt wird um die Semantik zu erhalten. Für parallele Java-Programme kann man aber keine optimalen Slices mehr finden, wie es für prozedurale Programme der Fall ist. Trotzdem lassen sich Näherungen berechnen, die einige nicht-erfüllbare Pfade durch das Programm ausschließen können und die damit den Reengineering-Prozess vereinfachen. Leider gibt es aber bis jetzt noch kein etabliertes Verfahren zur Berechnung der Abhängigkeiten, die durch Nutzung des gemeinsamen Speichers bei der parallelen Ausführung von Threads entstehen (Interferenz-Abhängigkeiten). Unser Ansatz kombiniert MHP mit den Erkenntnissen aus der Pointer-Analyse, die auch nur intra-prozedural definiert wurde und durch Cloning kontext-sensitiv gemacht werden kann. Dazu wurde das Tool bddbddb verwendet, das Pointer-Analyse mit Hilfe von BDDs (Binary Decision Diagram) berechnet. BDDs wurden bisher vor allem beim Model Checking verwendet, um die Explosion des Zustandsraumes besser im Speicher eindämmen zu können.
- KonferenzbeitragEin Faktenextraktor für C++ mit Unterstützung für Typrekonstruktion(Softwaretechnik-Trends Band 25, Heft 2, 2005) Haller, Philipp; Kuttruff, Volker; Seng, OlafIn diesem Papier wird der Entwurf und die Implementierung eines Faktenextraktors für die Sprache C++ beschrieben, der folgenden Anforderungen genügt: der Faktenextraktor soll robust sein, d.h. er soll mit unvollständigem Quelltext und verschiedenen Sprachdialekten umgehen können. Ein Abbruch der Extraktion ist unter keinen Umständen tolerierbar. Da die Suche nach Strukturproblemen regelmäßig erfolgen soll, sollte ein Analyselauf selbst für Systeme mit über einer Million Zeilen Quelltext über Nacht durchlaufen. Die aufgrund unvollständiger Quellen oder nicht unterstützter Spracherweiterungen verlorengegangene Typinformation soll aus der Verwendung im Quelltext abgeleitet werden.
- Konferenz-AbstractBericht über die ICSE Workshops SESS and WADS 2005(Softwaretechnik-Trends Band 25, Heft 2, 2005) Warns, TimoDer Aspekt der Vertrauenswürdigkeit nimmt eine zunehmend größere Rolle bei der Entwicklung von Software ein. Um die dabei auftretenden Herausforderungen zu beältigen, ist die Zusammenarbeit der Communities der Fehlertoleranz, Sicherheit und Softwaretechnik gefragt. Dieser Bericht fasst die Ergebnisse der ICSE Workshops Software Engineering for Secure Systems (SESS) und Workshop on Architecting Dependable Systems (WADS) 2005 zusammen, in denen diese Communities zusammentrafen.
- KonferenzbeitragEntwurf und praktische Erprobung einer Reengineering-Strategie für das Modellierungswerkzeug 3LGM2-Baukasten(Softwaretechnik-Trends Band 25, Heft 2, 2005) Weber, Sebastian; Wendt, Thomas; Funkat, GertZur Modellierung von Krankenhausinformationssystemen wird am Institut für Medizinische Informatik, Statistik und Epidemiologie (IMISE) der Universität Leipzig das Metamodell 3LGM2 entwickelt. Dieses soll durch eine graphische Darstellung des Informationssystems das Verständnis für die Funktion des Systems, sowie dessen Wartbarkeit und Erweiterbarkeit unterstützen. Um die Modellierung von Informationssystemen mit Hilfe des Metamodells 3LGM2 zu vereinfachen, wurde vor nunmehr drei Jahren damit begonnen, eine Software zu entwickeln, welche den Informationsmanager bei dieser Aufgabe unterstützt. Diese, der so genannte 3LGM2-Baukasten, ist nun zu einem sehr umfangreichen Werkzeug angewachsen, mit dem es möglich ist, komplexe Systeme zu modellieren. Zu den umfangreichen Funktionen gehören u.a. die Darstellung des modellierten Informationssystems über verschiedene Ansichten, das Anfertigen von Analysen und den Nutzer unterstützende Funktionen, wie das Importieren und Exportieren von Modellen und eine umfassende Online-Hilfe.
- KonferenzbeitragRahmenbedingungen und Lösungen für Enterprise Application Integration bei EVU(Softwaretechnik-Trends Band 25, Heft 2, 2005) Uslar, Mathias; Schmedes, Tanja; Luhmann, TillIn Energieversorgungsunternehmen (EVU) führen verschiedene Rahmenbedingungen zur Veränderung der Systemlandschaft. Dabei handelt es sich um bekannte technische Aspekte, EVU spezifische Faktoren des Legal Unbundling und das EEG sowie die Veränderung der Erzeugerstruktur. Dieser Beitrag erläutert diese Faktoren und führt das CIM (Common Information Model) als Sprache für den gemeinsamen Datenaustausch in EVU ein. Basierend auf dem CIM wird eine mögliche Lösung für EAI in EVU vorgestellt, welche die genannten Rahmenbedingungen aufgreift.
- KonferenzbeitragErfahrungsberichte zur Lokalisierung von Produktfunktionen im Code(Softwaretechnik-Trends Band 25, Heft 2, 2005) Klein, Raimund; Koschke, Rainer; Quante, JochenWir beschreiben unsere Erfahrungen mit unserer Technik zur Lokalisierung von Code-Teilen, die eine gegebene Produktfunktion implementieren. Wir untersuchen den Informationsgewinn, der sich erzielen lässt, wenn man die dynamische Information auf Grundblockebene durchführt statt auf Funktionsebene, und welchen Preis man in Bezug auf Speicher- und Rechenbedarf der Begriffsanalyse hierfür bezahlen muss. Außerdem untersuchen wir den Einfluss der Abdeckung der Produktfunktionen (vollständige versus partielle versus redundante) auf die Ergebnisse.
- KonferenzbeitragBusiness-Rule-Management als Instrument des Software-Reengineering(Softwaretechnik-Trends Band 25, Heft 2, 2005) Resch, OlafEin wichtiges Ziel des Software-Reengineering ist die Erhaltung von Anwendungswissen bei gleichzeitiger Erneuerung des Realisierungswissens – anders ausgedrückt: die Anwendung soll technologisch weiterentwickelt, aber in ihrer Aufgabenstellung nicht verändert werden. Auf der anderen Seite stellt auch die Weiterentwicklung des Anwendungswissens, ohne technologische Risiken einzugehen, eine gewisse Herausforderung dar. In diesem Beitrag stelle ich das Business-Rule-Management als Instrument vor, mit dem diese Aufgaben bewältigt werden können. Es geht dabei nicht nur um eine projektbezogene Hilfestellung, sondern auch um die Bereitstellung einer Infrastruktur, die zukünftige Veränderungen erleichtert.
- KonferenzbeitragMigration der Amadeus Germany Systeme von BS2000 nach UNIX(Softwaretechnik-Trends Band 25, Heft 2, 2005) Teppe, WernerDieser Beitrag beschreibt das aus mehreren Alternativen ausgewählte Migrationsvorgehen und die weitgehend automatisch ablaufenden Testprozesse.
- KonferenzbeitragWorkflows der Software-Migration(Softwaretechnik-Trends Band 25, Heft 2, 2005) Gimnich, Rainer; Winter, AndreasDieser Beitrag skizziert nach einer Begriffsklärung, aufbauend auf den Diskussionen des Workshops Reengineering Prozesse (RePro) 2004, die wesentlichen Workflows von Migrationsvorhaben als Referenzmodell und zeigt die Anwendung dieser Workflows in konkreten Migrationsprojekten.