Repositorios 5

Ciencias Informáticas 4 ESPECIFICACIONES FORMALES 3 FORMAL SPECIFICATIONS 3 RECUPERACION EN TIEMPO DE EJECUCION 3 RUNTIME RECOVERY 3 SAT SOLVING 3 SOFTWARE ENGINEERING 3 WORKAROUNDS 3 Especificaciones Formales 2 Modelos en UML 2 Desarrollo basado en componentes 1 Especificaciones (Formales) 1 Especificaciones formales 1 Invariantes 1 Languages 1 Models 1 Métodos formales 1 PVS 1 Socos 1 Software 1 Testing de integración 1 Transformaciones de OCL a RSL 1 arquitectura dirigida por modelos (MDA) 1 desarrollo dirigido por modelos (MDD) 1 lenguaje de especificación formal para objetos (OCL) 1 lenguaje unificado de modelado (UML) 1