Página 1 dos resultados de 1747 itens digitais encontrados em 0.023 segundos
Resultados filtrados por Publicador: Pontificia Universidad Javeriana; Facultad de Ingenieria; Carrera de Ingeniería de Sistemas y Computación

Especificación de patrones de diseño en event-B como procesos NTCC

Gómez Hernández, Carlos Eduardo
Fonte: Pontificia Universidad Javeriana; Facultad de Ingenieria; Carrera de Ingeniería de Sistemas y Computación Publicador: Pontificia Universidad Javeriana; Facultad de Ingenieria; Carrera de Ingeniería de Sistemas y Computación
Tipo: info:eu-repo/semantics/bachelorThesis; Trabajo de Grado; info:eu-repo/semantics/publishedVersion Formato: application/pdf; 65 p.
SPA
Relevância na Pesquisa
95.96%
Los métodos formales son importantes para modelar sistemas críticos, ya que con ellos se tiene una certeza del correcto funcionamiento de dichos sistemas. Por ejemplo, en el contexto de cirugías asistidas por computador, uno esperaría que cada acción del robot corresponda a la acción que el usuario (en este caso el doctor) esté realizando, después de todo, está en juego la vida de una persona. Dentro del diseño de software, Event-B usa modelos llamados patrones de diseño, y tal como se realiza en programación clásica, el reutilizar código es importante para hacer mejores programas y evitar pensar en problemas que previamente fueron resueltos. Event-B usa los patrones de diseño para reutilizar modelos que previamente han sido verificados, haciendo el proceso de modelamiento más eficiente. NTCC es un lenguaje concurrente que permite expresar de manera declarativa sincronización de procesos en diferentes unidades de tiempo. La idea general del proyecto es crear modelos de patrones de diseño en NTCC y proponer una forma de traducir dichos modelos a una estructura en Event-B. La manera para poderlo realizar es creando modelos generales de algunos patrones de diseño de dichos sistemas, modelarlos en ambos tipos de especifi- cación de sistemas...