Formal justification in object-oriented modelling: a linguistic approach.

A.M.M. Capuchino, N. Juristo, R.P. van de Riet

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

When software engineers set out to build a system, they usually have the informal idea that there is a relation between the linguistic world and the conceptual world. In this paper, we present a formalisation of this empirical relation, defining an intermediate mapping of the components of the linguistic and conceptual worlds to their mathematical representations. This process outputs a justified correspondence between natural language, used as a means of communication between users and software engineers, and conceptual models, employed by software engineers as a first step towards building a system. In other words, our aim is to show how the equivalence of the linguistic and conceptual representations of a requirement can be established in a formal and justified manner.
Original languageEnglish
Pages (from-to)25-48
JournalData and Knowledge Engineering
Volume33
Issue number1
DOIs
Publication statusPublished - 2000

Fingerprint

Dive into the research topics of 'Formal justification in object-oriented modelling: a linguistic approach.'. Together they form a unique fingerprint.

Cite this