Informatik »
Lehrstühle »
Softwaretechnik und Programmiersprachen »
Software & Systems Engineering »
Veröffentlichungen »
Generating Rewrite Theories from UML Collaborations

Generating Rewrite Theories from UML Collaborations

Alexander Knapp

In: Kokichi Futatsugi, Ataru T. Nakagawa, Tetsuo Tamai (Hgg.). Cafe: An Industrial-Strength Algebraic Formal Method. Elsevier, Amsterdam-&c., 2000. S. 97-120

Suche

Kontakt

Generating Rewrite Theories from UML Collaborations

Links: