Resultados de búsqueda - "MÉTODOS FORMALES"
-
21
Understanding refinement and specialization in the UML
Capítulo de libro -
22
Métodos formais para o desenvolvimento de programas
Buenos Aires : Kapelusz, 1988Temas: Consultar en el Cátalogo
Libro -
23
Aplicando métodos formales a la construcción de aplicaciones de hipermedia colaborativas
2001Temas: “…MÉTODOS FORMALES 42929…”
Consultar en el Cátalogo
Tesis -
24
A formal approach to building a polymorphism metric in object-oriented systems
Enlace del recurso / Disponible en línea
Capítulo de libro -
25
-
26
Formal methods for real-time computing
Chichester : [S.n.], 1996Temas: “…MÉTODOS FORMALES 42929…”
Consultar en el Cátalogo
Libro -
27
-
28
Lógica e Inteligencia Artificial
2018Temas: Enlace del recurso / Disponible en línea
Programa de materia -
29
Lógica e Inteligencia Artificial
2019Temas: Enlace del recurso / Disponible en línea
Programa de materia -
30
Formalización del proceso de desarrollo de software
Buenos Aires : Kapelusz, 1988Temas: “…MÉTODOS FORMALES 42929…”
Consultar en el Cátalogo
Libro -
31
Traceability across refinement steps in UML modeling
Capítulo de libro -
32
Revealing undercover refinement in UML modeling
Capítulo de libro -
33
Modelo formal para especificación e implementación de hiperhistorias
1998Temas: “…MÉTODOS FORMALES 42929…”
Consultar en el Cátalogo
Tesis -
34
Heuristics on the definition of UML refinement patterns
Capítulo de libro -
35
Understanding refinement and specialization in the UML
Capítulo de libro -
36
Especifiçaoes formais e sistemas de bancos de dados
Buenos Aires : Kapelusz, 1987Temas: Consultar en el Cátalogo
Libro -
37
A formal approach to building a polymorphism metric in object-oriented systems
Enlace del recurso / Disponible en línea
Capítulo de libro -
38
-
39
-
40
Traceability across refinement steps in UML modeling
Capítulo de libro