Modelado y Especificaciones en Arquitectura de Software: ADL y UML
Clasificado en Informática
Escrito el en
español con un tamaño de 5,25 KB
Modelado y Especificaciones en Arquitectura de Software
Notaciones
Se pueden utilizar notaciones informales de caja y líneas, una arquitectura formal de lenguaje de descripción o UML.
¿Por qué utilizar Especificaciones?
- Para revelar la ambigüedad, la incompletitud y la inconsistencia.
- Reformulación: para asegurarse de que el producto lanzado se ajusta a las expectativas de los clientes.
- Para demostrar que el sistema es: Consistente, Completo, Inequívoco, Mínimo, Adecuado.
Especificación formal: ¿Por qué?
A veces, los sistemas deben funcionar de forma fiable durante el 99,9999% del tiempo. La especificación formal permite la generación semiautomatizada de casos de prueba de los requisitos especificados formalmente y la derivación semiautomatizada... Continuar leyendo "Modelado y Especificaciones en Arquitectura de Software: ADL y UML" »