Bücher entstanden am Lehrstuhl unter Prof. Dr. rer. nat. Claus Lewerentz
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)