( en | de | ru )

 

Disambiguierung von "Reeve, Greg"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
mu-Charts and Z: examples and extensions.

, und . APSEC, Seite 258-. IEEE Computer Society, (2000)

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.

Greg Breinholt

Julia Reeve

Galen Reeves

Greg Little

Greg Ross

 

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)A refinement theory for ^I¼-charts. The University of Waikato, NZ, (2005)^I¼-Charts and Z: Hows, Whys, and Wherefores, und . (2000a)µ-Chart-Based Specification and Refinement., , und . ICFEM, Volume 2495 von Lecture Notes in Computer Science, Seite 323-334. Springer, (2002)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)