Miembro : Login |Registro |Subir conocimiento
Buscar
Método B [Modificación ]
El método B es un método de desarrollo de software basado en B, un método formal soportado por herramientas basado en una notación de máquina abstracta, utilizado en el desarrollo de software. Fue desarrollado originalmente por Jean-Raymond Abrial en Francia y el Reino Unido. B está relacionado con la notación Z (también originada por Abrial) y es compatible con el desarrollo del código del lenguaje de programación a partir de las especificaciones. B se ha utilizado en aplicaciones importantes de sistemas de seguridad crítica en Europa (como la Línea de metro de París 14). Tiene un soporte de herramientas robusto, disponible comercialmente para la especificación, diseño, prueba y generación de código.
Comparado con Z, B es un poco más de bajo nivel y más centrado en el refinamiento del código que en la especificación formal, por lo tanto, es más fácil implementar correctamente una especificación escrita en B que una en Z. En particular, hay un buen soporte de herramientas para esta.
Recientemente, se desarrolló otro método formal llamado Evento-B. El evento B se considera una evolución de B (también conocido como B clásico). Es una notación más simple, que es más fácil de aprender y usar. Viene con soporte de herramientas en forma de la herramienta Rodin.
[Lenguaje de programación][Diseño de software][Especificación formal]
1.Los componentes principales
1.1.Máquina abstracta
1.2.Refinamiento
1.3.Implementación
2.Algunas características del método B
3.B-Toolkit
4.Atelier B
5.Casos de uso industrial
6.Libros
7.Conferencias
[Subir Más Contenido ]


Derechos de autor @2018 Lxjkh