TY - CHAP A1 - Lewerentz, Claus A1 - Simon, Frank T1 - Metrics-based 3D Visualization of Large Object-Oriented Programs N2 - 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. Y1 - 2002 ER - TY - THES A1 - Beyer, Dirk T1 - Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata KW - Formal Verification KW - Formal Method KW - Timed Automata KW - Reachability Analysis KW - BDD KW - Reactive Systems KW - Embedded Systems KW - Protocol Verification Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000258 UR - http://opus.kobv.de/btu/volltexte/2007/55/ ER - TY - CHAP A1 - Simon, Frank A1 - Steinbrückner, Frank A1 - Lewerentz, Claus T1 - Anpaßbare, explorierbare virtuelle Informationsräume zur Qualitätsbewertung großer Software-Systeme T2 - 3. Workshop Software Reengineering, Bad Honnef, 10./11. Mai 2001 Y1 - 2001 PB - Univ., Inst. für Informatik CY - Koblenz-Landau ER - TY - CHAP A1 - Beyer, Dirk A1 - Heinig, Andy ED - Rozenblit, Jerzy ED - Sveda, Miroslav ED - Rattray, Charles T1 - Different Strategies for BDD-based Reachability Analysis of Timed Automata T2 - Proceedings of the 2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 2001) Y1 - 2001 SP - 89 EP - 98 CY - Stirling ER - TY - CHAP A1 - Beyer, Dirk A1 - Lewerentz, Claus A1 - Simon, Frank ED - Abran, Alain ED - Dumke, Reiner T1 - Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object Oriented Systems T2 - New approaches in software measurement, 10th international workshop, proceedings, IWSM 2000, Berlin, Germany, October 4 - 6, 2000 Y1 - 2001 SN - 3-540-41727-3 SP - 1 EP - 17 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Beyer, Dirk A1 - Noack, Andreas ED - Ultes-Nitsche, Ulrich ED - Gnesi, Stefania T1 - Efficient Verification of Timed Automata using BDDs T2 - FMICS 2001, Formal methods for industrial critical systems, proceedings, International workshop on formal methods for industrial critical systems 6, 16 - 17 July 2001, Paris Y1 - 2001 SN - 2-7261-1187-4 SP - 95 EP - 113 PB - INRIA CY - Rocquencourt ER - TY - CHAP A1 - Beyer, Dirk A1 - Rust, Heinrich ED - Rattray, Charles ED - Sveda, Miroslav ED - Rozenblit, Jerzy T1 - Timed Automata Formal Definition and Semantics T2 - Joint Workshop on Formal Specification of Computer-Based Systems, Washington DC, USA, April 20, 2001 Y1 - 2001 SP - 75 EP - 87 PB - University of Stirling, Dept. of Computing Science and CY - Stirling ER - TY - CHAP A1 - Beyer, Dirk ED - Margaria, Tiziana ED - Melham, Tom T1 - Efficient Reachability Analysis and Refinement Checking of Timed Automata using BDDs T2 - 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 Y1 - 2001 SN - 3-540-42541-1 SP - 86 EP - 91 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Beyer, Dirk ED - Zave, Pamela ED - Oliveira, José Nuno T1 - Improvements in BDD-based Reachability Analysis of Timed Automata T2 - Formal methods for increasing software productivity, proceedings, FME 2001, International Symposium of Formal Methods Europe, Berlin, Germany, March 12 - 16, 2001 Y1 - 2001 SN - 3-540-41791-5 SP - 318 EP - 343 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Lewerentz, Claus A1 - Rust, Heinrich ED - Lichter, Horst ED - Glinz, Martin T1 - Die Rolle der Reflexion in Software-Praktika T2 - Software Engineering im Unterricht der Hochschulen, SEUH 7, Zürich 2001 Y1 - 2001 SN - 3-89864-106-6 SP - 73 EP - 88 PB - dpunkt-Verlag CY - Heidelberg ER -