A METHOD FOR OBTAINING FORMAL SOFTWARE SPECIFICATIONS FROM KNOWLEDGE REPRESENTATION LANGUAGES

  • Roberto Antonio Manjarrés Betancur

Student thesis: Doctoral Thesis

Abstract

A METHOD FOR OBTAINING FORMAL SOFTWARE SPECIFICATIONS FROM KNOWLEDGE REPRESENTATION LANGUAGES
Date of Award31 Dec 2016
Original languageSpanish (Colombia)
SupervisorBell Manrique Losada (Supervisor)

Keywords

  • DOCTORADO EN INGENIERÍA

Cite this

Links

'