© Fachgebiet Softwaretechnik, Heinz Nixdorf Institut, Universität Paderborn 5. Model Checking Modellbasierte Softwareentwicklung 1 17.01.2013.
© Fachgebiet Softwaretechnik, Heinz Nixdorf Institut, Universität Paderborn 2.4 The Z Notation [Reference: M. Spivey: The Z Notation, Prentice Hall]
HEINZ NIXDORF INSTITUT. Overview What are Topic Maps? Graphical Visualizations for Topic Maps Establishing Asossiations by graphical means XML Tools in.
Software( technik ) praktikum SS 2013