Aplicação do método B ao projeto formal de software embarcado

Mostrar outras versões (1)

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this metho...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Medeiros Júnior, Valério Gutemberg de
Outros Autores: Déharbe, David Boris Paul
Formato: Dissertação
Idioma:por
Publicado em: Universidade Federal do Rio Grande do Norte
Assuntos:
Engenharia de software
Métodos formais
Verificação de Assembly
Método B
Software engineering
Formal methods
Verified compilation, B method
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Endereço do item:https://repositorio.ufrn.br/jspui/handle/123456789/18679
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Internet

https://repositorio.ufrn.br/jspui/handle/123456789/18679

Registros relacionados