Vorträge

Prof. Dr. Claus Lewerentz

Softwarelandkarten – Konzepte und Erfahrungen aus dem Praxiseinsatz
Technische Universität Clausthal, Institut für Informatik, 05.02.2015

Software-Städte - Die Nutzung der Stadt als Metapher für die Softwareentwicklung
BTU Cottbus, Forschungskolloquium der Fakultät 2 - Architektur, Bauingenieurwesen und Stadtplanung, 2011

Die Stadt als Architekturmetapher - Visualisierung von Software-Architekturen als Städte
Software-Architektur 2011, Jahrestagung der GI-Fachgruppe Software-Architektur, 21.07.2011, Universität Hamburg

Kann man Qualität sehen? – Softwarevisualisierungen für komplexe Kennzahlenzusammenhänge
iqnite Deutschland 2011, Düsseldorf, 25. Mai 2011
 
Software-Architekturen sehen!
90. AFCEA Fachveranstaltung, Wachtberg-Werthhoven, 24. Januar 2011

    

Mathias Schubanz

Towards Enabling Design Rationale Capture by Asking the Right Questions.
Link zu einer externen Seite 44. Jahrestagung der Gesellschaft für Informatik. INFORMATIK 2014: Big Data - Komplexität meistern. Link zu einer externen Seite Doktorandenprogramm, Stuttgart, 25.09.2014

Design Rationale Capture in Software Architecture: What has to be captured?
19th International Doctoral Symposium on Components and Architecture. Doctoral Symposium of CompArch 2014, Lille, France, 30.06.2014
see publication

Guidance for Design Rationale Capture to Support Software Evolution
6. Workshop "Design for Future 2014- Langlebige Softwaresysteme" des GI-Arbeitskreises „Langlebige Software-Systeme“ (AK L2S2) der Fachgruppen „Architekturen“ und „Software-Reengineering“, Bad Honnef, 28.04.2014
Link zu einer externen Seite Homepage des Workshops
 Proceedings des Workshops

Model-driven Planning and Monitoring of Long-term Software Product Line Evolution
Seventh International Workshop on Variability Modelling of Software-intensive Systems VaMoS 2013, Pisa, Italy, 24.01.2013
Link zu einer externen Seite Homepage VaMoS2013
ACM Digital Library

Marcel Bennicke

Marcel Bennicke, Jan-Peter Richter
Architecture of a generic software control cockpit
1st Workshop on Measurement-based Cockpits for Distributed Software and Systems Engineering Projects (SOFTPIT 2007), 27.08.2007

Heinz Züllighoven, Carola Lilienthal, Marcel Bennicke
Software Architecture Analysis and Evaluation
Tutorial auf der 2nd International Conference on the Quality of Software Architectures (QoSA 2006), Västerås, Schweden, 29. Juni 2006

Software Architecture Analysis
Tutorial, 6th International Conference on Product Focussed Software Process Improvement, (PROFES 2005), Oulou, Finnland, 13. Juni 2005Link zu einer externen Seite http://www.software-kompetenz.de/

    

Prof. Dr. Claus Lewerentz

Software-Städte
Universität Hamburg, Fachbereich Informatik, Oberseminar Ausgewählte Themen der Softwaretechnik, 07. Dezember 2010
 Ankündigung

Die Stadt als Metapher für Softwarearchitekturen
Workshop: Architecture-based Maintainability (ArchMain 2010), Software Engineering (SE) am Forschungszentrum Informatik (FZI),08. Juni 2010
Link zu einer externen Seite Homepage ArchMain 2010

Urban Development in Software Cities
Mining Software Archives MSA 2010, Ascona, 16. März 2010
Link zu einer externen Seite Homepage MSA 2010

Wie denkt ein Computer?
BTU Cottbus, KinderCampus, 08. Mai 2008

Qualitätssoftware made in Germany
2. Veranstaltung des Software-Stützpunktes Region Cottbus, 31.01.2008
Link zu einer externen Seite Software-Stützpunkt Region Cottbus 

Software-Tomographie
Kolloquium am Department für Informatik an der Carl von Ossietzky-Universität, 08.01.2007

Analyse und Visualisierung großer Programme
Martin Luther-Universität Halle/Wittenberg, 15. Dezember 2005

The Challenge of Software Visualization
Dagstuhl-Seminar, Perspectives Workshop: Challenges for Software Engineering Research, 06.10.2005

Analyse und Visualisierung großer Programme
Fujitsu München, 18. Juli 2005

Das Unsichtbare sichtbar machen - Analyse und Visualisierung großer Programme
Universität Hamburg, Informatitsches Kolloquium, 27. Juni 2005

Objektorientierte Entwurfsmuster
Berlin-Brandenburger Softwareforum, Thema "Designprinzipien und Entwurfsmuster", Berlin, 12. Mai 2005

Statische Code-Analysen großer Programme
EADS Ottobrunn, 11. April 2005

Analysis of Software Architectures
IFIP Working Group 2.4, Baden/Wien, 04. Januar 2005

  

Andreas Noack

Energy-Based Clustering
Konstanz, 31.10.2005

Energy-Based Clustering of Graphs with Nonuniform Degrees
13th International Symposium, GD 2005, Limerick, Ireland, 13. September 2005

A Space of Layout Styles for Hierarchical Graph Models of Software Systems

ACM Symposium on Software Visualization, St. Louis, Missouri, USA, 15. Mai 2005

A Space of Layout Styles for Clustered Graphs
Dagstuhl Seminar on Graph Drawing, Dagstuhl, 11.05.2005

  

Frank Steinbrückner

Representing Development History in Software Cities
ACM Symposium on Software Visualization, Session 5: Graph Layout and Visualization of Evolution, Salt Lake City, Utah, USA, 26. Oktober 2010

Coherent Software Cities. Supporting Comprehension of Evolving Software Systems
IEEE International Conference on Software Maintenance ICSM 2010, Doctoral Symposium, Timișoara, Romania, 13. September 2010

Layout Stability of Software Cities
Mining Software Archives MSA 2010, Ascona, 16. März 2010
Link zu einer externen Seite Homepage MSA 2010

Marcel Bennicke

Iterative Entwicklung von Qualitätsmodellen
Workshop Reengineering an der TU München, 06. Dezember 2004
Link zu einer externen Seite Software-Kompetenz

Software Architekturen analysieren
Berlin-Brandenburger Software-Forum, Themenabend "Software-Architektur", Fraunhofer FIRST, Berlin, 15. April 2004
Link zu einer externen Seite Software-Kompetenz

    

Dirk Beyer

How to Make Model Checking of Timed Automata Efficient
University of California, Berkeley, CA, 29. Oktober 2003

Rabbit: A Tool for BDD-based Verification of Real-Time Systems
CAV 2003, Boulder, CO, 09. Juli 2003

CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs
IWPC 2003, Portland, OR, 11. Mai 2003

Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Fraunhofer-Gesellschaft FIRST, Berlin, 11. April 2003

Efficient BDD Representation for Reachability Analysis of Timed Automata
Carnegie Mellon University, Pittsburgh, PA, 14. Januar 2003

A Modular Approach for Formal Verification of Real-Time Systems
Software Engineering Institute, Pittsburgh, PA, 10. Januar 2003

A Tool for Modular Modelling and Verification of Hybrid Systems.
25th IFAC/IFIP Workshop on Real-Time Programming 2000 (WRTP 2000), Palma, Mallorca, May 17-19, 2000

Modular Modelling and Verification with Cottbus Timed Automata.
In Ch. Rattray/M. Sveda (Editors): Proceedings of the IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS) 2000, pages 17 - 24, Edinburgh, April, 2000

Modelling and Analysing a Railroad Crossing in a Modular Way.
5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS) Berlin, 4. April 2000

Efficient Reachability Analysis and Refinement Checking of Timed Automata using BDDs
11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2001), Livingston, September 2001

Rabbit: Verification of Real-Time Systems

Workshop on Real-Time Tools (RT-TOOLS 2001), Aalborg, August 20, 2001

Efficient Verification of Timed Automata using BDDs

6th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001) Paris, July 2001

Different Strategies for BDD-based Reachability Analysis of Timed Automata

2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001) Washington, D.C., April 2001

Cottbus Timed Automata: Formal Definition and Semantics

2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001), Washington, D.C., April 2001

Improvements in BDD-based Reachability Analysis of Timed Automata

10th International Symposium of Formal Methods Europe (FME 2001), Berlin, March 2001

  

Prof. Dr. Claus Lewerentz

Architektur-Analyse
Workshop Reengineering an der TU München, 06. Dezember 2004
Software-Kompetenz

The Challenge of Software Visualization
Technical University Eindhoven, Symposium "Verification and Validation of Software Systems", 25. November 2004

Visualization of Software Architectures
Universität Madrid, 17. Juni 2004

Software-Architekturen
Berlin-Brandenburger Software-Forum, Themenabend "Software-Architektur", Fraunhofer FIRST, Berlin, 15. April 2004
Software-Kompetenz

Simple and Efficient Relational Querying of Software Structures
IFIP Working Group 2.4, Brisbane, 17.03.2004
IFIP WG 2.4

Software-Tomographie
Arbeitskreis Software-Qualität und -Fortbildung e.V. (ASQF), Berlin, 09. März 2004
ASQF

Software Quality Analysis
Växjö University, Februar 2004

Entwicklung komplexer Software
Europaschule Guben, 19. Februar 2004

Software-Analyse
Diamand Software AG, Bielefeld, 04. Dezember 2003

Analyse großer Softwaresysteme
SAP AG Walldorf, 27. November 2003

Systematische Software-Entwicklung
Emil Fischer-Gymnasium, Schwarzheide, 19. November 2003

Software-Qualität sichtbar machen
BITKOM – Forum Forschungsförderung, Berlin, 17. Oktober 2003

Software-Visualisierun
Technische Universität Berlin, Gastvortrag im Rahmen der Lehrveranstaltung "Visualisierung in der Analyse" 10. Juni 2003

Software Visualization
University Växjö, 05. Februar 2003

A Model Checking Approach for Timed Automata
IFIP WG 2.4 "Software Implementation Technology", Dagstuhl, 12. November 2002

Metrics-based 3D Visualization of Large Object-Oriented Programs
Workshop on Visualizing Software for Understanding and Analysis (VISSOFT 2002), Paris, 26.06.2002

Qualitätsanalyse von großen Software-Systemen
Deutsche Flugsicherung, Offenbach, 27. März 2002

Quali-T: A software analysis workbench
IFIP WG 2.4, Simons Town, Südafrika, 21.03.2002

Analyse von objekt-orientierten Programmen.
Lucent Technologies Network Systems GmbH, Nürnberg, 08. März 2002

Modellierung und Visualisierung großer Software-Strukturen
BTU-Workshop "Modellierung, Optimierung und Berechnung komplexer Systeme", 06. März 2002

Analyse und Visualisierung objektorientierter Programme
Xenium AG München, 18. Januar 2002

Analyse großer Software-Systeme
Universität Linz, 16. Januar 2002

3D-Visualisierung großer objektorientierter Programme
Kolloquium für Informatik und Mathematik an der Universität Paderborn, 06. November 2001

Analysis of Large Object-Oriented Programs
Hagenberg, OODACH, September, 2001

Metrik-basierte Qualitätsanalyse objektorientierter Programme
Technische Universität Berlin, Fakultät IV-Elektrotechnik und Informatik, Gastvortrag am 26.06.2001

A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects.
3rd International Workshop on Learning Software Organizations LSO 2001, Kaiserslautern, 12. September 2001

see publication

Metrics-based Visualization of Large Programs
IFIP WG 2.4, San Miniato, Italy, May 2001

Measurement-based Visualization of large Software-Systems.
Dagstuhl-Seminar Software-Visualization, Mai 2001

Die Rolle der Reflexion in Software-Praktika.
Software-Engineering im Unterricht der Hochschulen (SEUH), Zürich, Februar 2001

Analyse und Visualisierung objektorientierter Programme.
Informatik-Kolloquium Philipps-Universität Marburg, Dezember 2000

Analyse und Visualisierung großer objektorientierter Systeme.
OODACH Salzburg, 24. September 2000

Metrikbasierte Qualitätssicherung in der objektorientierten Software-Entwicklung -- Teil 1: Konzepte
Tagung der Gesellschaft für Informatik, Berlin, 19. September 2000

Are Software Engineers Genuine Engineers -How do we have to change Software Engineering education?
World Conference on Transdisciplinary Global Research and Education, Kusadasi, Türkei, 5. September 2000

Experiences with object-oriented Software Product Metrics.
IT Architekten und IT Spezialisten Gesamtmeeting 2000, Auditorium in Herrenberg, 25. Mai 2000

Metrics-based Analysis of Object-Oriented Software.
International Conference on Software Testing (ICSTest), Bonn, 6. April 2000

Information und Kommunikation im Krankenhaus der Zukunft.
10. Internationales Symposium Intensivmedizin & Intensivpflege, Bremen, 16. Februar 2000

  

Andreas Noack

Simple and Efficient Relational Querying of Software Structures
Working Conference on Reverse Engineering (WCRE) 2003, Victoria, Kanada, 15. November 2003

An Energy Model for Visual Graph Clustering
Graph Drawing 2003, Perugia, Italien, 24. September 2003

BDD-basierte Verifikation von Realzeit-Systemen.
Formale Beschreibungstechniken für verteilte Systeme (FBT'00), Lübeck, 23. Juni 2000

  

Dr. Heinrich Rust

Formale Methoden: Ein Überblick
Berlin-Brandenburger Software-Forum, Themenabend "Formale Methoden in der Software-Entwicklung", Fraunhofer ISST, Berlin, 16.09.2004
Link zu einer externen Seite Software-Kompetenz

  

Frank Simon

External Validation of a Metrics-Based Quality Assessment of the JWAM Framework
Kaiserslautern, September 2001

Anpaßbare, explorierbare virtuelle Informationsräume zur Qualitätsbewertung großer Software-Systeme
3. Workshop on Reengineering in Bad Honnef, 11. Mai 2001

Metrics Based Refactoring
Fifth Conference on Software Maintenance and Reengineering (CSMR) 2001, Lissabon, March 14, 2001

Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object Oriented Systems.
10th International Workshop on Software Measurement, IWSM, Berlin, 4.-6. Oktober 2000

see publication

Quality Assessment of the JWAM Framework.
JWAM Workshop, Hamburg, 21.-22. September 2000

Metrikbasierte Qualitätssicherung in der objektorientierten Software-Entwicklung -- Teil 2: Werkzeuge und Fallstudien.
Tagung der Gesellschaft für Informatik, Berlin, 19. September 2000

Multidimensionale Mess- und Strukturbasierte Softwarevisualisierung.
2th Workshop Reengineering in Bad Honnef, Universität Koblenz-Landau, 11. - 12. Mai 2000

Thomas Zehler

VSEK - Das Virtuelle Software Engineering-Kompetenzzentrum
Berlin-Brandenburger Software-Forum, Themenabend "Formale Methoden in der Software-Entwicklung", Fraunhofer ISST, Berlin, 16.09.2004
Link zu einer externen Seite Software-Kompetenz

Dirk Beyer

Concepts of Cottbus Timed Automata.
Tagung FTB'99, München, 17.06.1999

Modelling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata.
Cottbus, FBT'98, 4. Juni 1998

    

Hans-Ulrich Kobialka

User Interfaces Supporting the Software Process.
Waybridge, UK, 6th European Workshop on Software Process Technology, September 1998

  

Prof. Dr. Claus Lewerentz

"Crocodile" -- a Flexible Software Metrics Tool.
Nokia Research Center, Helsinki, 22.11.1999

Metrics-based Program Analysis -- a Case Study --.
FAMOOS Workshop, Helsinki, 19.11.1999

Die Informationsgesellschaft aktiv mitgestalten.
COMMEDIA, Cottbus, 13.11.1999

Using OO Software Metrics -- Some Lessons Learned --
GI-Workshop Software-Metriken, Regensburg, 30.09.1999

OO Software Metrics -- the Crocodile Approach --.
Intland, Stuttgart, 07.09.1999

OO Software Metrics -- the Crocodile Approach --.
SniffGate Workshop, TakeFive, Salzburg ,12.07.1999

Software-Qualitätssicherung auf der Grundlage von Produktmetriken.
GMD-FIRST, Berlin, 19.04.1999

Software-Qualitätssicherung auf der Grundlage von Produktmetriken.
Informatik-Kolloquium FU Berlin, 22.01.1999

Metriken zur Analyse und Reorganisation von objektorientierten Software-Systemen.
Essen, ifs/RWE Energie, 1. Dezember 1998

Using a Product Metrics Tool for Reengineering object oriented Software.
Helsinki, Nokia Research Center, 13. November 1998

A Measurement Approach for the Assessment of Structured Requirement Documents.
Cottbus, Arbeitsgemeinschaft Software-Technik, Juli 1998

Using a Product Metrics Tool in Reengineering object oriented Software.
Mailand, Politechnico di Milano, Juni 1998

Einsatz von Meßverfahren bei der Konstruktion objektorientierter Programme.
Leinfelden-Echterdingen, Ingenieurbüro Letters IBL, 6. Mai 1998

Integrating a Product Metrics Tool in an Industrial Software Engineering Environment.
Pisa, Universität Pisa, Mai 1998

Software-Technik in Lehre und Forschung an der BTU Cottbus.
Stuttgart, Bosch, 4. Mai 1998

Einsatz von Meßverfahren bei der Konstruktion objektorientierter Programme.
Baden/Zürich, ABB Corporate Research, April 1998

Quantitative Qualitätssicherung mit Entwurfsmetriken.
Workshop Zuverlässige Systeme, Universität Potsdam, 17.01.1997

Einsatz von Meßverfahren bei der Konstruktion objektorientierter Programme.
Informatik-Kolloquium der Freien Universität Berlin, Januar 1997

Einsatz von Meßverfahren bei der Konstruktion objektorientierter Programme.
Informatik-Kolloquium der RWTH Aachen, Mai 1997

Online Software Diagnostics.
IFIP Working Group 2.4 Meeting, Estes Park, Colorado, September 22-26, 1997

Metriken für objektorientierte Frameworks.
ABB Konzernforschungszentrum Heidelberg, 09. Oktober 1997

Zuverlässige Software-Systeme.
Tage der Forschung, Workshop "Entwurf zuverlässiger rechnerbasierter Systeme", Cottbus, 21. Oktober 1997

The Use of Metrics for the Construction of Object-Oriented Software.
IFIP Working Group 2.4 Meeting, Ameland, Juni 1996

Modellierung vertrauenswürdiger Systeme.
Kooperations-Workshop Herzzentrum Cottbus, Mai 1996

Applying Design-Metrics to Object-Oriented Frameworks.
3rd International Metrics Symposium, Berlin, März 1996

Formale Entwicklung reaktiver Systeme.
Informatik-Kolloquium der Universität Paderborn, Januar 1996

Mehrwert Information - Über die Informatisierung der Gesellschaft.
Philosophisches Kolloquium der BTU Cottbus, 21. November 1995

Formal Methods for Reactive Systems.
1st International Conference on Engineering Complex Computer Systems, Fort Lauderdale, 06. November 1995

Das Informationsuniversum - Der Mensch im Internet.
Jahrestagung Zentralverband der deutschen Informationswirtschaft, Frankfurt/Main, 16. Mai 1995

Modelling and Programming with Objects.
TEMPUS-Seminar, Kando-Kalman Politechnikum, Budapest, 29. März 1995

Object-oriented Analysis and Design.
TEMPUS-Seminar, Technische Universität Budapest, 28. März 1995

  

Silvio Löffler

Distanzmaßbasierte Gruppierung von Klassen.
SniffGate Workshop, TakeFive, Salzburg, 14.07.1999

  

Dr. Heinrich Rust

Normed Dinosaurs in a Creative Chaos? Software Development as a Controlled Learning Process.
KnowTech '99, Potsdam, 17. September 1999

Drei Verwendungen formaler Methoden in der Software-Entwicklung.
Universität Karlsruhe, Karlsruhe, IPD, 8. Oktober 1998

Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns.
Heidelberg, SafeComp, 5. Oktober 1998

A PVS Specification of an Invoicing System.
Nantes, März 1998

Software-Entwicklung und Ethik.
1. Herbstkonferenz Technikphilosphie in Deutschland, Cottbus, September 1997

  

Frank Simon

Distance based cohesion measuring.
2nd European Software Measurement Conference (FESMA) 99, 05.10.1999 in Amsterdam

Semiautomatische, kohäsionsbasierte Subsystembildung.
GI-Workshop Software-Metriken, Regensburg, 01.10.1999

Understanding object oriented software systems without source code inspection.
In proceedings of the ECOOP99-workshop "Experiences in Reengineering", Lissabon/Portugal, 15.06.1999

Eine Quellcode-Abstraktion zum Programmverstehen.
Workshop Software-Reengineering in Bad Honnef, 28.05.1999

Meßwert-basierte Analyse des Projekts TreeFramework - Ergebnisse und Diskussion.
Baden/Zürich, ABB Corporate Research, August 1998

A Product Metrics Tool Integrated into a Software Development Environment.
ECOOP'98, Workshop Object-Oriented Product Metrics for Software Quality Assessment, Brüssel, 21. Juli 1998

Assessment of Large Object Oriented Software Systems: A Metrics Based Process.
ECOOP'98, Workshop Object-Oriented Product Metrics for Software Quality Assessment, Brüssel, 21. Juli 1998

A Product Metrics Tool Integrated into a Software Development Environment.
Brüssel, ECOOP Workshop Techniques, Tools and Formalisms for Capturing and Assessing Architectural Quality in Object-Oriented Software, 20. Juli 1998

Integrating an object-oriented metrics tool into SNiFF+.
Salzburg, SNiFF Users Conference, 23. Januar 1998

Integration eines Metrik-Werkzeugs in eine Software-Entwicklungsumgebung.
ABB Konzernforschungszentrum Heidelberg, 09. Oktober 1997