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]
FLATTENING INHERITANCE STRUCTURES - OR - GETTING THE RIGHT PICTURE OF LARGE OO-SYSTEMS
Dirk Beyer, Claus Lewerentz and Frank Simon
Software Systems Engineering Research Group
Technical University Cottbus, Germany
Computer Science Reports I-12/2000, November 2000
E-mail: (db|cl|simon)@informatik.tu-cottbus.de
Abstract. More and more software systems are developed using the object oriented paradigm. Thus, large systems contain inheritance structures to provide a flexible and re-usable design and to allow for polymorphic method calls. This paper gives a detailed overview about the impact of using inheritance on measuring, understanding and using subclasses in such class systems. Usually, considering classes within an inheritance relation is reduced to the consideration of locally defined members of a class. This view might be incomplete or even misleading in some use cases. To provide an additional view on a given system we define a tool-supported flattening process which transforms an inheritance structure to a representation in which all the inherited members are explicit in each subclass. This representation provides additional insights for measuring, understanding, and developing large software systems.
Abstract 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]