Bücher

Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel (Eds.)

Graph Transformations and Model-Driven Engineering

Lecture Notes in Computer Science 5765, Springer-Verlag, November 2010 (ISBN 978-3-642-17321-9)
SpringerLink Buch
2010[02] UBICO

Frank Simon, Olaf Seng, Thomas Mohaupt
Code Quality Management.
Technische Qualität industrieller Softwaresysteme transparent und vergleichbar gemacht

Mai 2006, 357 Seiten, dpunkt.Verlag, ISBN-13: 978-389864-388-7
dpunkt.verlag - book
HA 06-005 / 2006[04]

Dirk Beyer
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Mensch & Buch Verlag, Berlin, ISBN 3-89820-450-2, 2002. Zugl. Dissertation, Brandenburgische Technische Universität Cottbus, 2002.
www
BTU Cottbus - FullVersion
2002[01] UBICO

Jürgen Ebert, Claus Lewerentz (Hrsg.)
Proceedings of the 8th Conference on Software Engineering Environments (SEE'97)
Cottbus, April 1997, 174 pp, IEEE Computer Society Press, Los Alamitos, California, 1997, ISBN 0-8186-8019-9
Publisher IEEE
HA 97-016 / 1997[01]

Claus Lewerentz, Thomas Lindner (Eds.)
Formal Development of Reactive Systems. Case Study Production Cell
LNCS 891, Springer-Verlag, Berlin, Heidelberg, 1995, ISBN 3-540-58867-1
SpringerLink-Buch
HA 95-017,024 / 1995[03]

Claus Lewerentz, Thomas Lindner (Editors)
Case Study "Production Cell". A Comparative Study in Formal Software Development
FZI-Publication 1/94, Forschungszentrum Informatik, Karlsruhe, ISSN 0944-3037
HA 118 (94-005)
1994[01]

Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Das Einverständnis in die Verwendung der technisch nicht notwendigen Cookies können Sie jeder Zeit wiederrufen. Weitere Informationen erhalten Sie auf unseren Seiten zum Datenschutz.

Erforderlich

Diese Cookies werden für eine reibungslose Funktion unserer Website benötigt.

Statistik

Für den Zweck der Statistik betreiben wir die Plattform Matomo, auf der mittels pseudonymisierter Daten von Websitenutzern der Nutzerfluss analysiert und beurteilt werden kann. Dies gibt uns die Möglichkeit Websiteinhalte zu optimieren.

Name Zweck Ablauf Typ Anbieter
_pk_id Wird verwendet, um ein paar Details über den Benutzer wie die eindeutige Besucher-ID zu speichern. 13 Monate HTML Matomo
_pk_ref Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern. 6 Monate HTML Matomo
_pk_ses Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern. 30 Minuten HTML Matomo