Herramienta de edición para la creación de especificación formal basada en el lenguaje RSL (raise specification language).
Ortiz, Antonio Claudio
Herramienta de edición para la creación de especificación formal basada en el lenguaje RSL (raise specification language). - San Salvador de Jujuy : Universidad Nacional. Facultad de Ingeniería, 2016. - 134 p. : il. ; 30 cm
Bibliografía en p.84-86contiene anexos.
Informática
Lenguaje rsl
Lenguajes de programación
Metodo raise
Proyecto final informática
Proyecto
043
Herramienta de edición para la creación de especificación formal basada en el lenguaje RSL (raise specification language). - San Salvador de Jujuy : Universidad Nacional. Facultad de Ingeniería, 2016. - 134 p. : il. ; 30 cm
Bibliografía en p.84-86contiene anexos.
Informática
Lenguaje rsl
Lenguajes de programación
Metodo raise
Proyecto final informática
Proyecto
043