Ian Darwin's Academic Writings

AnnaBot: A Static Verifier for Java Annotation Usage, in Advances in Software Engineering special issue on software testing.

AnnaBot: a static verifier for Java annotation usage (abstract only) in the International Symposium on Software Testing and Analysis, Proceedings of DEFECTS 2009, the 2nd International Workshop on Defects in Large Software Systems: Held in conjunction with the ACM SIGSOFT ISSTA 2009, Chicago, Illinois. Pages 21-21. ISBN 978-1-60558-654-0. (Slides, and more on AnnaBot, at AnnaBot.org).

PageUnit: A Little Language for Web Testing, 2006. Unpublished; submitted for partial credit towards the degree of Master of Science at Staffordshire University.

Java Web MVC Frameworks: Background, Taxonomy and Examples, 2004. Unpublished; submitted for partial credit towards the degree of Master of Science at Staffordshire University.

Academic Course Development: wrote the first version of CSC209H, Software Tools and Systems Programming (at the time entitled UNIX, Software Tools and C), Department of Computer Science, University of Toronto. Taught this course 1986/87 and 1987/88.

Invited speaker: Microcomputer Operating Systems Panel: UNIX, in ACM Proceedings of the 1983 Annual Conference on Computers: Extending the Human Resource, Page 140, 1983. ISBN:0-89791-120-2