Generating Rewrite Theories from UML Collaborations
Author: | Alexander KnappORCiDGND |
---|---|
Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/45267 |
ISBN: | 9780444505569OPAC |
Parent Title (English): | CAFE: An Industrial-Strength Algebraic Formal Method |
Publisher: | Elsevier |
Place of publication: | Amsterdam [u.a.] |
Editor: | K. Futatsugi, A.T. Nakagawa, T. Tamai |
Type: | Part of a Book |
Language: | English |
Year of first Publication: | 2000 |
Release Date: | 2018/12/17 |
First Page: | 97 |
Last Page: | 120 |
DOI: | https://doi.org/10.1016/b978-044450556-9/50065-4 |
Institutes: | Fakultät für Angewandte Informatik |
Fakultät für Angewandte Informatik / Institut für Informatik | |
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering | |
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik | |
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Professur für die Grundlagen des Software & Systems Engineering |