El documento presenta una guía para el desarrollo de un proyecto de especificaciones de software. Explica conceptos clave como requisitos funcionales y no funcionales, y diferentes técnicas para documentar los requisitos como formales, informales y semiformales. Además, propone un juego de roles para que los estudiantes apliquen estas técnicas en la identificación y documentación de requisitos para un proyecto de software.