Este documento presenta una introducción a la ingeniería de requerimientos para el desarrollo de software. Define requerimientos, explica el proceso de ingeniería de requerimientos y clasifica los requerimientos en funcionales y no funcionales. Además, describe la especificación y documentación formal de requerimientos funcionales y no funcionales para guiar el desarrollo de software.