Resultados de búsqueda

Limitar resultados
  1. 1

    Métodos formais para o desenvolvimento de programas por Alencar, Paulo S. C. de

    Buenos Aires : Kapelusz, 1988
    Consultar en el Cátalogo
    Libro
  2. 2

    Formalización del proceso de desarrollo de software por Haeberer, Armando Martín

    Buenos Aires : Kapelusz, 1988
    Consultar en el Cátalogo
    Libro
  3. 3

    Formal methods for real-time computing por Sin autor

    Chichester : [S.n.], 1996
    Consultar en el Cátalogo
    Libro
  4. 4

    Systematic software development using VDM por Jones, Cliff B.

    Nueva York : [S.n.], c1990
    Consultar en el Cátalogo
    Libro
  5. 5

    Especifiçaoes formais e sistemas de bancos de dados por Castilho, José Mauro Volkmer de

    Buenos Aires : Kapelusz, 1987
    Consultar en el Cátalogo
    Libro
  6. 6

    Modelo formal para especificación e implementación de hiperhistorias por Capelli, Guillermo

    1998
    Consultar en el Cátalogo
    Tesis
  7. 7

    Aplicando métodos formales a la construcción de aplicaciones de hipermedia colaborativas por Mola, Vanesa

    2001
    Consultar en el Cátalogo
    Tesis
  8. 8

    Forks without philosophers o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó por Martínez López, Pablo Ernesto

    1996
    Consultar en el Cátalogo
    Tesis
  9. 9

    Desenvolvimento sistemático de programas corretos : a abordagem denotacional por Martins, Raul César Baptista

    Campinas : UNICAMP, 1988
    Consultar en el Cátalogo
    Libro
  10. 10

    Reasoning about static and dynamic properties in Alloy : A purely relational approach por Frias, Marcelo F.

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

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

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

    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
  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

    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
  17. 17

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

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

    Revealing undercover refinement in UML modeling por Pons, Claudia Fabiana

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

    FME ’94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

    Berlín : Springer-Verlag, c1994
    Consultar en el Cátalogo
    Libro
  20. 20

    FME ’96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : p...

    Berlín : Springer-Verlag, c1996
    Consultar en el Cátalogo
    Libro

Herramientas de búsqueda: