Derivation of effective guidance for specification constructions from CDFD-based knowledge representations

Abdul Rahman Mat, Shaoying Liu
2013 2013 IEEE 4th International Conference on Software Engineering and Service Science  
Abslracl-A completeness and accurateness of a specification is depend on how appropriateness and relevancy of the questions during a process of developing the specification. The process of providing an effective question requires several stages and need more discussions between system analyst and knowledge engineer. In this paper, we present on the structure of the questions in which are based on Context Data Flow Diagram (CDFD). In order to describe on how this method can be applied to derive
more » ... n effective guidance, we use a case study of a brain tumor treatment system to assist and guide system analyst to construct the specification. Our aim is to develop a knowledge based supporting tool to help system analyst in constructing formal specification.
doi:10.1109/icsess.2013.6615381 fatcat:3xkg7nacxzcmhlt5ih7kkn4hy4