Berichte aus den Fachgruppen und Arbeitskreisen

• 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

Dissertationen

• 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

Band 26 Heft 2
ISSN 0720-8928