Esta dissertação apresenta a macrometodologia MINO OFB, composta de módulos para controle de projetos, especificação e projeto de Sistemas de Informação. A metodologia para especificação, denominada REMORA é apresentada com mais detalhes e uma ferramenta de apoio ao uso dessa metodologia foi desenvolvida. A ferramenta, denominada MIND AID, foi escrita em Prolog e apresenta facilidades para a especificação de um sistema em REMORA, análises de consistência da base de dados que representa o sistema, bem como vários relatórios para apoio na fase de especificação e nas fases do ciclo de vida.

Here are shown the macromethodology MINO-8F8 which is the integration of three methodologies and the methodology REMORA which is one of those three methodologies. Afterwards Is given a description of a CASE called MIND AID, proposed to help the designer using the methodology REMORA. This CASE, composed of 11 modules and written In Prolog, permits a coherent specification the model's elements and reporte generation.