Add specification files for assignment