Este artigo trata de especificações formais orientadas a objetos, presenteando una especificação de redes neurais artificiais na linguagem MooZ.O mecanismos de herança e o uso de una notação formal permitem uma definição gradual e precisa das propriedades  de redes neurais. A partir da reutilização de classes abstratas, subclasses são criadas à medida que características especificas de paradigmas de redes neurais precisam ser adicionadas. Especificações de classes de redes neurais podem ser reutilizadas na construção de aplicações, considerando o desenvolvimento modular de especificações possibilitado por MooZ. Inicialmente, e dada uma introdução com uma breve descrição de redes neurais e da linguagem MooZ. Em seguida, e apresentada uma especificação de redes neurais artificiais e, por fim conclusões sobre este trabalho.