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