@inproceedings{LewerentzSimon, author = {Lewerentz, Claus and Simon, Frank}, title = {Metrics-based 3D Visualization of Large Object-Oriented Programs}, abstract = {In this paper a new approach for a metrics based software visualization is presented which supports an efficient and effective quality assessment of large object-oriented software systems. It is based on the combination of software metrics data with structure information to form a virtual information space. This information space is visualized using 3D graph structures that allow to represent in a uniform way many aspects and views on it. The layout approach for these graphs uses a generic similarity measure to calculate geometric distances between the graph nodes and a force-directed mapping into 3D space. A particular strength of the approach is that the resulting geometrical structures can be well interpreted with respect to the architecture and design quality of the analysed software. Such 3D visualizations have been used successfully in several case studies for the quality assessment of industrial C++/Java projects.}, language = {en} } @phdthesis{Beyer, author = {Beyer, Dirk}, title = {Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-000000258}, language = {de} } @inproceedings{SimonSteinbruecknerLewerentz, author = {Simon, Frank and Steinbr{\"u}ckner, Frank and Lewerentz, Claus}, title = {Anpaßbare, explorierbare virtuelle Informationsr{\"a}ume zur Qualit{\"a}tsbewertung großer Software-Systeme}, series = {3. Workshop Software Reengineering, Bad Honnef, 10./11. Mai 2001}, booktitle = {3. Workshop Software Reengineering, Bad Honnef, 10./11. Mai 2001}, publisher = {Univ., Inst. f{\"u}r Informatik}, address = {Koblenz-Landau}, language = {de} } @inproceedings{BeyerHeinig, author = {Beyer, Dirk and Heinig, Andy}, title = {Different Strategies for BDD-based Reachability Analysis of Timed Automata}, series = {Proceedings of the 2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 2001)}, booktitle = {Proceedings of the 2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 2001)}, editor = {Rozenblit, Jerzy and Sveda, Miroslav and Rattray, Charles}, address = {Stirling}, pages = {89 -- 98}, language = {en} } @inproceedings{BeyerLewerentzSimon, author = {Beyer, Dirk and Lewerentz, Claus and Simon, Frank}, title = {Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object Oriented Systems}, series = {New approaches in software measurement, 10th international workshop, proceedings, IWSM 2000, Berlin, Germany, October 4 - 6, 2000}, booktitle = {New approaches in software measurement, 10th international workshop, proceedings, IWSM 2000, Berlin, Germany, October 4 - 6, 2000}, editor = {Abran, Alain and Dumke, Reiner}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-41727-3}, pages = {1 -- 17}, language = {en} } @inproceedings{BeyerNoack, author = {Beyer, Dirk and Noack, Andreas}, title = {Efficient Verification of Timed Automata using BDDs}, series = {FMICS 2001, Formal methods for industrial critical systems, proceedings, International workshop on formal methods for industrial critical systems 6, 16 - 17 July 2001, Paris}, booktitle = {FMICS 2001, Formal methods for industrial critical systems, proceedings, International workshop on formal methods for industrial critical systems 6, 16 - 17 July 2001, Paris}, editor = {Ultes-Nitsche, Ulrich and Gnesi, Stefania}, publisher = {INRIA}, address = {Rocquencourt}, isbn = {2-7261-1187-4}, pages = {95 -- 113}, language = {en} } @inproceedings{BeyerRust, author = {Beyer, Dirk and Rust, Heinrich}, title = {Timed Automata Formal Definition and Semantics}, series = {Joint Workshop on Formal Specification of Computer-Based Systems, Washington DC, USA, April 20, 2001}, booktitle = {Joint Workshop on Formal Specification of Computer-Based Systems, Washington DC, USA, April 20, 2001}, editor = {Rattray, Charles and Sveda, Miroslav and Rozenblit, Jerzy}, publisher = {University of Stirling, Dept. of Computing Science and}, address = {Stirling}, pages = {75 -- 87}, language = {en} } @inproceedings{Beyer, author = {Beyer, Dirk}, title = {Efficient Reachability Analysis and Refinement Checking of Timed Automata using BDDs}, series = {Correct hardware design and verification methods, 11th IFIP WG 10.5 advanced research working conference, proceedings, CHARME 2001, Livingston, Scotland, UK, September 4 - 7, 2001}, booktitle = {Correct hardware design and verification methods, 11th IFIP WG 10.5 advanced research working conference, proceedings, CHARME 2001, Livingston, Scotland, UK, September 4 - 7, 2001}, editor = {Margaria, Tiziana and Melham, Tom}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-42541-1}, pages = {86 -- 91}, language = {en} } @inproceedings{Beyer, author = {Beyer, Dirk}, title = {Improvements in BDD-based Reachability Analysis of Timed Automata}, series = {Formal methods for increasing software productivity, proceedings, FME 2001, International Symposium of Formal Methods Europe, Berlin, Germany, March 12 - 16, 2001}, booktitle = {Formal methods for increasing software productivity, proceedings, FME 2001, International Symposium of Formal Methods Europe, Berlin, Germany, March 12 - 16, 2001}, editor = {Zave, Pamela and Oliveira, Jos{\´e} Nuno}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-41791-5}, pages = {318 -- 343}, language = {en} } @inproceedings{LewerentzRust, author = {Lewerentz, Claus and Rust, Heinrich}, title = {Die Rolle der Reflexion in Software-Praktika}, series = {Software Engineering im Unterricht der Hochschulen, SEUH 7, Z{\"u}rich 2001}, booktitle = {Software Engineering im Unterricht der Hochschulen, SEUH 7, Z{\"u}rich 2001}, editor = {Lichter, Horst and Glinz, Martin}, publisher = {dpunkt-Verlag}, address = {Heidelberg}, isbn = {3-89864-106-6}, pages = {73 -- 88}, language = {de} }