DocumentCode :
3276793
Title :
Derivation of effective guidance for specification constructions from CDFD-based knowledge representations
Author :
Mat, Abdul Rahman ; Shaoying Liu
Author_Institution :
Fac. of Comput. Sci. & Inf. Technol., Univ. Malaysia Sarawak, Kota Samarahan, Malaysia
fYear :
2013
fDate :
23-25 May 2013
Firstpage :
605
Lastpage :
610
Abstract :
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 an 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.
Keywords :
data flow analysis; formal specification; knowledge based systems; patient treatment; CDFD-based knowledge representations; context data flow diagram; effective guidance derivation; formal specification; knowledge-based supporting tool; specification constructions; Registers; brain tumor treatment system; cdfd; formal engineering method; knowledge representation; sofl;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering and Service Science (ICSESS), 2013 4th IEEE International Conference on
Conference_Location :
Beijing
ISSN :
2327-0586
Print_ISBN :
978-1-4673-4997-0
Type :
conf
DOI :
10.1109/ICSESS.2013.6615381
Filename :
6615381
Link To Document :
بازگشت