Backlinks to Grace in Groups/Elvis Web (Search all webs)

Results from Groups/Elvis web retrieved at 20:19 (Local)

DiaryOfRashiNa
__Feb March2011__ * Teaching COMP102: Intro to Program Design in T1 * Awaiting thesis reviews anxiously * Working on a journal paper and another article ...
r85 - 29 Mar 2011 - 14:28 by craig
GraceProgrammingLanguage
Grace Programming Language The Grace Programming Language is a new language for teaching programming to undergraduate students. Numerous people at Victoria are wo...
r5 - 22 May 2013 - 12:38 by craig
GraceProgrammingLanguageSeminar
JamesNoble gave a seminar on Grace: a new object oriented educational programming language.
NEW - 15 Feb 2012 - 13:16 by craig
People
People Academic Staff Staff Member Research Interests Teaching Person:LindsayGroves Formal Software Development COMP 425 Computational Logi...
r104 - 06 Aug 2014 - 17:30 by craig
PreviousEntries2008
Decem ber 2008 * Meeting: discussed data, paper topics * Papers: thinking about possible paper topics based on data * CODING: almost done for one group...
r2 - 10 Jun 2009 - 18:59 by rashina
SPLASH2011
At SPLASH 2011 we have the following: Doctoral Symposium * Cloning in Ownership. PaleyLi * Generic Ownership: The Case of Java Collections. AhmedKhal...
NEW - 25 Oct 2011 - 14:34 by craig
SubGroups
SubGroups Subscribe to the Elvis mailing list to find out more about our meetings and ongoings in the group, see JoiningElvis . We meet in smaller sub groups. ...
r25 - 22 May 2013 - 12:39 by craig
TimothyJones
Tim was a summer research student 2010/2011 working with DavidPearce on translating Whiley to JavaScript and a summer student 2011/2012 working with ...
r3 - 12 Mar 2012 - 15:32 by craig
WebHome
ELVIS: Software Engineering Research Group Welcome to Elvis, the software engineering research group in the School of Engineering and Computer Science at Victoria...
r77 - 28 Oct 2014 - 12:50 by alex
WebLeftBar
* Content * * * * * * * * * * * * * SubGroups * * * *
r33 - 22 May 2013 - 12:42 by craig
Number of topics: 10
Go to the Main Wiki page