CCNA Guías de estudio

Aca las 2 guías mas básicas y fundamentales para estudiar el Cisco Certified Network Associate
Todd Lammle's
CCNA STUDY GUIDE

CCNA IOS COMMANDS SURVIVAL GUIDE

Lenguaje de Especificación OCL 2.0

En Ingeniería en Sistemas no deben de existir holguras, o al menos no hay que tener lagunas en el aprendizaje o en los procesos que esto conlleva, por lo pronto traigo este pequeño eslabón del Lenguaje Unificado de Modelado.

LENGUAJE DE ESPECIFICACIÓN DE OBJETOS [OCL]
Es un lenguaje para la descripción formal de expresiones en los modelos UML. Sus expresiones pueden representar:

• Invariantes
• Precondiciones
• Inicializaciones
• Guardias
• Reglas de derivación
• Consultas a objetos

Se trata de un lenguaje sin efectos de borde de manera que la verificacion de una condición que se presupone una operación instantánea, nunca altera los objetos del modelo. Su papel principal es el de "compleatar los diferentes artefactos de la notación UML" con requerimientos formalmente expresados.

UML 2.0 OCL Specification
Especificación Oficial "Inglés"
LENGUAJE DE ESPECIFICACIÓN DE OBJETOS
Introducción Breve "Español"