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)
Link zu einer externen Seite 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
Link zu einer externen Seite 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.
Link zu einer externen Seite www
Link zu einer externen Seite 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
Link zu einer externen Seite 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
Link zu einer externen Seite 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]