Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Logic and refinement for charts., und . ACSC, Volume 48 von CRPIT, Seite 13-23. Australian Computer Society, (2006)Idioms for ^I¼-charts, , und . Seite 224--231. (2001)mu-Charts and Z: examples and extensions., und . APSEC, Seite 258-. IEEE Computer Society, (2000)mu-Charts and Z: Hows, Whys, and Wherefores., und . IFM, Volume 1945 von Lecture Notes in Computer Science, Seite 255-276. Springer, (2000)mu-Chart-Based Specification and Refinement, , und . (2002)Semantic properties of µ-charts, und . Seite 148--155. (2003)A Survey of Software Development Practices in the New Zealand Software Industry ., , , , und . Australian Software Engineering Conference, Seite 189-202. IEEE Computer Society, (2000)Idioms for mu-Chart., , und . Australian Software Engineering Conference, Seite 224-234. IEEE Computer Society, (2001)^I¼-Charts and Z: Hows, Whys, and Wherefores, und . (2000a)A refinement theory for ^I¼-charts. The University of Waikato, NZ, (2005)