Zum Hauptinhalt springen

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

Konferenzankündigungen

  • 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