Presentación del Proyecto Ontología para la Comparación de diferentes metodologías y herramientas para la especificación de requerimientos con el fin de determinar un esquema conceptual sobre un dominio de aplicación determinado: Máquinas Abstractas y las Gramáticas formales.