A method for obtaining formal software specifications from knowledge representation languages
Software analysts use knowledge representation languages for characterizing the knowledge from stakeholders in the requirements engineering phase. Such languages encompass software models based on the unified modeling language and structured methods, including entity-relationship diagrams, class dia...
- Autores:
-
Manjarrés Betancur, Roberto Antonio
- Tipo de recurso:
- Doctoral thesis
- Fecha de publicación:
- 2023
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/86094
- Palabra clave:
- 000 - Ciencias de la computación, información y obras generales
000 - Ciencias de la computación, información y obras generales::005 - Programación, programas, datos de computación
Lenguajes de programación (Computadores electrónicos)
Representación del conocimiento
Programación (Computadores electrónicos)
Knowledge representation
Requirements Engineering
Software model
Formal specification
Representación del conocimiento
Ingeniería de requisitos
Modelo de software
Especificación formal
- Rights
- openAccess
- License
- Atribución-NoComercial-SinDerivadas 4.0 Internacional