Ada (Ada)

Objektorientierte Software-Entwicklung (OOSE)

Requirements Engineering (RE)

Software-Reengineering (SRE)

Softwaretechnik (ST)

Test, Analyse und Verifikation von Software (TAV)

• Bericht über das Fachgruppentreffen Programmiersprachen und Rechenkonzepte, das Fachgruppentreffen Test, Analyse und Verifikation von Software (TAV24) und den Workshop Software-Reengineering (WSR 2006) vom 3. - 5. Mai 2006 in Bad Honnef   PDF


• Beiträge der gemeinsamen Sitzungen der Fachgruppen   PDF


• A. Zeller: Warum stürzt mein Programm ab?   PDF
• F. Huch: Dynamische Deadlock-Suche in nebenläufigen funktionalen Programmen   PDF
• H. Sneed: Reengineering for Testability   PDF
• W. Bischofberger: Werkzeugunterstütztes Architektur- und Qualitätsmonitoring Ansätze und praktische Erfahrungen   PDF
• H. Kuchen, C. Lembeck, R. A. Müller: Automatische Erzeugung von Testfällen   PDF
• M. Meurer, D. Simon: Standardisierung der technischen Qualitätssicherung im J2EE-Umfeld der Dresdner Bank   PDF
• Tool-Demos PDF

• Beiträge des 23. Workshops der Fachgruppe 'Programmiersprachen und Rechenkonzepte'   PDF


• J. Xue, J. Knoop: A Fresh Look at Partial Redundancy Elimination as a Maximum Flow Problem   PDF
• T. Noll, S. Rieger: Optimization of Straight-Line Code Revisited   PDF
• M. Degen: Übersetzen und Optimieren von Simulink Modellen   PDF
• R. Berghammer: Über ein Werkzeug zur visuellen Auswertung funktionaler Programme   PDF
• B. Trancón y Widemann: Strikte Zyklische Berechnungen: Von der Theorie zur Praxis   PDF
• F. Huch, F. Kupke: Haskell Transaktionen in verteilten Systemen   PDF
• H. von Issendorff: Eine gemeinsame Basis zur formalen Beschreibung von Software und Hardware   PDF
• J. Bendisposto, M. Leuschel: Rapid Visualization of B Specifications containing Higher-Order Recursive Functions   PDF
• C. Heinlein: Efficient Implementation of Open Types   PDF
• J. Schäfer, A. Poetzsch-Heffter: Simple Loose Ownership Domains: Ein Typsystem zur Kapselung von Objekten   PDF
• M. Widera: Strukturorientiertes Testen funktionaler Programme   PDF
• B. Holzmüller:Validierung des Bereichsdatencompilers für die Linienzugbeeinflussung LZB L72 CE mit Hilfe eines diversitären Ansatzes   PDF
• B. Braßel: Searching Bugs by Visualizing Computations   PDF
• M. Hanus: Type-Oriented Construction of Web User Interfaces   PDF
• S. Fischer: Resource-Based Web Applications   PDF
• M. Plümicke: Typ-Inferenz in Java 5.0   PDF
• P. Thiemann, S. Wehr: Waitomo, eine interface-orientierte Programmiersprache   PDF

• Beiträge der Fachgruppe Test, Analyse und Verifikation von Software


• D. Engelhardt, T. Linz: TestBench meets TestFrame: State of the Art Testdesign   PDF
• A. Schlatter: TestFrame meets TestBench: State of the Art Testautomatisierung   PDF

• Beiträge des 8. Workshops 'Software Reengineering' (WSR 2006)   PDF


• C. Mosler: E-CARES Project: Reengineering of PLEX Systems   PDF
• R. Schmidberger: Nachdokumentation von Geschäftsregeln aus Quelltext   PDF
• F. Schricker, V. Riediger, A. Winter: GXL2SVG: Domain-Specific Graph Layout   PDF
• K. Schützler: Rekonstruktion von Architekturansichten: Erfahrungen mit der Relation Partition Algebra   PDF
• P. Kampstra, L. Kwiatkowski: Recovering management information from source code   PDF
• M. Voß: Synthese eines Vorgehens zur Migrationsplanungs   PDF
• J. Bach, M. Schulze: Migration des Debeka-Software-Repositorys auf ein RDBMS   PDF
• U. Erdmenger: SPL-Sprachkonvertierung im Rahmen einer BS2000 Migration   PDF
• S. Breu, T. Zimmermann: Identifying Cross-Cutting Concerns from History   PDF
• S.Breu, T. Zimmermann, C. Lindig: Mining Aspects from CVS Transactions using Concept Analysis   PDF
• V. Dallmeier, A. Wasylkowski, N. Bettenburg: Identifying Inspectors to Mine Models of Object Behavior   PDF
• S. Neuhaus: Experimentelle Methoden zum Aufspüren von Einbrüchen   PDF
• A. Schröter, T. Zimmermann, A. Zeller: How Design Predicts Failures   PDF
• F. Simon, D. Bolz: "Spieglein, Spieglein an der Wand, was ist das beste im ganzen Land": Möglichkeiten und Erfahrungen des System-Benchmarking   PDF
• S. Opferkuch, T. Schönleber: JUST MoRe - Verknüpfung von Anforderungen und Wartungsaufträgen   PDF
• P. Mäder, M. Riebisch, I. Philippow: Aufrechterhaltung von Traceability Links während evolutionärer Softwareentwicklung   PDF
• F. Loesch: A Formal Method to Identify Variation Points in Product Line Assets   PDF
• R. Koschke: Konsolidierung von Software-Varianten in Software-Produktlinien   PDF
• J. Knodel, M. Lindvall, D. Muthig, M. Naab: Case Studies of Static Software Architecture Evaluations   PDF
• G. Vogel: Statische Extraktion von Protokollen   PDF
• J. Quante, R. Koschke: Erzeugung und Anwendungen dynamischer Objektprozessgraphen   PDF
• D. Schuler, V. Dallmeier: Detecting Software Theft with API Call Sequence Sets   PDF

• 11. - 15. September 2006   Minneapolis, USA
  14th IEEE International Requirements Engineering Conference (RE 20006)   PDF
• 02. - 06. Oktober 2006   Dresden
  36. Jahrestagung der Gesellschaft für Informatik (Informatik 2006)
  Workshop: Vernetzung von Software Engineering Expertise in Industrie und Forschung   PDF