Publikationen im Jahr 2013
Mathias Schubanz, Andreas Pleuss, Ligaj Pradhan, Goetz Botterweck, Anil Kumar Thurimella
Model-driven Planning and Monitoring of Long-term Software Product Line Evolution
In: Stefania Gnesi, Philippe Collet, Klaus Schmid (Eds.): Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems 
VaMoS 2013, Pisa , Italy — January 23 - 25, 2013
20013[01] UBICO
Frank Steinbrückner, Claus Lewerentz
Understanding Sof
tware Evolution with Software Cities
In: Information Visualization. April 2013 Volume 12, pages 200-216, first published on March 19, 2012 doi:10.1177/1473871612438785
2013[02]
Frank Steinbrückner
Consistent Software Cities : supporting comprehension of evolving software systems
PhD Thesis, Brandenburgische Technische Universität Cottbus, Juni 2013
BTU Cottbus, Full Version
2013[03]
Publikationen im Jahr 2012
Mathias Schubanz, Andreas Pleuss, Goetz Botterweck, Claus Lewerentz
Modeling Rationale over Time to support Product Line Evolution Planning
In: Ulrich W. Eisenecker, Sven Apel, Stefania Gnesi (Eds.): Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings. ACM 2012, ISBN 978-1-4503-1058-1
2012[01] UBICO
CSMR Most Influential Paper Award
15th European Conference on Software Maintenance and Reengineering CSMR Most Influential Paper Award presented to Frank Simon, Frank Steinbrückner and Claus Lewerentz for their CSMR 2001 paper Metrics Based Refactoring Offered by the ERCIM Working Group on Software Evolution at CSMR 2011, March 2011, Oldenburg, Germany
Publikationen aus dem Jahr 2010
Marcel Bennicke, Claus Lewerentz
Towards Managing Software Architectures with Ontologies
In: Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel (Eds.): Graph Transformations and Model-Driven Engineering, LNCS 5765, pp. 274–308, Springer-Verlag 2010 (ISBN 978-3-642-17321-9)
2010[01] UBICO
Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel (Eds.)
Graph Transformations and Model-Driven Engineering
Lecture Notes in Computer Science 5765, Springer-Verlag, November 2010 (ISBN 978-3-642-17321-9)
2010[02] UBICO
Frank Steinbrückner
Coherent Software Cities. Supporting Comprehension of Evolving Software Systems
In: Proceedings 2010 IEEE International Conference on Software Maintenance, Doctoral Symposium, Timişoara, Romania September 12-18, 2010, ISBN 978-1-4244-8630-4
IEEE Computer Society - Proceedings
2010[03] UBICO
Frank Steinbrückner, Claus Lewerentz
Representing Development History in Software Cities
In: Proceedings of the 5th International Symposium on Software Visualization, October 25-26, 2010, Salt Lake City, Utah, USA, pp. 193-202, ISBN 978-1-4503-0028-5
2010[04] UBICO
Publikationen aus dem Jahr 2009
Goetz Botterweck, Mikoláš Janota, Denny Schneeweiss
A design of a configurable feature model configurator
In: David Benavides, Andreas Metzger, Ulrich W. Eisenecker, editors, Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 28-30, 2009. Proceedings. Volume 29 of ICB Research Report, Universität Duisburg-Essen, 2009. VaMoS 2009, pages 165-168
2009[01] UBICO
Denny Schneeweiss, Andreas Pleuss
Interactive Techniques to Support the Configuration of Complex Feature Models
In: Mira Mezini, Danilo Beuche, Ana Moreira (Eds.) Proceedings of the 1st International Workshop on Model-Driven Product Line Engineering (MDPLE'2009). June 24, 2009, Twente, The Netherlands, pp. 3-10
2009[02] UBICO
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
Modularity clustering is force-directed layout
APS American Physical Society. Physical Review E 79:026102, February 2009
http://link.aps.org/doi/10.1103/PhysRevE.79.026102
Preprint (frei zugänglich): http://arxiv.org/abs/0807.4052v2
2009[04] UBICO
Andreas Noack, Randolf Rotta
Multi-level Algorithms for Modularity Clustering
In: Jan Vahrenhold (Ed.): Experimental Algorithms. 8th International Symposium SEA 2009, Dortmund, Germany, June 4-6, 2009, Proceedings. Springer-Verlag, LNCS 5526, pages 257-268, ISBN 978-3-642-02010-0
2009[05] UBICO
Publikationen aus dem Jahr 2008
Marcel Bennicke, Alexander Hofmann, Claus Lewerentz, Karl-Heinz Wichert
Software Controlling
In: Informatik-Spektrum, Band 31, Heft 6, Seiten 556-565, Dezember 2008, Springer-Verlag
SpringerLink - Zeitschriftenbeitrag
2008[01] UBICO
Goetz Botterweck, Steffen Thiel, Ciarán Cawley, Daren Nestor, André Preußner
Visual Configuration in Automotive Software Product Lines.
In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland. IEEE Computer Society 2008, ISBN 978-0-7695-3262-2, 1070-1075
2008[02] UBICO
Ciarán Cawley, Daren Nestor, André Preußner, Goetz Botterweck, Steffen Thiel
Interactive Visualisation to Support Product Configuration in Software Product Lines
In: Patrick Heymans, Kyo Chul Kang, Andreas Metzger, Klaus Pohl (Eds.): Second International Workshop on Variability Modelling of Software-Intensive Systems, Universität Duisburg-Essen, Germany, January 16-18, 2008, Proceedings. ICB Research Report 2008. VaMoS 2008, pages 7-16
2008[03] UBICO
Marcus Ciolkowski, Jens Heidrich, Frank Simon, and Mathias Radicke
Empirical results from using custom-made software project control centers in industrial environments
In: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (ESEM), Oktober 09-10, 2008, Kaiserslautern, Germany. ESEM '08, Seiten 243-252
2008[04] UBICO
Frank Salger, Marcel Bennicke, Gregor Engels, Claus Lewerentz
Comprehensive Architecture Evaluation and Management in Large Software Systems
In: Quality of Software Architectures. Models and Architectures. 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings, pages 205 - 219, Springer-Verlag
2008[05] UBICO
Publikationen aus dem Jahr 2007
Petra Becker-Pechau, Marcel Bennicke
Concepts of Modeling Architectural Modules Views for Compliance Checks Based on Architectural Styles
In: J. Smith (Ed.): Proceedings of the 11th IASTED International Conference on Software Engineering and Applications (SEA'07), 19.-21.11.2007, Cambridge, MA, USA, 2007
2007[01]
Marcel Bennicke, Frank Steinbrückner, Mathias Radicke, Jan-Peter Richter
Das sd&m Software Cockpit: Architektur und Erfahrungen
In: Rainer Koschke, Otthein Herzog, Karl-Heinz Rödiger, Marc Ronthaler (Hrsg.): INFORMATIK 2007 - Informatik trifft Logistik. Band 2. Beiträge der 37. Jahrstagung der Gesellschaft für Informatik e.V. (GI) 24.-27. September 2007 in Bremen. GI-Edition - Lecture Notes in Informatics (LNI), P-110, Bonner Köllen Verlag (2007), ISBN 978-3-88579-204-8, ISSN 1617-5468, S. 254-260
HA 07-001 / 2007[02]
Marcel Bennicke, Jan-Peter Richter
Architecture of a Generic Software Control Centre
1. Workshop on Measurement- based Cockpits for Distributed Software and Systems Engineering Project SOFTPIT 2007. International Conference on Global Software Engineering, 27. - 30.08.2007, München
2007[03]
Alexandre Bergel, Claus Lewerentz, Liam O’Brien
Classboxes : Supporting Unanticipated Variation Points in the Source Code
In: Proceedings of the 2nd Workshop on Aspect-Oriented Product Line Engineering (AOPLE-2), Lancaster University, Computing Department, Technical Report, COMP-005-2007, October 4, 2007, Salzburg, Austria, pp. 8-13
2007[04]
Marcus Ciolkowski, Jens Heidrich, Jürgen Münch, Frank Simon, and Mathias Radicke
Evaluating: Software Project Control Centers in Industrial Environments
In: Proceedings of the 1st International Symposium on Empirical Software Engineering and Measurement (ESEM), September 20-21, 2007, Madrid, Spanien. ESEM 2007, Seiten 314-323
2007[05]
Andreas Noack
Energy Models for Graph Clustering
Journal of Graph Algorithms and Applications 11(2):453-480, February 2007
Journal of Graph Algorithms and Applications
2007[06]
Andreas Noack
Unified Quality Measures for Clusterings, Layouts, and Orderings of Graphs, and Their Application as Software Design Criteria
PhD Thesis, Brandenburgische Technische Universität Cottbus, Juli 2007.
2007[07] UBICO
Publikationen aus dem Jahr 2006
Marcel Bennicke, André Baresel
Establishing Efficient Code Quality Reviews to Monitor External Projects
In: Jia Xisheng et al. (Eds.): Proceedings of the First International Conference on Maintenance Engineering ICME 2006 New Century New Maintenance October 15-18, 2006, Chengdu, P.R.China. ISBN 703018064x
China Scientific Book Services
2006[01]
Michael John, Andreas Mühlhausen, Thomas Zehler
Gelebter Wissenstransfer in regionale Software-Unternehmen - Das Berlin-Brandenburger Softwareforum
In: Christian Hochberger, Rüdiger Liskowsky (Hrsg.): Informatik 2006 - Informatik für Menschen, Band 1. Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2.-6. Oktober 2006 in Dresden. S. 266-272, ISBN978-3-88579-187-4
HA 06-001,-002 / 2006[02]
Claus Lewerentz
Fitness-Check für Software – Zur Diagnose in den Sotographen –
Menschen und Informationstechnik m&it Magazin, Nr. 4, S. 6-9, Juni 2006
2006[03]
Frank Simon, Olaf Seng, Thomas Mohaupt
Code Quality Management.
Technische Qualität industrieller Softwaresysteme transparent und vergleichbar gemacht
Mai 2006, 357 Seiten, dpunkt.Verlag, ISBN-13: 978-389864-388-7
HA 06-005 / 2006[04]
Publikationen aus dem Jahr 2005
Dirk Beyer, Andreas Noack
Clustering Software Artifacts Based on Frequent Common Changes
In: James R. Cordy, Harald Gall, Jonathan I. Maletic (Eds.): Proceedings 13th International Workshop on Program Comprehension (IWPC 2005), 15-16 May 2005, St. Louis, Missouri, USA. IEEE Computer Society 2005, ISBN 0-7695-2254-8
HA 05-010 / 2005[01] UBICO
Dirk Beyer, Andreas Noack, Claus Lewerentz
Efficient Relational Calculation for Software Analysis
In: IEEE Transactions on Software Engineering 31(2): p. 137-149 (February 2005)
2005[02] UBICO
Andreas Noack, Claus Lewerentz
A Space of Layout Styles for Hierarchical Graph Models of Software Systems
In: Thomas L. Naps, Wim De Pauw (Eds.): Proceedings SoftVis '05. ACM Symposium on Software Visualization, St. Louis, Missouri, USA, May 14-15, 2005. ACM 2005, ISBN 1-59593-073-6
HA 05-009 / 2005[03] UBICO
Andreas Noack
Energy-Based Clustering of Graphs with Nonuniform Degrees
In: Patrick Healy, Nikola S. Nikolov (Eds.): Graph Drawing. 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. LNCS 3843, pages 309-320, ISBN 3-540-31425-3
HA 05-014 / 2005[04] UBICO
Publikationen aus dem Jahr 2004
Michael Balzer, Andreas Noack, Oliver Deussen, Claus Lewerentz
Software Landscapes: Visualizing the Structure of Large Software Systems
In: Proceedings of the Joint Eurographics - IEEE TCVG Symposium on Visualization (VisSym 2004), pages 261-266, Konstanz, Germany, May 19–21, 2004 © Eurographics Association, Full Version
2004[01] 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.
2004[02]
Andreas Noack
Visual Clustering of Graphs with Nonuniform Degrees
Technical Report I-02/2004, Computer Science Reports, Brandenburg University of Technology at Cottbus, 2004.
2004[03] UBICO
Andreas Noack
An Energy Model for Visual Graph Clustering
In Guiseppe Liotta (Ed.): Graph Drawing. 11th International Symposium, GD 2003, Perugia, Italy, Sep. 21 - 24, 2003, Revised Papers. LNCS 2912, pages 425 - 436, Springer, 2004, ISBN 3-540-20831-3
2004[04] UBICO
Heinrich Rust
A non-Standard Approach to Operational Semantics for Timed Systems
Habilitation, BTU Cottbus, 26.05.2004
2004[05]
Publikationen aus dem Jahr 2003
Dirk Beyer, Claus Lewerentz
CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs
In Proceedings of the 11th IEEE International Workshop on Program Comprehension (IWPC 2003, Portland, OR, May 10-11), pages 294 - 295, IEEE Computer Society Press, Los Alamitos (CA), 2003, ISBN 0-7695-1883-4, ISSN 1092-8138.
2003[01] 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
2003[02] UBICO
Dirk Beyer, Claus Lewerentz, Andreas Noack
Rabbit: A Tool for BDD-based Verification of Real-Time Systems
In Warren A. Hunt, Jr. and Fabio Somenzi (editors): Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003, Boulder, CO, July 8-12), LNCS 2725, pages 122-125, Springer-Verlag, Berlin, 2003, ISBN 3-540-40524-0
Abstract
2003[03] 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, Andreas Noack
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?
In Hartmut König, Monika Heiner, Adam Wolisz (editors): Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003, Berlin, September 29 - October 2), LNCS 2767, pages 193 - 208, Springer-Verlag, Berlin, 2003, ISBN 3-540-20175-0
Abstract
Full Version
2003[05] UBICO
Dirk Beyer, Andreas Noack, Claus Lewerentz
Simple and Efficient Relational Querying of Software Structures
In Proceedings of the 10th Working Conference on Reverse Engineering (WCRE 2003, Victoria, Canada, Nov. 13-16), pages 216-225, IEEE Computer Society Press, 2003
Abstract
Full Version
2003[06] UBICO
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
2003[07] UBICO
Claus Lewerentz, Andreas Noack
CrocoCosmos - 3D Visualization of Large Object-Oriented Programs
In: Michael Jünger, Petra Mutzel (editors): Graph Drawing Software, pages 279-297, Springer-Verlag, 2003, ISBN 3-540-00881-0
2003[08] UBICO
Heinrich Rust
A Non-standard Approach to Operational Semantics for Timed Systems
In Egon Börger, Angelo Gargantini, Elvinia Riccobene (editors): Abstract State Machines 2003. Advances in Theory and Practice. 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings. LNCS 2589, pages 423-424, Heidelberg, Springer, 2003, ISBN 3-540-00624-9
2003[09] UBICO
Publikationen aus dem Jahr 2002
Dirk Beyer
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Mensch & Buch Verlag, Berlin, ISBN 3-89820-450-2, 2002. Zugl. Dissertation, Brandenburgische Technische Universität Cottbus, 2002.
2002[01] UBICO
Claus Lewerentz, Frank Simon
Metrics-based 3D Visualization of Large Object-Oriented Programs
In: Proceedings of the First IEEE International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT 2002), 26th June 2002, Paris, France. IEEE Computer Society, pages 70 - 77, ISBN 0-7695-1662-9
2002[02] UBICO
Claus Lewerentz
Metrics-based Quality Analysis of Large Software Products
In: Reiner R. Dumke, Manfred Bundschuh (Hrsg.): Software-Metriken in der Praxis. Tagungsband des DASMA Software Metrik Kongresses METRIKON 2001, 25. - 26. Oktober, 2001, Dortmund, Seiten 133 - 146, Reihe: Magdeburger Schriften zum Empirischen Software Engineering, Shaker Verlag, Aachen 2002, ISBN 3-8322-0470-9
2002[03] UBICO
Claus Lewerentz, Frank Simon, Frank Steinbrückner
CrocoCosmos
In: Petra Mutzel, Michael Jünger, Sebastian Leipert (Eds.): Graph Drawing. 9th International Symposium, GD 2001. Vienna, Austria, September 23-26, 2001, Revised Papers. LNCS 2265, pages 446 - 447, Springer-Verlag, 2002, ISBN 3-540-43309-0
2002[04] UBICO
Claus Lewerentz, Frank Simon, Frank Steinbrückner, Holger Breitling, Carola Lilienthal, Martin Lippert
External Validation of a Metrics-Based Quality Assessment of the JWAM Framework
In: Reiner Dumke, Dieter Rombach (Hrsg.): Software-Messung und -Bewertung. Tagungsband Workshop der GI-Fachgruppe 2.1.10. vom 10./11. September 2001 an der Universität Kaiserslautern, Seiten 32 - 49, Aus der Reihe: Information Engineering und IV-Controlling, Deutscher Universitätsverlag, Wiesbaden 2002, ISBN 3-8244-7592-8, Seiten 32-49
Gesellschaft für Informatik e.V., Fachgruppe Metriken (2.1.10), Software-Messung und -Bewertung
2002[05] UBICO
Frank Simon, Claus Lewerentz, Walter Bischofberger
Software Quality Assessments for System, Architecture, Design and Code
In: Dirk Meyerhoff, Begoña Laibarra, Rob van der Pouw Kraan, Alan Wallet (Eds.): Software Quality and Software Testing in Internet Times. pages 230-249, Springer-Verlag, 2002, ISBN 3-540-42632-9
2002[06] UBICO
Publikationen aus dem Jahr 2001
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
Dirk Beyer
Improvements in BDD-based Reachability Analysis of Timed Automata
In: Jose Nuno Oliveira and Pamela Zave (editors): FME 2001: Formal Methods for Increasing Software Productivity. International Symposium of Formal Methods Europe, Berlin, Gemany, March 12-16, 2001 Proceddings.(FME 2001) LNCS 2021, pages 318-343, Springer-Verlag, 2001, ISBN 3-540-41791-5
2001[02] 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
Rabbit: Verification of Real-Time Systems
In: Paul Pettersson and Sergio Yovine (editors): Proceedings of the Workshop on Real-Time Tools (RT-TOOLS 2001, August 20, Aalborg, Denmark), pages 13-21, Uppsala, 2001.
Abstract
2001[04]
Dirk Beyer
Efficient Reachability Analysis and Refinement Checking of Timed Automata using BDDs
In: Tiziana Margaria and Tom Melham (Eds.): Correct Hardware Design and Verification Methods. 11th IFIP WG 10.5 Advanced Research Working Conference (CHARME 2001, Livingston), Scotland, UK, September 4 - 7, 2001, Proceedings, LNCS 2144, pages 86-91, Springer-Verlag, 2001, ISBN 3-540-42541-1
2001[05] UBICO
Dirk Beyer, Andy Heinig
Different Strategies for BDD-based Reachability Analysis of Timed Automata
In Charles Rattray, Miroslav Sveda and Jerzy Rozenblit (editors): Proceedings of the 2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 2001), pages 89-98, Stirling, 2001
Abstract
2001[06] UBICO
Dirk Beyer, Claus Lewerentz, Frank Simon
Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object Oriented Systems
In: Reiner Dumke and Alain Abran (editors): New Approaches in Software Measurement. 10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000. Proceedings of the 10th International Workshop on Software Measurement. LNCS 2006, pages 1-17, Springer-Verlag, 2001
2001[07] UBICO
Dirk Beyer, Andreas Noack
Efficient Verification of Timed Automata using BDDs
In Stefania Gnesi, Ulrich Ultes-Nitsche (editors): Proceedings of the 6th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001), 16-17 July, Paris, pages 95-113, INRIA, Paris, 2001
2001[08] UBICO
Dirk Beyer, Heinrich Rust
Cottbus Timed Automata: Formal Definition and Semantics
In Charles Rattray, Miroslav Sveda and Jerzy Rozenblit (editors): Proceedings of the 2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 2001), pages 75 - 87, Stirling, 2001
Abstract
Full Version
2001[09]
Claus Lewerentz, Heinrich Rust
Die Rolle der Reflexion in Software-Praktika
In: Horst Lichter, Martin Glinz (Hrsg.): Software-Engineering im Unterricht der Hochschulen - SEUH 7. Proceedings des 7. Workshops, 22. - 23. Februar 2001, Zürich, pp. 73-88, dpunkt-Verlag, Heidelberg, 2001, ISBN 3-89864-106-6
2001[10] UBICO
Claus Lewerentz, Heinrich Rust
Software-Ingenieure als kompetente Teamworker
Softwaretechnik-Trends, Band 21, Heft 1, S. 30-35, Februar 2001, ISSN 0720-8928
2001[11] UBICO
Heinrich Rust, Claus Lewerentz
A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects
In Althoff, Feldmann, Müller (Eds). Advances in Learning Software Organizations, Third International Workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001. Proceedings. LNCS 2176, pp 135-149, Springer-Verlag Heidelberg, 2001, ISBN 3-540-42574-8
2001[12] UBICO
Frank Simon
Meßwertbasierte Qualitätssicherung - ein generisches Distanzmaß zur Erweiterung bisheriger Softwareproduktmaße
Dissertation, BTU Cottbus, 2001
2001[13]
Frank Simon, Frank Steinbrückner, Claus Lewerentz
Anpaßbare, explorierbare virtuelle Informationsräume zur Qualitätsbewertung großer Software-Systeme
In: Jürgen Ebert, Bernt Kullbach, Franz Lehner (Eds.) 3. Workshop Software Reengineering (Bad Honnef, 10./11. Mai 2001) Universität Koblenz-Landau, Fachberichte Informatik, I-2002
2001[14] UBICO
Frank Simon, Frank Steinbrückner, Claus Lewerentz
Metrics Based Refactoring
In: Pedro Sousa, Jürgen Ebert (Eds): Proceedings of the Fifth Conference on Software Maintenance and Reengineering,
CSMR 2001, 14-16 March 2001, Lisbon, Portugal, IEEE Computer Society, 2001, pages 30 - 38, ISBN 0-7695-1028-0
2001[15] UBICO
Publikationen aus dem Jahr 2000
Dirk Beyer, Claus Lewerentz, Heinrich Rust
Modelling and Analysing a Railroad Crossing in a Modular Way
In: Stefania Gnesi, Ina Schieferdecker, Axel Rennoch (Editors): 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems. Proceedings of FMICS'2000, pages 287-303, Berlin, April 3-4, 2000, ISSN 1435-2702
Abstract
2000[01]
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
2000[02]
Dirk Beyer, Andreas Noack
BDD-basierte Verifikation von Realzeit-Systemen
In: Jens Grabowski, Stefan Heymer (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme (FBT'00), 10. GI/ITC- Fachgespräch, Lübeck, 22.-23. Juni 2000, Seiten 79 - 89, Shaker Verlag, Aachen, June 2000, ISBN 3-8265-7491-5
Abstract
2000[03] UBICO
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, Heinrich Rust
Modular Modelling and Verification with Cottbus Timed Automata
In Charles Rattray, Miroslav Sveda (Eds.): Proceedings of the 1st IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS) 2000, pages 17 - 24, University of Stirling, Edinburgh, Scotland, April 6 - 7, 2000
Abstract
2000[05]
Dirk Beyer, Heinrich Rust
A Tool for Modular Modelling and Verification of Hybrid Systems
In: Alfons Crespo, Joan Vila (Editors): Real-Time Programming 2000. A Proceedings Volume from the 25th IFAC Workshop, Palma, Spain, 17-19 May 2000. (WRTP 2000), pages 169-174, ISBN 9780080436869
Abstract
2000[06]
Claus Lewerentz
Information und Kommunikation im Krankenhaus der Zukunft
In: Kuckelt, Hankeln (Hrsg.): Journal für Anästhesie und Intensivbehandlung. Abstracts des 10. Internationalen Symposiums für Intensivmedizin und Intensivpflege, Bremen 16.-18.02.2000. 7. Jahrgang, 1. Ausgabe/2000, pp. 116 - 118, Pabst Science Publishers, Lengerich, 2000
Homepage "Journal für Anästhesie und Intensivbehandlung"
Abstract
2000[07]
Claus Lewerentz, Heinrich Rust
Are Software Engineers True Engineers?
Annals of Software Engineering, Vol. 10, November 2000, pp.311 - 328, Baltzer Science Publishers, Bussum, 2000
SpringerLink - Zeitschriftenbeitrag
2000[08]
Heinrich Rust
Hybrid Abstract State Machines: Using the Hyperreals for Describing Continuous Changes in a Discrete Notation
In: Yuri Gurevich, Phillip W. Kutter, Martin Odersky, Lothar Thiele (Eds.): Abstract State Machines - Theory and Applications. International Workshop, ASM 2000 Monte Verità, Switzerland, March 19-24, 2000, Proceedings, ETH Zürich, Springer-Verlag, LNCS 1912, ISBN 3-540-67959-6
2000[09]
Heinrich Rust
Modelling the Generalized Railway Crossing with Hybrid Abstract State Machines
In: Eckehard Schnieder, Uwe Becker (Eds.): 9th IFAC Symposium Control in Transportantion Systems 2000, Proceedings Vol.2, pages 281 - 288, June 13-15, 2000, Braunschweig/Germany
Abstract
2000[10]
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]
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]
Frank Simon, Claus Lewerentz, Frank Steinbrückner
Multidimensionale Mess- und Strukturbasierte Softwarevisualisierung
In: Jürgen Ebert (Hrsg.): 2. Workshop Software Reeingineering (WSR 2000), Bad Honnef, 11./12. Mai 2000, Universität Koblenz-Landau, Fachberichte Informatik 8/2000, Mai 2000
2000[13]
Frank Simon, Silvio Löffler
Semiautomatische, kohäsionsbasierte Subsystembildung
In: Reiner Dumke, Franz Lehner (Hrsg): Software-Metriken: Entwicklungen, Werkzeuge und Anwendungsverfahren. Seiten 153-170, Gabler Edition Wissenschaft, DUV, 2000, ISBN 3-8244-7120-5, Workshop, 30.09. - 01.10.1999, Regensburg
HA00-013 2000[14]
Frank Simon, Heinrich Rust, Claus Lewerentz
Quality - Metrics - Numbers - Consequences: Lessons learned
In: Reiner Dumke, Franz Lehner (Hrsg): Software-Metriken: Entwicklungen, Werkzeuge und Anwendungsverfahren, Seiten 51-70, Gabler Edition Wissenschaft, DUV, 2000, ISBN 3-8244-7120-5, Workshop, 30.09. - 01.10.1999, Regensburg
HA00-013 2000[15]
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
2000[16]
Publikationen aus dem Jahr 1999
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]
Dirk Beyer, Heinrich Rust
Concepts of Cottbus Timed Automata
In: Katharina Spies and Bernhard Schätz (editors): Formale Beschreibungstechniken für verteilte Systeme (FBT'99), 9. GI/ITG Fachgespräch, München, 17.-18. Juni 1999, Herbert Utz Verlag, pages 27-34, ISBN 3-89675-918-3
1999[02]
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
1999[03]
Gerd Köhler, Heinrich Rust, Frank Simon
Softwaresichten: Eine Quellcode-Abstraktion zum Programmverstehen
In Proceedings zum Workshop Software-Reengineering in Bad Honnef, 27. bis 28. Mai 1999, erschienen als Fachbericht Informatik an der Universität Koblenz-Landau, 7/99
1999[04]
Claus Lewerentz, Heinrich Rust
Normed Dinosaurs in a Creative Chaos? Software Development as Controlled Learning Process
Proceedings KnowTech '99, 16.-18. September 1999, Potsdam
1999[05]
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
1999[06]
Frank Simon, Gerd Köhler, Heinrich Rust
Understanding object oriented software systems without source code inspection
In: ECOOP '99 Workshop on Experiences in Object-Oriented Reengineering, 15.06.1999 in Lissabon/Portugal, FZI-Karlsruhe, FZI-Report 2-6-6/99, 1999
Workshop "Experiences in Reengineering"
HA 99-001 / 1999[07]
Frank Simon, Silvio Löffler
Semiautomatische, kohäsionsbasierte Subsystembildung
In: Proceedings of 9. Workshop of GI-working group "Software-Metrics", 30.09. to 01.10.1999, Regensburg
1999[08]
Frank Simon, Silvio Löffler, Claus Lewerentz
Distance based cohesion measuring
In: Proceedings of the 2nd European Software Measurement Conference (FESMA) 99, 4. - 8. October 1999 in Amsterdam, Technologisch Instituut Amsterdam, ISBN 90-76019-07-X, 1999
1999[09]
Frank Simon, Heinrich Rust, Claus Lewerentz
Quality - Metrics - Numbers - Consequences: Lessons learned
In: Proceedings of 9. Workshop of GI-working group "Software-Metrics", 30.09. to 01.10.1999, Regensburg
1999[10]
Publikationen aus dem Jahr 1998
Dirk Beyer, Heinrich Rust
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
In: Hartmut König and Peter Langendörfer (Eds.): Formale Beschreibungstechniken für Verteilte Systeme (FBT '98), 8. GI/ITG-Fachgespräch 1998, Cottbus, 4. und 5. Juni 1998, pages 148-159, Berichte aus der Informatik, Shaker Verlag, Aachen, June 1998, ISBN 3-8265-3807-2
1998[01]
Hans-Ulrich Kobialka
Implementing Support for Software Processes in a Process-centered Software Engineering Environment
Dissertation, GMD Research Series, 1998, No. 15/1998, ISBN3-88457-339-X
1998[02]
Hans-Ulrich Kobialka, Claus Lewerentz
User Interfaces Supporting the Software Process
In: Volker Gruhn (Hrsg.): Software Process Technology, 6th European Workshop, EWSPT '98, Weybridge, UK, September 16-18, 1998, Proceedings, LNCS 1487, pages 60-74, Springer-Verlag, Heidelberg, 1998, ISBN 3-540-64956-5
1998[03]
Gerd Köhler, Heinrich Rust, Frank Simon
Assessment of Large Object Oriented Software Systems: A Metrics Based Process
In: W. Melo, S. Morasca, H. A. Sahraoui: Object-Oriented Product Metrics for Software Quality Assessment Workshop Proceedings, pages 16-23, ECOOP '98 Brüssel, Juli 1998, ISBN 2-921316-87-0 ( Crocodile)
Kurzfassungen beider Papiere (1998[06]) sind veröffentlicht in: Serge Demeyer, Jan Bosch (Hrsg.): Object-Oriented Technology. ECOOP'98 Workshop Reader, Lecture Notes in Computer Science, LNCS 1543, Seiten 250-251, Springer-Verlag, Heidelberg, 1998, ISBN 3-540-65460-7
1998[04]
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
1998[05]
Claus Lewerentz, Frank Simon
A product metrics tool integrated into a software development environment
In: W. Melo, S. Morasca, H. A. Sahraoui: Object-Oriented Product Metrics for Software Quality Assessment Workshop Proceedings, pages 36-41, ECOOP '98 Brüssel, Juli 1998, ISBN 2-921316-87-0 ( Crocodile)
Kurzfassungen beider Papiere (1998[04]) sind veröffentlicht in: Serge Demeyer, Jan Bosch (Hrsg.): Object-Oriented Technology. ECOOP'98 Workshop Reader, Lecture Notes in Computer Science, LNCS 1543, Seiten 255 - 258, Springer-Verlag, Heidelberg,1998, ISBN 3-540-65460-7
1998[06]
Heinrich Rust
A PVS Specification of an Invoicing System
In: Allemand, Attiogbé, Habrias (editors): Proceedings of International Workshop on Comparing Systems Specification Techniques, Nantes, France, March 1998, pages 51-65, ISBN 2-906082-29-5
HA 98-007 / 1998[07]
Heinrich Rust
Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns
In: Wolfgang Ehrenberger (editor): Computer Safety, Reliability and Security, SAFECOMP '98: 17th International Conference, Heidelberg, Germany, October 5-7, 1998, Proceedings, LNCS 1516, pages 32-44, Springer-Verlag, Berlin 1998, ISBN 3-540-65110-1
1998[08]
Publikationen aus dem Jahr 1997
Jürgen Ebert, Claus Lewerentz (Hrsg.)
Proceedings of the 8th Conference on Software Engineering Environments (SEE'97)
Cottbus, April 1997, 174 pp, IEEE Computer Society Press, Los Alamitos, California, 1997, ISBN 0-8186-8019-9
HA 97-016 / 1997[01]
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
HA 97-017 / 1997[02]
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
HA 97-018 / 1997[03]
Publikationen aus dem Jahr 1996
Karin Erni, Claus Lewerentz
Applying Design-Metrics to Object-Oriented Frameworks
In: Proceedings of the Third International Software Metrics Symposium (METRICS '96) From Measurement to Empirical Results, March 25-26, 1996, Berlin, Germany 1996, pages 64-74, IEEE Computer Society Press, Los Alamitos, California, 1996, ISBN 0-8186-7364-8
HA 96-016 / 1996[01]
Claus Lewerentz
Mehrwert Information - Über die Informatisierung der Gesellschaft
In: Klaus Henning, Joerg E. Staufenbiel: Berufsplanung für Ingenieure mit Stellenangeboten für Jungingenieure und Informatiker von 70 Unternehmen, Seiten 269-273. 11. Auflage, Institut für Berufs- und Ausbildungsplanung Köln GmbH, Köln 1996, ISBN 3-922132-05-7
1996[02]
Publikationen aus dem Jahr 1995
Claus Lewerentz, Thomas Lindner
Introduction
In: Claus Lewerentz, Thomas Lindner (Eds.): Formal Development of Reactive Systems, LNCS 891, pages 1-6, Springer- Verlag, Berlin, Heidelberg, 1995, ISBN 3-540-58867-1
HA 95-017,024 / 1995[01]
Claus Lewerentz, Thomas Lindner
Comparative Survey. Summary and Evaluation of the Case Study "Production Cell''
In: Claus Lewerentz, Thomas Lindner (Eds.): Formal Development of Reactive Systems, LNCS 891, pages 21-54, Springer- Verlag, Berlin, Heidelberg, 1995, ISBN 3-540-58867-1
HA 95-017,024 / 1995[02]
Claus Lewerentz, Thomas Lindner (Eds.)
Formal Development of Reactive Systems. Case Study Production Cell
LNCS 891, Springer-Verlag, Berlin, Heidelberg, 1995, ISBN 3-540-58867-1
HA 95-017,024 / 1995[03]
Claus Lewerentz, Thomas Batz
Erfahrungen beim Bau komplexer Software- Entwicklungsumgebungen -- Bericht über das STONE-Projekt
In: Informatik -- Forschung und Entwicklung, Volume 10, Number 2, Seiten 107-109, Mai 1995, Springer-Verlag
1995[04]
Claus Lewerentz, Thomas Lindner, Andreas Rüping, Emil Sekerinski
On Object- Oriented Design and Verification
In: Manfred Broy, Stefan Jähnichen (Eds.): KORSO: Methods, Languages and Tools for the Construction of Correct Software, LNCS 1009, pages 92-111, Springer-Verlag, Berlin, Heidelberg, 1995, ISBN 3-540-60589-4
HA 95-016 / 1995[05]
Claus Lewerentz, Thomas Lindner
Case Study "Production Cell'': A Comparative Study in Formal Specification and Verification
In: Manfred Broy, Stefan Jähnichen (Eds.): KORSO: Methods, Languages, and Tools for the Construction of Correct Software, LNCS 1009, pages 388-416, Springer-Verlag, Berlin, Heidelberg, 1995, ISBN 3-540-60589-4
HA 95-016 / 1995[06]
Claus Lewerentz, Thomas Lindner
Formal Methods for Reactive Systems
Tutorial Notes, 1st International Conference on Engineering Complex Computer Systems, 52 Seiten, Fort Lauderdale, November 1995
HA 95-015 / 1995[07]