Informácia o dokumente / Document Info
Späť / Back



Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods

M. Morales-Trujillo - H. Oktaba - F. Hernández-Quiroz - B. Escalante-Ramírez

Vydavateľ / Publisher:

Ústav informatiky SAV

ISSN

Rok, strany / Year, pages: 2018, 109-141

DOI: https://doi.org/10.4149/cai_2018_1_109

Jazyk / Language: eng

Publikované / Published: 1. 6. 2018

Typ dokumentu / Type of Document:

Popis / Abstract:

Software Engineering is considered a knowledge-intensive discipline, in which knowledge creation, collection and sharing is an uninterrupted process. However, a large part of this knowledge exists in a tacit form and depends on practitioners. Therefore defining a mechanism to transform tacit knowledge into explicit one is of upmost importance. This paper presents a formalization approach to represent Software Engineering practitioners' tacit knowledge, which is related to their ways of working, as a set of explicit statements. The formalization is based on KUALI-BEH, which is a normative kernel extension of ESSENCE formal specification, and consists of three parts: an ontology to share a common representation of knowledge as a set of concepts; a Situational Method Engineering based algebra that represents well-defined method properties and operations; and a knowledge representation of the ontology and algebra using Description Logics. The main objectives of this initial formalization are to improve communication among humans and machines, computational inference and reuse of knowledge.

Ako citovať / How to Cite:

ISO 690:
Morales-Trujillo, M., Oktaba, H., Hernández-Quiroz, F., Escalante-Ramírez, B. 2018. Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods. In Computing and Informatics, vol. 37, no.1, pp. 109-141. DOI: https://doi.org/10.4149/cai_2018_1_109

APA:
Morales-Trujillo, M., Oktaba, H., Hernández-Quiroz, F., Escalante-Ramírez, B. (2018). Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods. Computing and Informatics, 37(1), 109-141. DOI: https://doi.org/10.4149/cai_2018_1_109

Kľúčové slová / Keywords:

Software engineering, situational method engineering, ontology, description logics, ESSENCE, KUALI-BEH

Práva / Rights:

Referencie: