especificação formal

Uma especificação formal é uma descrição matemática de software ou de hardware que pode ser utilizada para desenvolver uma implementação dos mesmos. Descreve o que sistema deve fazer, e não (necessariamente) como o deve fazer. Dada uma especificação, é possível utilizar técnicas de verificação formal para demonstrar que o modelo de um sistema candidato está de acordo com a sua especificação. Isto tem a enorme vantagem de que sistemas candidatos incorrectos são detectados e podem ser revistos antes de se investir na sua implementação. Uma aproximação alternativa é utilizar passos de refinamento para transformar uma especificação num modelo completo, e por fim numa implementação concreta. É importante notar que um modelo (ou implementação) nunca pode ser declarado “correcto” isoladamente, mas apenas “correcto no que diz respeito à sua especificação”. Determinar se uma especificação formal descreve correctamente o problema a resolver, é um problema à parte. É também um problema de difícil resolução, uma vez que consiste em construir uma representação formal abstracta de um domínio de problema informal e concreto, e este passo de abstracção não é responsável nem suficiente para ser por si só uma prova formal. No entanto, é possível validar uma especificação provando teoremas relativos às propriedades que o sistema deve possuir. Se se verificarem correctos, estes teoremas reforçam a compreensão da especificação, e a sua relação com o domínio do problema. Se não, a especificação provavelmente necessita de ser alterada para melhor reflectir a compreensão do domínio de quem está envolvido na produção (e implementação) da especificação.

0 comentários

Enviar um comentário

O seu endereço de e-mail não será publicado. Campos obrigatórios são marcados com *

Checklist de SEO para wordpress em 2021

Hoje pela manhã um amigo me pergunta no WhatsApp: "Tu tem algum checklist de SEO para wordpress pra me indicar?". Ter eu tenho, mas ele está na minha cabeça, pensei. Eu poderia pesquisar um na...

A Web Semântica e o SEO – Ao Vivo

Vamos conversar? Desde 2018 quando entrei em contato com o SEO pela primeira vez uma coisa me incomoda: Ter mais contato com profissionais de fora do Brasil do que daqui. Durante um tempo eu ia em...

Google Core Updates

O Google acabou de confirmar que lançou um "Google Core Update" ou um update amplo hoje: Uma nova atualização ampla do núcleo (Google Core Updates) começará a ser lançada na quarta-feira - esta...

Como trabalhar com o SEO?

Antes de responder como trabalhar com o SEO, quero que separe um tempo para assistir esse filme. Nele você vai ter a história por trás de como o Google funciona. O SEO é independente de um buscador,...

A Solução para as Fake News

Esse post foi originalmente escrito no meu linkedin e está sendo repostado aqui no blog. A solução para as notícias falsas (fake news) está bem mais próxima do que você imagina Fake News, Fake...

Entre em Contato

Alexander Rodrigues Silva

Alexander Rodrigues Silva

Consultor SEO

Sou publicitário, com mais de 20 anos de experiência no Digital. Trabalho com Search Engine Optimization desde 2009, sempre buscando alinha a experiência do usuário a estratégias como Marketing de Conteúdo, otimizando o investimento em SEO.

Rua Santo Antônio, 325 - Porto Alegre, RS  | contato@semantico.com.br