Resultados de búsqueda - Pons, Claudia Fabiana

Limitar resultados
  1. 1

    Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos por Pons, Claudia Fabiana

    1999
    Enlace del recurso / Disponible en línea
    Tesis
  2. 2

    Lógica. Cursos 2002-2004 por Pons, Claudia Fabiana

    2002-2004
    Enlace del recurso / Disponible en línea
    Programa de materia
  3. 3

    Lógica. Curso 2005 por Pons, Claudia Fabiana

    [S.n.], 2005
    Enlace del recurso / Disponible en línea
    Libro
  4. 4

    Generalization relation in UML model elements por Pons, Claudia Fabiana

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  5. 5

    On the definition of UML refinement patterns por Pons, Claudia Fabiana

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  6. 6

    Heuristics on the definition of UML refinement patterns por Pons, Claudia Fabiana

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  7. 7

    Formal foundations of object-oriented modeling notations por Pons, Claudia Fabiana

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  8. 8

    Reasoning about the correctness of software development process por Pons, Claudia Fabiana

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  9. 9

    A lightweight approach for the semantic validation of model refinements por Pons, Claudia Fabiana

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  10. 10

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

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  11. 11

    An OCL-based technique for specifying and verifying refinement-oriented transformations in MDE por Pons, Claudia Fabiana

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

    Dependency relations between models in the unified process por Pons, Claudia Fabiana

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

    A formal approach to building a polymorphism metric in object-oriented systems por Pons, Claudia Fabiana

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

    A formal mechanism for assessing polymorphism in object-oriented systems por Pons, Claudia Fabiana

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  15. 15

    Understanding refinement and specialization in the UML por Pons, Claudia Fabiana

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  16. 16

    Basis for a course on design patterns : Going beyond the intuition por Pons, Claudia Fabiana

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  17. 17

    An algebraic approach for composing model transformations in QVT por Pons, Claudia Fabiana

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

    Formal specification of software model evolution using contracts por Pons, Claudia Fabiana

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  19. 19

    PAMPERO : precise assistant for the modeling process in an environment with refinement orientation por Pons, Claudia Fabiana

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  20. 20

    Traceability across refinement steps in UML modeling por Pons, Claudia Fabiana

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

Herramientas de búsqueda: