Especificación formal en OCL de reglas de consistencia entre los diagramas de clases y casos de uso de UML y el modelo de interfaces Formal OCL specification of consistency rules between the UML class and the use case models and the interfaces model

Autor: Carlos Mario Zapata, Guillermo González

Publikováno v: Revista Ingenierías Universidad de Medellín, Vol 7, Iss 12, Pp 169-191 (2008)

En el ciclo de vida del software, durante las fases de definición y análisis, se realiza una especificación de los requisitos. Para ello, es necesario realizar un proceso de captura de las necesidades y expectativas de los interesados, que se trad

Externí odkaz: https://doaj.org/article/8db85b32853445fbba1102dbd6386e56

Una propuesta para el reconocimiento semiautomático de operaciones utilizando un enfoque lingüístico

Autor: Aldrin Fredy Jaramillo F., Carlos Mario Zapata J., Fernando Arango I.

Publikováno v: Revista Facultad de Ingeniería Universidad de Antioquia, Iss 34, Pp 42-51 (2005)

En el contexto de automatización de los procesos de desarrollo de software el reconocimiento automático de las operaciones de las clases a partir de las descripciones textuales de un sistema es un tema de investigación que permanece abierto. En e

Externí odkaz: https://doaj.org/article/c5f06d6f220e43e0ab5b4c74f5b82bb1

A computation model based on information hiding for lower complexity bounds in effective algebraic geometry

Autor: Rojas Paredes, Andrés Avelino

Publikováno v: Biblioteca Digital (UBA-FCEN)
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN

Para estudiar la complejidad intrínseca de un problema computacionalsiempre es posible dar y demostrar cotas inferiores de complejidad. Unacota inferior de complejidad es un teorema que establece la mínima complejidad que tiene cualquier algoritmo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::8f8074148194661fdc4adc87ad94a1e8

Smart bound selection for the verification of UML/OCL class diagrams

Autor: Jordi Cabot, Robert Clarisó, Carlos A. González

Publikováno v: O2, repositorio institucional de la UOC
Universitat Oberta de Catalunya (UOC)
Recercat. Dipósit de la Recerca de Catalunya
instname

info:eu-repo/semantics/submittedVersion Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification detects faults effic

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d23c1c02ba85e34b1931f8813f255a2a
http://hdl.handle.net/10609/77126

Reglas de conversión entre el diagrama de clases y los grafos conceptuales de Sowa

Autor: Zapata, Carlos Mario, Estrada, Betsy María, González, Guillermo

Publikováno v: Revista Ingenierías Universidad de Medellín, Vol 5, Iss 9, Pp 111-122 (2006)
Revista Ingenierías Universidad de Medellín, Volume: 5, Issue: 9, Pages: 111-122, Published: JUL 2006
Revista Ingenierías Universidad de Medellín; Vol. 5, núm. 9 (2006); 111-122
Repositorio UDEM
Universidad de Medellín
instacron:Universidad de Medellín

La conversión entre modelos de un nivel de abstracción inferior a otro de nivel de abstracción superior facilita la comunicación entre los involucrados en un proceso de desarrollo de software. Los grafos conceptuales son diagramas que presentan l

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::33ab27e91c7ca91b7269b89b1c746203
http://www.scielo.org.co/scielo.php?script=sci_arttext&pid=S1692-33242006000200010