Science Reports

Technische Berichte / Computer Science Reports

Claus Lewerentz, Frank Steinbrückner

SoftUrbs: Visualizing Software Systems as Urban Structures

BTU Cottbus, Computer Science Reports 02/2009, December 2009
2009[03] UBICO

Andreas Noack
Visual Clustering of Graphs with Nonuniform Degrees
Technical Report I-02/2004, Computer Science Reports, Brandenburg University of Technology at Cottbus, 2004.
Portables Dokumentenformat Full Version
2004[03] UBICO

Dirk Beyer, Andreas Noack
CrocoPat 2.1 Introduction and Reference Manual
Report No. UCB//CSD-04-1338, Computer Science Division (EECS), University of California, Berkeley, 2004.
Portables Dokumentenformat Full Version
2004[02]

Dirk Beyer, Claus Lewerentz, Frank Simon
Flattening Inheritance Structures - OR - Getting the Right Picture of Large OO-Systems
Technical Report 12/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, November 2000, ISSN 1437-7969
Abstract
Portables Dokumentenformat Full Version
2000[02]

Andreas Noack
Energy Models for Drawing Clustered Small-World Graphs
Technical Report I-07/2003, Computer Science Reports, Technical University Cottbus, May 2003, ISSN 1437-7969
Portables Dokumentenformat FullVersion
2003[07] UBICO

Dirk Beyer, Claus Lewerentz
CrocoPat: A Tool for Efficient Pattern Recognition in Large Object-Oriented Programs
Technical Report I-04/2003, Computer Science Reports, Technical University Cottbus, January 2003,  ISSN 1437-7969
Abstract
Portables Dokumentenformat FullVersion
2003[02] UBICO

Dirk Beyer, Andreas Noack
A Comparative Study of Decision Diagrams for Real-Time Verification
Technical Report I-03/2003, Computer Science Reports, Technical University Cottbus, January 2003, ISSN 1437-7969
Abstract
2003[04] UBICO

Dirk Beyer
Rabbit: Verification of Real-Time Systems
Technical Report 05/01, Computer Science Reports, Brandenburg University of Technology at Cottbus, March 2001, ISSN 1437-7969
2001[03] UBICO

Dirk Beyer
Reachability Analysis and Refinement Checking for BDD-based Model Checking of Timed Automata
Technical Report 04/01, Computer Science Reports, Brandenburg University of Technology at Cottbus, Februar 2001, ISSN 1437-7969
2001[01] UBICO

Heinrich Rust, Claus Lewerentz
Feedback in Software Development Processes
Technical Report 14/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, December 2000, ISSN 1437-7969
2000[11

Dirk Beyer, Andreas Noack
Efficient Verification of Real-Time Systems using BDDs
Technical Report 13/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, December 2000, ISSN 1437-7969
2000[04] UBICO

Dirk Beyer, Claus Lewerentz, Frank Simon
Flattening Inheritance Structures - OR - Getting the Right Picture of Large OO-Systems
Technical Report 12/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, November 2000, ISSN 1437-7969
Abstract
Portables Dokumentenformat Full Version
2000[02]

Frank Simon, Frank Steinbrückner, Claus Lewerentz
3D-Spring Embedder for Complete Graphs
Technical Report 11/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, October 2000, ISSN 1437-7969
Abstract
Portables Dokumentenformat Full Version
2000[16]

Frank Simon, Dirk Beyer
Considering Inheritance, Overriding, Overloading and Polymorphism for Measuring C++ Sources
Technical Report 04/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, May 2000, ISSN 1437-7969
Abstract
2000[12]

Claus Lewerentz, Frank Simon
Integrating of an object-oriented metrics tool into SNiFF+
Technical Report No. I-22/1997, Computer Science Department, Brandenburg Technical University at Cottbus, 1997
Abstract
Portables Dokumentenformat FullVersion
HA 97-018 / 1997[03]

Dirk Beyer, Heinrich Rust
A Formalism for Modular Modelling of Hybrid Systems
Computer Science Reports 10/99, Computer Science Department, Brandenburg Technical University at Cottbus, October 1999
Abstract
Portables Dokumentenformat Full Version
1999[03]

Heinrich Rust
Modelling a Production Cell Component as a Hybrid Automaton: A Case Study
Technical Report No. I-06/1999, Computer Science Department, Brandenburg Technical University at Cottbus, February 1999
Abstract
Portables Dokumentenformat Full Version
1999[06]

Dirk Beyer, Heinrich Rust
A Modular Hybrid Modelling Notation
Technical Report No. I-03/1999, Computer Science Department, Brandenburg Technical University at Cottbus, February, 1999
1999[01]


Claus Lewerentz, Heinrich Rust
Are Software Engineers True Engineers?
Technical Report No. I-12/1998, Computer Science Department, Brandenburg Technical University at Cottbus, December 1998
Portables Dokumentenformat FullVersion
1998[05]

Claus Lewerentz, Frank Simon
Integrating of an object-oriented metrics tool into SNiFF+
Technical Report No. I-22/1997, Computer Science Department, Brandenburg Technical University at Cottbus, 1997
Abstract
Portables Dokumentenformat FullVersion
HA 97-018 / 1997[03]

Claus Lewerentz, Heinrich Rust
Zur Bedeutung von Spezifikationen in verschiedenen Teilaufgaben der Entwicklung kundenspezifischer Software
Technischer Bericht Nr. I-21/1997, Institut für Informatik, Brandenburgische Technische Universität Cottbus, 1997
Abstract
Portables Dokumentenformat FullVersion
HA 97-017 / 1997[02]