Área de Engenharia de Software e Linguagens de Programação
O LinES foi criado em 1987 sob a liderança do Prof. Silvio Meira. O primeiro projeto do grupo foi a criação de ADRIS: Um Ambiente para Desenvolvimento Rigoroso de Software. O objetivo era a definição de um conjunto de métodos e técnicas de especificação formal e programação funcional, sustentado por um modelo semântico (lógico e denotacional, respectivamente) de suas linguagens, e por um sistema de gerenciamento de grandes projetos. O ADRIS serviu para integrar e unificar o esforço de pesquisa do LinES, servindo desta forma como um meta-projeto.
A linguagem de especificação formal do ADRIS, talhada para o desenvolvimento modular e incremental de grandes especificações, era Zc, a qual foi desenvolvida por Augusto Sampaio. Utilizando esta linguagem, Roberto Souto Maior especificou o sistema de controle acadêmico da UFPE. Este foi o primeiro sistema real de grande porte especificado no Brasil.
A outra linguagem do ADRIS era A, uma linguagem funcional modular, preguiçosa, de alta ordem e com processos como cidadãos de segunda classe. Esta linguagem foi desenvolvida por Silvio Meira.
O plano era que o apoio logístico ao processo de desenvolvimento oferecido pelo ADRIS, no que concerne à interação entre os vários documentos do sistema fosse dado por um sistema de hipertexto. Neste sentido, foi desenvolvido um sistema de hipertexto.
Dado o sucesso do paradigma de orientação a objetos no que diz respeito a reusabilidade de software, uma segunda extensão de Z foi projetada pelo grupo: MooZ. Esta linguagem é uma extensão conservativa de Z numa direção razoavelmente diferente da levada a cabo em Zc.
