A formal experiment comparing extreme programming with traditional software construction | IEEE Conference Publication | IEEE Xplore