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 |
| Publishing Institution: | Universität Augsburg |
| 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 |
