Jean-Raymond Abrial - Jean-Raymond Abrial

Jean-Raymond Abrial (nascido em 1938) é um francês cientista da computação e inventor dos Z e B métodos formais .

J.-R. Abrial é o pai da notação Z (normalmente usada para especificação formal de software), durante seu tempo no Grupo de Pesquisa de Programação do Laboratório de Computação da Universidade de Oxford (agora Departamento de Ciência da Computação da Universidade de Oxford ), e posteriormente do Método B (normalmente usado para desenvolvimento de software), dois métodos formais principais para engenharia de software . Ele é o autor de The B-Book: Assigning Programs to Meanings . Durante grande parte de sua carreira, ele foi um consultor independente, tanto em casa trabalhando com a indústria quanto na academia. Posteriormente, ele se tornou professor na ETH Zurique, na Suíça .

Referências

links externos