Uma Especificação Formal Orientada a Objetos de Redes Neurais Artificiais

Abstract

Este artigo apresenta uma especificação de redes neurais artificiais usando a linguagem MooZ. Por ser uma linguagem de especificação formal orientada a objetos, MooZ possibilita a elaboração de uma descrição gradual e precisa das propriedades de redes neurais, baseada na reusabilidade de definições. Reutilizando classes abstratas, subclasses são definidas a medida que novas características precisam ser incorporadas. A especificação produzida pode ser aplicada no processo de desenvolvimento de software para simulação de redes neurais.