Métodos formais
Os métodos formais são técnicas matemáticas para a especificação, desenvolvimento e verificação de sistemas de software. O uso de métodos formais para o desenvolvimento de software pode ser rastreado até os primeiros tempos da computação, quando os primeiros programas eram escritos em código assembly. No entanto, só nos anos 70 é que os métodos formais … Ler mais