Towards a formal specification of course structures

References

1

Callista.
Callista Student Management System for Higher Education.
http://www.callista.com.au.

2

Information Technology Services (ITS) Division, Monash University.
Course and Unit Publication & Information Database (CUPID).
http://www.its.monash.edu.au/projects/cupid/. (web site went offline in June 2005)

3

John Hurst.
The Monash Unit Description Avatar (MonAtar).
International Conference on Computers in Education (ICCE), December 2003.

4

Monash University.
Monash University Calendar.
http://www.monash.edu.au/pubs/calendar, 2005.

5

Monash University.
Undergraduate 2005.
Monash University, Clayton 3168, Victoria, Australia, 2005.

http://www.monash.edu.au/pubs/handbooks/undergrad/.

6

Monash University.
Postgraduate 2005.
Monash University, Clayton 3168, Victoria, Australia, 2005.

http://www.monash.edu.au/pubs/handbooks/postgrad/.

7

Monash University.
Off-Campus Distributed Learning 2005.
Monash University, Clayton 3168, Victoria, Australia, 2005.

http://www.monash.edu.au/pubs/handbooks/offcampus/ 

8

BLK-Modellvorhaben - Modularisierung von Informatik-Studiengaengen - Abschlußbericht. 2001.

(engl.: Modularization of Informatics course programs, Final Report)

http://www.informatik.uni-leipzig.de/theo/cps/absberV2H.pdf 

9

W3C T. Bray et.al. (ed.).
Extensible Markup Language (XML) 1.0, First Draft Version.
http://www.w3.org/TR/1998/REC-xml-19980210, November 1996.

10

W3C T. Bray et.al. (ed.).
Extensible Markup Language (XML) 1.0, Latest Version.
http://www.w3.org/TR/2004/REC-xml-20040204, February 2004.

11

E. Harold and W. Means.
XML in a Nutshell.
O'Reilly, July 2002.

12

Altova.
XMLSpy.
http://www.altova.com.

13

Daniel Veillard.
LIBXSLT.
http://xmlsoft.org/XSLT/.

14

Igor Zlatkovic.
LIBXSLT (for Microsoft Windows).
http://www.zlatkovic.com/libxml.en.html.

15

W.F. Clocksin and C.S. Mellish.
Programming in Prolog.
Springer-Verlag, Berlin, 3 edition, 1987.

16

L. Sterling and E. Shapiro.
The Art of Prolog Programming - Advanced Programming Techniques.
MIT-Press series in logic programming. The MIT-Press, Cambridge, MAssachusetts, 1986.

17

John F. Pane and Brad A. Myers.
Improving user performance on Boolean queries.
In CHI '00: CHI '00 extended abstracts on Human factors in computing systems.

18

Martin Gumhold.
SASy - Ein Studienassistenzsystem an der Universitaet Ulm, volume 1.
Fakultaet für Informatik, Universität Ulm, 2004.