A METHOD FOR OBTAINING FORMAL SOFTWARE SPECIFICATIONS FROM KNOWLEDGE REPRESENTATION LANGUAGES

  • Roberto Antonio Manjarrés Betancur

Tesis doctoral: Tesis de doctorado

Resumen

A METHOD FOR OBTAINING FORMAL SOFTWARE SPECIFICATIONS FROM KNOWLEDGE REPRESENTATION LANGUAGES
Fecha de adjudicación31 dic 2016
Idioma originalEspañol (Colombia)
SupervisorBell Manrique Losada (Supervisor)

Palabras clave

  • DOCTORADO EN INGENIERÍA

Citar esto