Mi cuenta

Estadísticas

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

Mostrar el registro completo del ítem

Título: Especificación de patrones de diseño en event-B como procesos NTCC
Autor: Gómez Hernández, Carlos Eduardo
Email del autor: cegomez@javerianacali.edu.co
Fecha: 2014-06-24
URI: http://hdl.handle.net/11522/3261
Descripción: 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. El proyecto de grado entonces explorará estos modelos, analizará sus semejanzas y propondrá un modelo de traducción entre modelos. Para realizarlo propondrá un lenguaje de alto nivel para que el diseñador le sea más sencillo especificar dichos patrones. Este lenguaje, como veremos, se puede traducir de manera simultánea a los dos tipos de especificaciones mencionados anteriormente manteniendo la estructura general del modelo que se quiere especificar. Así, la tarea del modelador resulta más sencilla utilizando el método propuesto en este trabajo de grado.
Tipo: Documento de trabajo
Citación: Gómez Hernández, C. E. (2014). Especificación de patrones de diseño en event-B como procesos NTCC. Cali: Carlos Eduardo Gómez Hernández. Tomado de (http://hdl.handle.net/11522/3261).


Ficheros en el ítem

Ficheros Tamaño Formato Ver
Articulo (Solo Lectura).pdf 169.6Kb PDF Thumbnail

El ítem tiene asociados los siguientes ficheros de licencia:

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem

Atribución-NoComercial-SinDerivadas 2.5 Colombia Excepto si se señala otra cosa, la licencia del ítem se describe como: Atribución-NoComercial-SinDerivadas 2.5 Colombia