TITLE:
Imperfection of Domain Knowledge and Its Formalization in Context of Design of Robust Software Systems
AUTHORS:
Meenakshi Sridhar, Naseeb Singh Gill
KEYWORDS:
Formal Methods in Software Engineering, Imperfect Knowledge, Formalizing Common Sense, Formalizing Unconscious Knowledge
JOURNAL NAME:
Journal of Software Engineering and Applications,
Vol.8 No.9,
September
25,
2015
ABSTRACT: In this paper, it is emphasized that taking
into consideration of imperfection of knowledge, of the team of the
designers/developers, about the problem domains and environments is essential
in order to develop robust software metrics and systems. In this respect, first
various possible types of imperfections in knowledge are discussed and then
various available formal/mathematical models for representing and handling
these imperfections are discussed. The discussion of knowledge classification
& representation is from computational perspective and that also within the
context of software development enterprise, and not necessarily from organizational
management, from library & information science, or from psychological
perspectives.