Resultados de búsqueda - "OCL"

Limitar resultados
  1. 1

    Impacto de reglas de refactorización en diagramas UML, con restricciones OCL por Scolari, Santiago

    2010
    Temas:
    Enlace del recurso / Disponible en línea
    Tesis
  2. 2

    Taking alloy to the movies por Frias, Marcelo F.

    Temas: “…LENGUAJE DE ESPECIFICACIÓN OCL…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  3. 3

    Improving the OCL semantics definition by applying dynamic meta modeling and design patterns por Chiaradía, Juan Martín

    Temas:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  4. 4

    Implementación de técnicas de evaluación y refinamiento para OCL 2.0 sobre múltiples lenguajes basados en MOF por García, Carlos Diego

    2008
    Temas:
    Enlace del recurso / Disponible en línea
    Tesis
  5. 5

    Taking alloy to the movies por Frias, Marcelo F.

    Temas: “…LENGUAJE DE ESPECIFICACIÓN OCL 46410…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  6. 6

    Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML por Dias Molina, María José

    2011
    Temas:
    Enlace del recurso / Disponible en línea
    Tesis
  7. 7

    Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML por Dias Molina, María José

    2011
    Temas:
    Enlace del recurso / Disponible en línea
    Tesis
  8. 8

    Verificación de modelos independientes de la plataforma : un caso de estudio por Actis, Carolina Inés

    2017
    Temas: “…OCL…”
    Consultar en el Cátalogo
    Tesis
  9. 9

    Impacto de reglas de refactorización en diagramas UML, con restricciones OCL por Scolari, Santiago

    2010
    Temas:
    Enlace del recurso / Disponible en línea
    Tesis
  10. 10

    Herramienta para automatizar la transformación UML/OCL a Object-Z por Becker, Valeria

    2006
    Temas:
    Consultar en el Cátalogo
    Tesis
  11. 11

    Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z por Becker, Valeria

    Temas:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  12. 12

    Herramientas CASE para la validación de modelos UML a través de invariantes OCL por Pesce, Pablo

    Temas:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  13. 13

    Improving the OCL semantics definition by applying dynamic meta modeling and design patterns por Chiaradía, Juan Martín

    Temas:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  14. 14

    Implementación de técnicas de evaluación y refinamiento para OCL 2.0 sobre múltiples lenguajes basados en MOF por García, Carlos Diego

    2008
    Temas:
    Enlace del recurso / Disponible en línea
    Tesis
  15. 15

    Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL por Rosenfeld, Ilan

    2015
    Temas:
    Consultar en el Cátalogo
    Tesis
  16. 16

    Verificación de modelos independientes de la plataforma : un caso de estudio por Actis, Carolina Inés

    2017
    Temas: “…OCL 45801…”
    Consultar en el Cátalogo
    Tesis
  17. 17

    Herramientas CASE para la validación de modelos UML a través de invariantes OCL por Pesce, Pablo

    Temas:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  18. 18

    Practical verification strategy for refinement conditions in UML models por Pons, Claudia Fabiana

    Temas: “…LENGUAJE DE ESPECIFICACIÓN OCL…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  19. 19

    Herramienta para automatizar la transformación UML/OCL a Object-Z por Becker, Valeria

    2006
    Temas:
    Consultar en el Cátalogo
    Tesis
  20. 20

    Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z por Becker, Valeria

    Temas:
    Enlace del recurso / Disponible en línea
    Capítulo de libro

Herramientas de búsqueda: