Ortiz, Antonio Claudio <br/><br/>
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 
<br/><br/>Bibliografía en p.84-86contiene anexos. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Informática<br/>Lenguaje rsl<br/>Lenguajes de programación<br/>Metodo raise<br/>Proyecto final informática
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Proyecto
<br/><br/><label>Universal Decimal Class. No.: </label>043