Publikationen aus dem Jahr 1999
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]
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]
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]
Modelling a Production Cell Component as a Hybrid Automaton: A Case Study
Heinrich Rust
Lehrstuhl für Software-Systemtechnik, BTU Cottbus
Abstract. HyTech, a system to model and analyse linear hybrid systems, is used to model a belt component of a production cell. A strategy is demonstrated for building a model for both the physical components of the belt and its control program, and for proving some properties about the system modeled. On the basis of the experiences of the case study, several concepts for hybrid specification languages are developed which would allow a more convenient modeling of hybrid systems.
Abstract 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]