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]