Facebook Instagram Twitter RSS Feed PodBean Back to top on side

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

In: Computing and Informatics, vol. 37, no. 1
M. Morales-Trujillo - H. Oktaba - F. Hernández-Quiroz - B. Escalante-Ramírez

Details:

Year, pages: 2018, 109 - 141
Language: eng
Keywords:
Software engineering, situational method engineering, ontology, description logics, ESSENCE, KUALI-BEH
About article:
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.
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. 1335-9150. 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. 1335-9150. DOI: https://doi.org/10.4149/cai_2018_1_109
About edition:
Publisher: Ústav informatiky SAV
Published: 1. 6. 2018