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]
A Formalism for Modular Modelling of Hybrid Systems
Dirk Beyer and Heinrich Rust
Lehrstuhl Software-Systemtechnik, BTU Cottbus
Computer Science Reports 10/99, October 1999
Abstract. We present a formalism for modular modelling of hybrid systems, the Cottbus Timed Automata. For the theoretical basis, we build on work about timed and hybrid automata. We use concepts from concurrency theory to model communication of separately defined modules, but we extend these concepts to be able to express explicitly read- and write-access to signals and variables.
Abstract 1999[01]
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]
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]