Publikationen aus dem Jahr 1998
Dirk Beyer, Heinrich Rust
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
In: Hartmut König and Peter Langendörfer (Eds.): Formale Beschreibungstechniken für Verteilte Systeme (FBT '98), 8. GI/ITG-Fachgespräch 1998, Cottbus, 4. und 5. Juni 1998, pages 148-159, Berichte aus der Informatik, Shaker Verlag, Aachen, June 1998, ISBN 3-8265-3807-2
1998[01]
Hans-Ulrich Kobialka
Implementing Support for Software Processes in a Process-centered Software Engineering Environment
Dissertation, GMD Research Series, 1998, No. 15/1998, ISBN3-88457-339-X
1998[02]
Hans-Ulrich Kobialka, Claus Lewerentz
User Interfaces Supporting the Software Process
In: Volker Gruhn (Hrsg.): Software Process Technology, 6th European Workshop, EWSPT '98, Weybridge, UK, September 16-18, 1998, Proceedings, LNCS 1487, pages 60-74, Springer-Verlag, Heidelberg, 1998, ISBN 3-540-64956-5
1998[03]
Gerd Köhler, Heinrich Rust, Frank Simon
Assessment of Large Object Oriented Software Systems: A Metrics Based Process
In: W. Melo, S. Morasca, H. A. Sahraoui: Object-Oriented Product Metrics for Software Quality Assessment Workshop Proceedings, pages 16-23, ECOOP '98 Brüssel, Juli 1998, ISBN 2-921316-87-0 (
Crocodile)
Kurzfassungen beider Papiere (1998[06]) sind veröffentlicht in: Serge Demeyer, Jan Bosch (Hrsg.): Object-Oriented Technology. ECOOP'98 Workshop Reader, Lecture Notes in Computer Science, LNCS 1543, Seiten 250-251, Springer-Verlag, Heidelberg, 1998, ISBN 3-540-65460-7
1998[04]
Claus Lewerentz, Heinrich Rust
Are Software Engineers True Engineers?
Technical Report No. I-12/1998, Computer Science Department, Brandenburg Technical University at Cottbus, December 1998
1998[05]
Claus Lewerentz, Frank Simon
A product metrics tool integrated into a software development environment
In: W. Melo, S. Morasca, H. A. Sahraoui: Object-Oriented Product Metrics for Software Quality Assessment Workshop Proceedings, pages 36-41, ECOOP '98 Brüssel, Juli 1998, ISBN 2-921316-87-0 ( Crocodile)
Kurzfassungen beider Papiere (1998[04]) sind veröffentlicht in: Serge Demeyer, Jan Bosch (Hrsg.): Object-Oriented Technology. ECOOP'98 Workshop Reader, Lecture Notes in Computer Science, LNCS 1543, Seiten 255 - 258, Springer-Verlag, Heidelberg,1998, ISBN 3-540-65460-7
1998[06]
Heinrich Rust
A PVS Specification of an Invoicing System
In: Allemand, Attiogbé, Habrias (editors): Proceedings of International Workshop on Comparing Systems Specification Techniques, Nantes, France, March 1998, pages 51-65, ISBN 2-906082-29-5
HA 98-007 / 1998[07]
A PVS Specification of an Invoicing System
Heinrich Rust
Lehrstuhl Software-Systemtechnik
BTU Cottbus
Abstract. We present a PVS specification of an invoicing system. We use PVS's features to structure the specification, to define types and operations on them. We put special emphasis on PVS's capabilities to add information to a specification meant to be redundant, and to check that this information for consistency. We heavily use the possibility to define the type of some argument to a function depending on values of other arguments to the function, and to let the system automatically generate lemmas to be proved for checking consistency of function declaration and usage. PVS is found to be helpful because of the automatic support for doing proofs.
Abstract 1998[07]
Heinrich Rust
Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns
In: Wolfgang Ehrenberger (editor): Computer Safety, Reliability and Security, SAFECOMP '98: 17th International Conference, Heidelberg, Germany, October 5-7, 1998, Proceedings, LNCS 1516, pages 32-44, Springer-Verlag, Berlin 1998, ISBN 3-540-65110-1
1998[08]