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

Improving Software using Requirements Formalisation.. New Zealand Computer Science Research Students' Conference, Seite 70-77. University of Waikato, (1999)μ-Charts and Z: Hows, Whys, and Wherefores, und . (2000a)Logic and refinement for charts, und . ACSC '06: Proceedings of the 29th Australasian Computer Science Conference, Seite 13--23. Darlinghurst, Australia, Australia, Australian Computer Society, Inc., (2006)mu-Charts and Z: Hows, Whys, and Wherefores., und . IFM, Volume 1945 von Lecture Notes in Computer Science, Seite 255-276. Springer, (2000)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)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)mu-Chart-Based Specification and Refinement, , und . (2002)