Vorträge entstanden am Lehrstuhl unter Prof. Dr. rer. nat. Claus Lewerentz
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.
44. Jahrestagung der Gesellschaft für Informatik. INFORMATIK 2014: Big Data - Komplexität meistern. 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
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
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 2005http://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
Homepage ArchMain 2010
Urban Development in Software Cities
Mining Software Archives MSA 2010, Ascona, 16. März 2010
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
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
Homepage MSA 2010
Marcel Bennicke
Iterative Entwicklung von Qualitätsmodellen
Workshop Reengineering an der TU München, 06. Dezember 2004
Software-Kompetenz
Software Architekturen analysieren
Berlin-Brandenburger Software-Forum, Themenabend "Software-Architektur", Fraunhofer FIRST, Berlin, 15. April 2004
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
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
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