Author(s)

Meenakshi Sridhar, Naseeb Singh Gill

Department of Computer Science & Applications, M.D. University, Rohtak, India.

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.

Formal Methods in Software Engineering, Imperfect Knowledge, Formalizing Common Sense, Formalizing Unconscious Knowledge

Sridhar, M. and Gill, N. (2015) Imperfection of Domain Knowledge and Its Formalization in Context of Design of Robust Software Systems. Journal of Software Engineering and Applications, 8, 489-498. doi: 10.4236/jsea.2015.89047.