Agile development spikes applied to computer science education | IEEE Conference Publication | IEEE Xplore